Zero Knowledge cover image

Nova and Beyond with Srinath Setty

Zero Knowledge

00:00

The Similarity of NOVA and NOVA

The way I like to see halo is you do most of the verifier's work. You get down to polynomials and rather than checking your polynomial commitments, you defer that to later. What you're folding is claims about polynomial. So if you look at the circuit for executing a batch, it consists of a sequence of subcircuits where each of those subcircuits are the same.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app