Zero Knowledge cover image

ProtoStar with Benedikt Bünz and Binyi Chen

Zero Knowledge

00:00

The Importance of Increasively Verifiable Computation

IVC, incrementally verifiable computation. Is that what you fold? So I think IVC is kind of different. It's like a very, very useful crypto primitives for proving the correctness of multiple iterative execution of some SAM function. For example, we can't understand the set function as a single OP code in EVM. But here the key requirement of IVC is that the proof size as well as the verifiable course of IVC should be independent of the number of these executions of these single step functions. Then makes this much useful than naively using a ZK snark to prove the correctness of this entire gigantic computations.

Transcript
Play full episode

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
App store bannerPlay store banner
Get the app