PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge
This paper introduces PLONK (Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge), a new type of universal and updatable zeroAbstract
This paper introduces PLONK (Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge), a new type of universal and updatable zero-knowledge proof system. Unlike previous SNARKs that often required custom circuits for each computation, PLONK introduces a generic circuit structure based on arithmetic circuits and permutation arguments. The core innovation lies in its ability to use a single trusted setup for all computations, significantly reducing the overhead for developers who no longer need to generate new setups for each new smart contract. The system leverages Lagrange polynomial bases and a permutation argument to efficiently prove the correct execution of arbitrary computations. PLONK achieves quadratic scaling in the size of the statement and logarithmic scaling in the size of the witness, making it a practical choice for various blockchain applications requiring efficient and verifiable computation. Its universality and updatability make it a foundational contribution to the field of zero-knowledge proofs, paving the way for more flexible and scalable privacy-preserving technologies in Web3. Authors: Ariel Gabizon, Zachary J. Williamson, Oana Ciobotaru Publication: IACR ePrint Archive Publication date: 2019-01-01Key findings
- PLONK presents a universal and updatable zero-knowledge proof system that supports arbitrary computations with a single trusted setup.
- The system utilizes arithmetic circuits and a permutation argument over Lagrange polynomial bases for efficient proof generation and verification.
- It significantly reduces the setup overhead for developers compared to previous SNARKs requiring custom circuits.
- PLONK’s performance characteristics enable practical applications in privacy-preserving blockchain solutions.
Citation
Ariel Gabizon, Zachary J. Williamson, Oana Ciobotaru (2019). PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge. IACR ePrint Archive. https://eprint.iacr.org/2019/953.pdfRelated knowledge
- Cryptography — glossary
- Cryptography — related-glossary
- From Hype to Reality: The Rise of Quantum-Resistant Cryptography — article
- From Hype to Reality: The Rise of Quantum-Resistant Cryptography — related-article
- Hash Function — glossary
- Hash Function — related-glossary
- Immutability — glossary
- Immutability — related-glossary
- Multi-Party Computation — glossary
- Multi-Party Computation — related-glossary
- 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 — related-article
- Quantum Computing in 2030: Predictions and Challenges Ahead — article
- Quantum Computing in 2030: Predictions and Challenges Ahead — related-article
- RSA — glossary
- RSA — related-glossary
Canonical knowledge ID:
research:plonk-permutations-over-lagrange-bases-for-oecumenical-noninteractive-arguments-of-knowledge