In this week’s episode, host Anna Rose (https://twitter.com/annarrose) sits down with Yi Sun (https://twitter.com/theyisun), co-founder of Axiom (https://www.axiom.xyz/). Yi was recently on the show to discuss ZK ML’s, however this time they take a closer look at the Axiom ecosystem and what it means to be a ZK coprocessor for Ethereum. During the interview they also explore what problems Axiom are trying to solve, how ZKPs are used to help bring historic data into smart contracts and what new use cases this can support.
Here’s some additional links for this episode:
Axiom Demo Release (https://demo.axiom.xyz/account-age)
Certifying Zero-Knowledge Circuits with Refinement Types by Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun Axiom, Luke Pearson, Anders Miltner Isil Dillig and Yu Feng (https://eprint.iacr.org/2023/547.pdf)
Episode 265: Where ZK and ML intersect with Yi Sun and Daniel Kang (https://zeroknowledge.fm/265-2/)
Check out the ZK Jobs Board here: ZK Jobs (https://jobsboard.zeroknowledge.fm/). Find your next job working in ZK!
Aleo (https://www.aleo.org/) 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 that enables non-cryptographers to harness the power of ZKPs to deploy decentralized exchanges, hidden information games, regulated stablecoins, and more. Visit http://developer.aleo.org (http://developer.aleo.org/).
For questions, join their Discord at aleo.org/discord (http://aleo.org/discord).
If you like what we do:
* Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge)
* Subscribe to our podcast newsletter (https://zeroknowledge.substack.com)
* Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm)
* Join us on Telegram (https://zeroknowledge.fm/telegram)
* Catch us on YouTube (https://zeroknowledge.fm/)