AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
2min chapter
Episode 265: Where ZK and ML intersect with Yi Sun and Daniel Kang
Zero Knowledge
Is ZK Moving in a Specific Future?
I'm working on open sourcing the library that we built for basically taking models and TensorFlow and turning them into certain knowledge proofs. Yeah, definitely it's sort of complex, heavily influenced because it was developed to write the Hermes ZK roll up. And you can even tell by the functions in Circumbleb, there's a lot of very specific elliptic curve verification,. There's definitely no math. You can add some numbers, multiply some numbers and that's it. I think with the newer proof systems like Halo 2, the user base is a bit more diverse. And so we're now seeing many different groups develop libraries on top of Halo 2 for their specific application.
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