3 ms·
Somebody will have to write proof verifier, and that in many ways will be harder than writing some CRUD app that they want proof verifier to validate. We might
by kamaal 1y ago
Somebody will have to write proof verifier, and that in many ways will be harder than writing some CRUD app that they want proof verifier to validate.
We might even end up increasing the demand and pay for devs if this happens to pass.
- yencabulator 1y agoWe have many of those that are perfectly fine. Writing proofs is still quite hard, especially proofs that actually say something about your program.
- kamaal 1y agoProving something is correct is a far harder exercise, than writing a broken but acceptable version of that thing.