1 Introduction
Preface blog:
Based on Nova's SHA256 proof, see the open source code:
Nova Series Blog
- Nova: Recursive Zero-Knowledge Arguments from Folding Schemes study notes
- Nova and SuperNova: Universal Machine Execution Proof Systems Without Universal Circuits
- Sangria: A relaxed PLONK for PLONK similar to the Nova folding scheme
- zkVM based on Nova/SuperNova
- SuperNova: Proof of recursion for multi-instruction virtual machine execution
- Lurk - Recursive zk-SNARKs programming language
- Research Day 2023: The latest progress of Succinct ZKP
- Highlights of ZK Hack and ZK Summit in 2023
- Nova proof system based on cycle of curves (1)
- Nova proof system based on cycle of curves (2)
- Nova code analysis
- The folding scheme of the Vitalik R1CS example in Nova
- Implementation of MinRoot VDF based on Nova