A new paper from @cryptonoemi, @Istvan_A_Seres, @josephbonneau introduces the notion of “naysayer proofs,” where a verifier optimistically accepts a submitted proof without verifying its correctness. a16zcrypto.com/posts/article/…
5
9
65
33K
21
Instead, any observer can check the proof off-chain and, if needed, prove its incorrectness to the verifier by submitting a naysayer proof. The verifier then checks the naysayer proof and, if it is correct, rejects the original proof. This can be far more efficient than checking the original proof. a16zcrypto.com/posts/article/…