Episode 172: ZK languages with Alex Ozdemir

In this week’s episode, Anna 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.


Here are all the links for this episode:


Thanks to this week’s sponsor, Mina Protocol.

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 to find out more.

Join the community at Mina’s free virtual Illuminate Summit on March 28th, visit illuminate.minaprotocol.com to secure your spot.


*If you like what we do: *
Follow us on Twitter – @zeroknowledgefm
Join us on Telegram
Catch us on Youtube
Read up on the r/ZKPodcast subreddit
Give us feedback! –https://forms.gle/iKMSrVtcAn6BByH6A
Support our Gitcoin Grant
Support us on the ZKPatreon
Donate through coinbase.commerce

*Or directly here: *
ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a
BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz
ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ
DOT: 14zPzb7ihiBeaUn9jdPW9cHKGBd9qtTuJE75hhW2CvzLh6rT

Previous Episodes

Episode 312: ZKP2P with Brian & Richard

In this week’s episode, Anna and Tarun interview Brian Weickmann & Richard Liang from the ZKP2P project. They cover the opportunities and challenges of building ZK applications with the current tools available, as well as revisit the topic of ZK Email and explore how this lies at the heart of the current version of ZKP2P. They also discuss the goals of ZKP2P, what’s happening under the hood, the types of experiments and initiatives the project is running, how a user can already use the existing product and the opportunities systems like ZKP2P open up.

Episode 311: The Launch of Celestia and Beyond

In this week’s episode, Anna and Guillermo chat with Yaz Khoury and Ismail Khoffi from Celestia. They share how the team prepared for the launch of the Celestia mainnet and what has been happening at Celestia since. They revisit the topic of DA (Data Availability) and explore how rollups and dApp developers can already use the Celestia DA layer. The group discusses Blobstream, which brings the benefits of Celestia to Ethereum and helps to scale the network, as well as community building, the modular thesis and much more.

Episode 310: Algorithmic Game Theory & PoS Tokenomics with Noam Nisan

In this week’s episode, Anna and Tarun chat with Noam Nisan, Professor at the Hebrew University of Jerusalem, Principle Researcher at StarkWare Industries and one of the pioneers in the field of Algorithmic Game Theory. They cover his extensive research and academic background, starting with his work on complexity theory as well as Algorithmic Game Theory and his current work on blockchains and Tokenomics at StarkWare.

They discuss his recent blog post; Simple Tokenomics for a Proof-of-Stake Utility Token, comparing the measurable Tokenomic outcomes of different live PoS systems and explore how Noam aimed to better communicate best practices for those designing these systems, plus much more.

Bonus: ZK Job Fair tomorrow!

Quick note about our upcoming ZK Job Fair – happening tomorrow Feb 6th at 7pm UTC, right after the finale of the online ZK Hack IV event. This is a great chance to meet with hiring teams, and if you are looking to jump into ZK professionally, you won’t wanna miss it!

Episode 309: ZK Jargon Decoder with Nico Mohnblatt

In this week’s episode, Anna and Nico Mohnblatt from Geometry Research host a ZK Jargon Decoder episode. Based on Nico’s ZK Jargon Decoder Website, they discuss some of the confusing terms and concepts commonly used by the ZK community. The session aims to be digestible for those still in the early stages of their ZK learning journey, but it does take a dive into the depths of detail every now and again!

Episode 308: Avail’s Approach to DA with Prabal Banerjee

In this week’s episode, Anna catches up with Prabal Banerjee, co-founder of Avail. They deep dive into Prabal’s career, starting with his work in academia, his move to Polygon and to his spinning out the Avail project. They discuss how the project was built, tech decisions and the motivations behind them as well as their use of KZG, validity proofs and their position within the Ethereum and wider blockchain ecosystem. They go on to revisit Data Availability and the interaction with different parts of the modular blockchain stack, comparing Avail to competing systems and cover edge-cases and their impact in a DA-secured stack.

Episode 307: The Evolution of Aleo with Howard Wu & Alex Pruden

This week, Anna caught up on all things Aleo with Howard Wu co-founder of the Aleo Network & Alex Pruden executive director of the Aleo Foundation. Howard was last on the show back in 2020 when Aleo was in its infancy, so the group dive into how the project has evolved over the last 4 years, covering lessons learned along the way as well as technical decisions, detours, breakthroughs and reflecting on initial goals as they built out the system.

Episode 306: Predictions: ZK in 2024

In this week’s episode, Anna and cohosts Guillermo, Kobi, Nico and Tarun share their predictions, hopes (and worries) for ZK in 2024. They cover emerging ideas in ZK, research predictions, dream applications, the best case for ZK in 2024, the worst case for ZK, possible ‘Black Swans’ and more.

Zk white

Subscribe

Subscribe to Zero Knowledge podcast on these links:

Join the conversation:

Newsletters:

Support: