Skip to content
Héctor Masip Ardevol

RSS feed

Follow new posts

Add this address to any feed reader (NetNewsWire, Reeder, Feedly, Inoreader, Thunderbird…) and new posts will show up there automatically. No account, no email.

https://hecmas.github.io/rss.xml

Or subscribe in one click:

Using Feedly? Click Follow (or +) and paste the address above.

Break my circuit

You are the prover. The verifier doesn't run the program; it only checks the constraints. Each circuit here is missing one, which is the most common bug in real ZK systems. Find a witness that fools it.

circuit.circom

Public (verifier sees)

Witness (you choose)

Constraints · everything mod 97