[ LAB · NOTHING YOU TYPE LEAVES THE TAB ]Prove it.
Prove it.
Then break it.
Every panel here runs the same library the repository tests: it generates a proof from what you type, verifies it, and then tries to forge one. The forged proof is supposed to be rejected in front of you. If it ever is not, nothing else on this site is worth reading.
LAB · BN254 · KECCAK-256 · NO TRUSTED SETUPrunning locally
Do not take any of this on faith
27 assertions: keccak against its published vectors, the curve against its own group law, then every statement proved honestly and forged deliberately. The forgeries have to fail. Press run and watch.
27 assertions loaded, nothing run yet
Proving is plain BigInt arithmetic on one core of your machine: a 32-digit range proof is a few hundred milliseconds, a 64-note ring a little more. Nothing is sent to a server, because there is no server here to send it to — the whole protocol ships to your tab as JavaScript.