Skip to main content

Recursive Composition

Definition

Recursive composition refers to building complex systems or proofs by combining smaller, self-similar components. In cryptography, particularly with zero-knowledge proofs, this technique allows for the aggregation of multiple proofs into a single, smaller proof. This significantly reduces the computational burden for verification, as a single proof can attest to the correctness of many underlying computations. It enables the creation of highly scalable and efficient verifiable systems.