AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
3min chapter
Episode 277: Nova and Beyond with Srinath Setty
Zero Knowledge
Spartan: The Proverse Commits to the Witness
Hypernova uses the sum check protocol, but it performs a single invocation. Whereas if you look at a full fledged snark like Spartan in the main protocol, there are two invocations of the sum check Protocol. So that's super interesting though that you had actually been working on the sum check work and then moved over to the fully committed scheme. And now you're starting to combine them in hypernova. Where do you go from here? Like do you add more sum checks? Do you find new ways that they can be combined?
00:00
Transcript
Episode notes
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