Recursive Proofs: Composing Zero-Knowledge Proofs for Scalability

Recursive proofs are zero-knowledge proofs that verify other zero-knowledge proofs. This allows composing many proofs into a single proof, enabling succinct blockchains, rollup scaling, and incremental verifiable computation.