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.
This week, Anna Rose and Tarun Chitra dive back into the topic of ZK ML with guests Yi Sun, co-founder of Axiom, and Daniel Kang, Assistant Professor of computer science at UIUC. They discuss Yi and Daniel’s previous academic work and what led them to get interested in ZK topics and specifically ZK ML. They then dive into a discussion about 2 recent papers which examine the use of ZK within Machine Learning architectures.
Here are some additional links for this episode:
Apply for ZK Hack Lisbon here: ZK Hack application
Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.
Interested in building private applications? Check out Aleo’s programming language called Leo by visiting http://developer.aleo.org.
You can also participate in Aleo’s incentivized testnet3 by downloading and running a snarkOS node. No sign-up is necessary to participate.
For questions, join their Discord at aleo.org/discord.
If you like what we do: