Add property tests
Opened this issue · 0 comments
morganthomas commented
Key properties: soundness and completeness. We can property test soundness on random proofs as if it the verifier cannot ever be tricked, since the odds of randomly finding a proof that tricks the verifier are negligible.