How to Prove a Million Plonk Proofs

So the main thing is, at least when your circuit is big and then other costs become negligible, your main cost is exactly computing. Well, first of all, you have to commit to what's called your witness polynomials. That you do in a regular plonk proof and you also do when you're just folding a plonk statement. In both cases, you need to commit to the witness poyllomials. And then what is an additional thing you need to do whenyou're folding? You need to compute and commit to the error terms. So that also requires something that's taking some time or that requires some work. What are you saving? The main

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