Skip to main content

Recursive NIZKs

Definition

Recursive NIZKs are Non-Interactive Zero-Knowledge proofs that possess the ability to verify other NIZKs within themselves. This creates a verifiable chain of proofs, where each successive proof attests to the validity of a previous one. This recursive property enables highly efficient aggregation of computations and state transitions, significantly reducing verification costs and data size.