Where ZK and ML intersect with Yi Sun and Daniel Kang
Zero Knowledge
00:00
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.
Transcript
Play full episode
