44 min listen
Episode 172: ZK languages with Alex Ozdemir
FromZero Knowledge
ratings:
Length:
60 minutes
Released:
Mar 17, 2021
Format:
Podcast episode
Description
In this week’s episode, Anna (https://twitter.com/AnnaRRose) has a one-on-one chat with Alex Ozdemir, a PhD student at Stanford researching formal methods, cryptography and distributed systems. Alex’s work is closely tied to the world of generalized computations within zero knowledge systems. He is one of the main developers of CirC, an infrastructure framework for building zero knowledge languages.
In their conversation, Alex and Anna take a bird’s eye view of the current landscape of zk languages and libraries. Alex explains the history and current state-of-the-art of circuit-building tools, touching on libraries like Libsnark, Bellman and more comprehensive tools like Arkworks; hardware description languages like Circom; and the more dev-friendly family of RAM-register languages like ZoKrates, Pequin, Cairo, Leo and many more. Here, the race is still on as a number of academic and business-oriented teams grapple with limitations to memory access & performance given by zero knowledge proving systems.
The latest Gitcoin Grants CLR matching program is live! Gitcoin is the easiest and most effective way to support Zero Knowledge and help us produce great content every week.
With CLR matching, each contributor counts. Even $1 goes a long way thanks to the quadratic funding concept. To top it all off, Gitcoin supports zero knowledge-native payment solutions like ZkSync!
Click here to reach our Gitcoin page. (https://gitcoin.co/grants/329/zero-knowledge-podcast)
Here are all the links for this episode:
An intro dive (https://medium.com/cornellblockchain/a-brief-dive-into-zk-snarks-and-the-zokrates-toolbox-on-the-ethereum-blockchain-cb7bd7f00fdc) into the world of zero knowledge languages and ZoKrates
Circom and Hermez with Jordi Baylina, Zero Knowledge episode 145 (https://www.zeroknowledge.fm/145)
zk-SNARKs for Scale with Matter Labs, Zero Knowledge episode 72 (https://www.zeroknowledge.fm/72)
zkStudyClub about CirC (https://www.youtube.com/watch?v=MzWHml9hRn4)
zkStudyClub on Polynomial Commitments (https://www.youtube.com/watch?v=bz16BURH_u8)
StarkWare’s Eli Ben-Sasson on STARKs and Cairo, Zero Knowledge episode 96 (https://www.zeroknowledge.fm/96)
Pratyush Mishra on all things Arkworks, Zero Knowledge episode 169 (https://www.zeroknowledge.fm/169)
Alex’s Stanford page (https://cs.stanford.edu/~aozdemir/) and paper on CirC (https://eprint.iacr.org/2020/1586).
Thanks to this week’s sponsor, Mina Protocol (https://minaprotocol.com).
Mina is the world’s lightest blockchain, creating a private gateway between the real world and crypto.
The layer-one protocol replaces the traditional blockchain with a zero-knowledge proof, ensuring a super-light and constant sized chain that allows participants to quickly sync and verify the network.
The entire chain is, and always will be, about 22kb — even as it scales. And SNARK-powered dApps, called Snapps, allow access to verified real world data from any website for on-chain use.
The ecosystem is growing fast ahead of Mina's upcoming mainnet launch, with validators and community members in more than 120 countries.
There are still opportunities to get involved at the ground level. Visit minaprotocol.com (https://minaprotocol.com) to find out more.
Join the community at Mina’s free virtual Illuminate Summit on March 28th, visit illuminate.minaprotocol.com (https://www.illuminate.minaprotocol.com) to secure your spot.
*If you like what we do: *
Follow us on Twitter - @zeroknowledgefm (https://twitter.com/zeroknowledgefm)
Join us on Telegram (https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA)
Catch us on Youtube (https://www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)
Read up on the r/ZKPodcast subreddit (https://www.reddit.com/r/zkpodcast)
Give us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A
Support our Gitcoin Grant (https://gitcoin.co/grants/329/zero-knowledge-podcast-2)
Support us on the ZKPatreon (https://www.patreon.com/zeroknowledge)
Donate through coinbase.commerce (https://commerce.coinbase
In their conversation, Alex and Anna take a bird’s eye view of the current landscape of zk languages and libraries. Alex explains the history and current state-of-the-art of circuit-building tools, touching on libraries like Libsnark, Bellman and more comprehensive tools like Arkworks; hardware description languages like Circom; and the more dev-friendly family of RAM-register languages like ZoKrates, Pequin, Cairo, Leo and many more. Here, the race is still on as a number of academic and business-oriented teams grapple with limitations to memory access & performance given by zero knowledge proving systems.
The latest Gitcoin Grants CLR matching program is live! Gitcoin is the easiest and most effective way to support Zero Knowledge and help us produce great content every week.
With CLR matching, each contributor counts. Even $1 goes a long way thanks to the quadratic funding concept. To top it all off, Gitcoin supports zero knowledge-native payment solutions like ZkSync!
Click here to reach our Gitcoin page. (https://gitcoin.co/grants/329/zero-knowledge-podcast)
Here are all the links for this episode:
An intro dive (https://medium.com/cornellblockchain/a-brief-dive-into-zk-snarks-and-the-zokrates-toolbox-on-the-ethereum-blockchain-cb7bd7f00fdc) into the world of zero knowledge languages and ZoKrates
Circom and Hermez with Jordi Baylina, Zero Knowledge episode 145 (https://www.zeroknowledge.fm/145)
zk-SNARKs for Scale with Matter Labs, Zero Knowledge episode 72 (https://www.zeroknowledge.fm/72)
zkStudyClub about CirC (https://www.youtube.com/watch?v=MzWHml9hRn4)
zkStudyClub on Polynomial Commitments (https://www.youtube.com/watch?v=bz16BURH_u8)
StarkWare’s Eli Ben-Sasson on STARKs and Cairo, Zero Knowledge episode 96 (https://www.zeroknowledge.fm/96)
Pratyush Mishra on all things Arkworks, Zero Knowledge episode 169 (https://www.zeroknowledge.fm/169)
Alex’s Stanford page (https://cs.stanford.edu/~aozdemir/) and paper on CirC (https://eprint.iacr.org/2020/1586).
Thanks to this week’s sponsor, Mina Protocol (https://minaprotocol.com).
Mina is the world’s lightest blockchain, creating a private gateway between the real world and crypto.
The layer-one protocol replaces the traditional blockchain with a zero-knowledge proof, ensuring a super-light and constant sized chain that allows participants to quickly sync and verify the network.
The entire chain is, and always will be, about 22kb — even as it scales. And SNARK-powered dApps, called Snapps, allow access to verified real world data from any website for on-chain use.
The ecosystem is growing fast ahead of Mina's upcoming mainnet launch, with validators and community members in more than 120 countries.
There are still opportunities to get involved at the ground level. Visit minaprotocol.com (https://minaprotocol.com) to find out more.
Join the community at Mina’s free virtual Illuminate Summit on March 28th, visit illuminate.minaprotocol.com (https://www.illuminate.minaprotocol.com) to secure your spot.
*If you like what we do: *
Follow us on Twitter - @zeroknowledgefm (https://twitter.com/zeroknowledgefm)
Join us on Telegram (https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA)
Catch us on Youtube (https://www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)
Read up on the r/ZKPodcast subreddit (https://www.reddit.com/r/zkpodcast)
Give us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A
Support our Gitcoin Grant (https://gitcoin.co/grants/329/zero-knowledge-podcast-2)
Support us on the ZKPatreon (https://www.patreon.com/zeroknowledge)
Donate through coinbase.commerce (https://commerce.coinbase
Released:
Mar 17, 2021
Format:
Podcast episode
Titles in the series (100)
Episode 10: Blockchain, Open-Source & Security: In this episode, we will be talking with Liz Steininger, the CEO and MD of Least Authority, about decentralised communities, the challenges of blockchain open source technology and how we will likely see this community developing over the next few years. by Zero Knowledge