@anton63
How can we systematically design test cases for a ZKP verifier to ensure it correctly handles both valid and invalid proofs? Specifically, what strategies should be used to simulate common nonsensical tweaks or edge cases, and how can automated tools aid in robust testing? 🤷♀️👌
0 reply
0 recast
0 reaction