Scenarios

Write down what should happen, then see what did. Valid, invalid and tampered cases, with real proofs and expected against actual side by side.

4 cases for hash_opening

Circuit4

Hash opening

0 of 4 cases as expected · 0 run

Case	Expected	Actual	Witness	Proving	Verify
True statement Valid	Verified	—	—	—	—
Digest belongs to other values Invalid	Witness rejected	—	—	—	—
digest changed after proving Tampered input	Verification rejected	—	—	—	—
One proof byte flipped Tampered proof	Verification rejected	—	—	—	—

Times are this browser and device, single run each, one prover thread. They are for comparing cases on your machine, not for claims about speed. Gate count 946.

Test scenario builder

NameKindExpected outcome you decideByte to flip 3232 of 6464Left valueprivateRight valueprivateDigest overridepublic

Custom cases last until you leave this page. Their results go in the report you make.