Open morganthomas opened 2 years ago
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.
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.