Skip to main content

Proof Recursion

Definition

Proof recursion is a cryptographic technique where a proof of computation can verify another proof. This method allows for the compression of multiple proofs into a single, compact proof. It significantly enhances the scalability of verifiable computations. The recursive structure enables efficient verification of extensive computational histories.