ZK Wiki

Home

❯

Proof Systems

❯

Nova

Nova

May 31, 20251 min read

Introduces an IVC using folding of R1CS (made possible by Relaxed R1CS).


Graph View

Backlinks

  • Folding Scheme
  • Incrementally Verifiable Computation
  • 10 Nova
  • 11 Sangria
  • 12 SuperNova

Created with Quartz v4.5.1 © 2025

  • GitHub
  • Discord Community