AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Episode 274: SNARKs: A Trilogy with Ariel Gabizon
Zero Knowledge
Recursion: A Form of Aggregation
3min Snip
00:00
Summary
Transcript
Episode notes
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
Get the Snipd
podcast app
Unlock the knowledge in podcasts with the podcast player of the future.
AI-powered
Discover
highlights
Listen to the best highlights from the podcasts you love and dive into the full episode
Save any
moment
Hear something you like? Tap your headphones to save it with AI-generated key takeaways
Share
& Export
Send highlights to Twitter, WhatsApp or export them to Notion, Readwise & more
AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Discover
highlights
Listen to the best highlights from the podcasts you love and dive into the full episode