> ## Documentation Index
> Fetch the complete documentation index at: https://docs.theblockchainlibrary.com/llms.txt
> Use this file to discover all available pages before exploring further.

# Nova: Recursive Zero-Knowledge Arguments from Folding Schemes

> Nova is a novel recursive zero-knowledge proof system designed to efficiently verify an arbitrary number of computations. It builds upon the concept of recursiv

# Nova: Recursive Zero-Knowledge Arguments from Folding Schemes

Nova is a novel recursive zero-knowledge proof system designed to efficiently verify an arbitrary number of computations. It builds upon the concept of recursiv

## Abstract

Nova is a novel recursive zero-knowledge proof system designed to efficiently verify an arbitrary number of computations. It builds upon the concept of recursive proofs, allowing a proof of a computation to itself be part of a subsequent computation, thus enabling the verification of an unbounded number of steps. The key innovation in Nova is its use of a 'folding scheme' which combines multiple instances of a computation into a single, smaller instance. This folding process is executed within a zero-knowledge framework, specifically using a variant of the Nova protocol that relies on the PLONK proof system. Nova achieves a constant-time overhead for each step of the recursion, independent of the complexity of the computation being verified. This makes it exceptionally well-suited for scaling blockchains by enabling efficient batching and verification of off-chain computations. The system's ability to reduce large computation chains into a single verifiable proof with minimal overhead marks a significant advancement in the scalability and efficiency of zero-knowledge proofs for distributed ledgers.

**Authors:** Abhiram Kothapalli, Srinath Setty, Ioanna Tzialla

**Publication:** IACR ePrint Archive

**Publication date:** 2021-01-01

## Key findings

* Nova introduces a recursive proof system that enables the verification of an unbounded sequence of computations.
* It employs a novel folding scheme to combine multiple computation instances into a single, smaller instance, reducing verification overhead.
* Nova achieves constant-time overhead per recursive step, making it highly scalable for blockchain applications.
* The system leverages PLONK and other cryptographic primitives to construct efficient and verifiable proofs of computation.

## Citation

Abhiram Kothapalli, Srinath Setty, Ioanna Tzialla (2021). Nova: Recursive Zero-Knowledge Arguments from Folding Schemes. IACR ePrint Archive. [https://eprint.iacr.org/2021/370.pdf](https://eprint.iacr.org/2021/370.pdf)

## Related knowledge

* [Factory Contract](/generated/v2/glossary/factory-contract) — glossary
* [Factory Contract](/generated/v2/glossary/factory-contract) — related-glossary
* [Layer 1](/generated/v2/glossary/layer-1) — glossary
* [Layer 1](/generated/v2/glossary/layer-1) — related-glossary
* [Layer 2](/categories/layer-2) — glossary
* [Layer 2](/categories/layer-2) — related-glossary
* [Layer 3 in Blockchain: The Next Big Thing for Crypto Scalability?](/generated/v2/topics/layer-3-in-blockchain-the-next-big-thing-for-crypto-scalability) — article
* [Layer 3 in Blockchain: The Next Big Thing for Crypto Scalability?](/generated/v2/topics/layer-3-in-blockchain-the-next-big-thing-for-crypto-scalability) — related-article
* [Layer 3: The Next Frontier in Blockchain Scalability](/generated/v2/topics/layer-3-the-next-frontier-in-blockchain-scalability) — article
* [Layer 3: The Next Frontier in Blockchain Scalability](/generated/v2/topics/layer-3-the-next-frontier-in-blockchain-scalability) — related-article
* [Merkle Root](/generated/v2/glossary/merkle-root) — glossary
* [Merkle Root](/generated/v2/glossary/merkle-root) — related-glossary
* [Privacy on the Blockchain: How Zero-Knowledge Proofs Are Changing the Game](/generated/v2/topics/privacy-on-the-blockchain-how-zero-knowledge-proofs-are-changing-the-game) — article
* [Privacy on the Blockchain: How Zero-Knowledge Proofs Are Changing the Game](/generated/v2/topics/privacy-on-the-blockchain-how-zero-knowledge-proofs-are-changing-the-game) — related-article
* [The Future of Layer One Blockchains: Scalability, Security, and Decentralization](/generated/v2/topics/the-future-of-layer-one-blockchains-scalability-security-and-decentralization) — article
* [The Future of Layer One Blockchains: Scalability, Security, and Decentralization](/generated/v2/topics/the-future-of-layer-one-blockchains-scalability-security-and-decentralization) — related-article

***

**Canonical knowledge ID:** `research:nova-recursive-zero-knowledge-arguments-from-folding-schemes`