AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Episode 59: STARKs & StarkWare with Eli and Alessandro
Zero Knowledge
The Experiential Speedup Is a High-Level Analog of Machine Code
2min Snip
00:00
Summary
Transcript
Episode notes
The analogy here is uh you know whether you spent so you have some statement of interest of computation okay and the way that it is represented in a snarks typically don't know not null snarks is you just unroll the computation. You literally lay out every gate and every wire and actually what happens during the trusted setup is that trusted party looks at this layout of the computation and kind of encodes it. This is basically assistant parameters that go in the sky for everybody to use to prove and verifyOkay but you don't have to do that necessarily right there are computations that are easily specified with much lessso think about the difference between the lines of machine code that it takes to specify a
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