Towards a Nova-based ZK VM - General - zk research
Towards a Nova-based ZK VM Prelude This work was done at ZK Spring Residency in Vietnam. It is a joint work by Carlos (PSE), Chiro (Orochi Network), Nalin (0xPARC), Oskar (independent), and Violet (Delv). Special thanks to to Nalin for shaping the design and explaining Nova to us, Srinath Setty (Microsoft) for the Nova paper/code, and 0xPARC/PSE for hosting the Spring Residency. This post introduces our ideas for a Nova-based VM, some initial benchmarks and future steps. Nova-based ZKVM spe...
Towards a Nova-based ZK VM - General - zk research Towards a Nova-based ZK VM General oskarth April 6, 2023, 8:16am #1 Towards a Nova-based ZK VM Prelude This work was done at ZK Spring Residency in Vietnam . It is a joint work by Carlos (PSE), Chiro (Orochi Network), Nalin (0xPARC), Oskar (independent), and Violet (Delv). Special thanks to to Nalin for shaping the design and explaining Nova to us, Srinath Setty (Microsoft) for the Nova paper/code, and 0xPARC/PSE for hosting the Spring Residency. This post introduces our ideas for a Nova-based VM, some initial benchmarks and future steps. Nova
related reading
- 370.pdfeprint.iacr.org
- Hardware Acceleration for Zero Knowledge Proofs - Paradigmparadigm.xyz
- An incomplete guide to Folding: Nova, Sangria, SuperNova, HyperN… — Taiko Labstaiko.mirror.xyz
- ZKML @ Team Novi - HackMDhackmd.io
- ZKML Research Initiatives - HackMDhackmd.io
- Nova: Recursive Zero-Knowledge Arguments from Folding Schemes - Srinath Settyyoutube.com
- 0xPARC0xparc.org
- Super Computer - by Paul Veradittakit - VeradiVerdictveradiverdict.com
- 0xPARC0xparc.org
- Introducing SP1: A performant, 100% open-source, contributor-friendly zkVM.blog.succinct.xyz
- Collaborative zkSNARKseprint.iacr.org
- [2606.05433] Zero knowledge verification for frontier AI training is possiblearxiv.org