Our new paper introduces the notion of “naysayer proofs,” where a verifier optimistically accepts a submitted proof without verifying its correctness.

Our new paper introduces the notion of “naysayer proofs,” where a verifier optimistically accepts a submitted proof without verifying its correctness.

https://a16zcrypto.com/posts/article/new-paper-alert-naysayer-proofs/

We back bold entrepreneurs building the next internet. 
a16zcrypto.com/

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.