AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Episode 232: Cutting Edge ZK Research with Mary Maller
Zero Knowledge
Is This Not Recursion? You Just Call It Snark?
3min Snip
00:00
Summary
Transcript
Episode notes
In halo, they're doing this in a really cool way. Their sort of saying, we can take the cost of a bullet proof snark where the verifier is linear. This would typically be a problem. But by using one layer of recursion, you only have to pay that linear cost once. So if we're, for example, wanting to prove that a block chain is correct since it ception, then this will work for that. Is this not recursion? You justyou call it snark. Ye is is recursion. It is o an alternative to recursion is to just do one layer of Recursion. Rather than do a snack of a snack of
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