ZK Wiki

Home

❯

Proof Systems

❯

Nova

Nova

Feb 06, 20261 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 © 2026

  • GitHub
  • Discord Community