Nova / IVC REPL

Zuzalu Montenegro 2023 · 21 Apr 2023 · 30:00

Ivan Chub introduces a REPL for experimenting with Nova and incrementally verifiable computation at Zuzalu Montenegro 2023, giving developers a way to interact with recursive SNARK proving without building a full application first. The talk situates the tool within the broader push to make folding schemes like Nova more accessible, tying it to ongoing work on verifiable computation and zero-knowledge proof efficiency.

Speakers

• Ivan Chub

From Zuzalu Montenegro 2023, hosted by Zuzalu.