AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Summary
Transcript
Episode notes
ZKVM systems use this sort of non-deterministic trick a lot. You're not guaranteed that like anything that happens on the host side is going to produce something interesting to talk about, which is why we get into this kind of work lives data structures. But it does allow you to do sort of the check and verify, right? If I want to do a square root, I can always ask the host, hey, please put the square root of this number here. And then inside the ZKVM, I can take that number and make sure it matches the thing I'm expecting it to be.
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