Further Reads

Paul Valiant. Incrementally verifiable computation or proofs of knowledge imply time/space efficiency. In TCC, pages 552โ€“576, 2008

Sean Bowe, Jack Grigg, and Daira Hopwood. Halo: Recursive proof composition without a trusted setup. Cryptology ePrint Archive, Report 2019/1021, 2019.

Dan Boneh, Justin Drake, Ben Fisch, and Ariel Gabizon. Halo Infinite: Recursive zkSNARKs from any Additive Polynomial Commitment Scheme. In CRYPTO, 2021.

Abhiram Kothapalli, Srinath Setty, and Ioanna Tzialla. Nova: Recursive Zero-Knowledge Arguments from Folding Schemes. In CRYPTO, 2022

Nova benchmarks,

Justin Drake. ZK Whiteboard Sessions โ€“ Module Fourteen: Nova Crash Course with Justin Drake., 2022.

Abhiram Kothapalli and Srinath Setty. SuperNova: Proving universal machine executions without universal circuits,, Dec 2022.

Binyi Chen, Benedikt Bยจunz, Dan Boneh, and Zhenfei Zhang. Hyperplonk: Plonk with linear-time prover and high-degree custom gates. In EUROCRYPT, 2023.

Abhiram Kothapalli and Srinath Setty. HyperNova: Recursive arguments for customizable constraint systems,, April 2023.

Last updated