Recursion: A Form of Aggregation

When you say aggregation, I immediately thought like how does that relate to recursion? Is recursion a form of aggregation? Ah, when he says aggregation, do you mean somewhere else there's aggregation happening? Yeah. And it could be through recursion one after another or batching and then a recursive proof or these like newer ways of aggregating. Right. To verify 10,000 proofs and put that in one proof, you're doing a full verification inside a circuit 10,000 times. So what I think halo highlighted was saying, okay, for end goal is to verify these 10,000 Proofs. Maybe there's a way to do that where the total work is smaller

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