Is the Verification Time a Factor in the Proof Size?

For starks, even though the proofs are very large compared to other systems, the rerification time is fairly small. I think in future, we should care about proof sizes much less. But as soon as you have recursev stariks, the proof size becomes much, much less of anisu. So i do not think that er, i think at this point, maybe the proof sizes are somewat of a disadvantage for stariks but it's not a fundamental disadvantage.

Transcript

Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!

Get the app