Zero Knowledge

This week Anna chats with Ismail Khoffi from Celestia about how and why they’re focusing on building a data availability-first L1 blockchain. Ismail takes us through how data availability can be a problem, primarily with light clients and breaks down the components necessary to understanding the data availability problem such as state changes, the separation of consensus from execution and how Celestia aims to be a pluggable consensus layer. Here are some links for the episode:Episode 151: John Adler on Optimistic vs ZK Rollup and the data availability problemEpisode 207: Journey Through the Cosmos Ecosystem with Billy Rennekamp Celestia on TwitterCelestia’s websiteLazy Ledger is now CelestiaZK Podcast Blog: Data Availability & Scaling Blockchains Paper: LazyLedger: A Distributed Data Availability Ledger With Client-Side Smart Contracts by Mustafa Al-Bassam Paper: Fraud and Data Availability Proofs: Maximising Light Client Security and Scaling Blockchains with Dishonest Majorities by Mustafa Al-Bassam, Alberto Sonnino, Vitalik Buterin ZK Focused matching round with Gitcoin!If you’re working on an open source ZK-focused tech or tools, including learning material or documentation then check out the next Gitcoin Matching beginning December 1st. This will be a ZK-focused side round, funded by the ZK Validator and some great teams in the ZK ecosystem. Read more about how to submit your project here: https://medium.com/zero-knowledge-validator/funding-zero-knowledge-tech-with-gitcoin-51b861f4e089 Also, join us at the ZK Hack Party + Jobs Fair, Thursday December 2nd Register HereToday’s episode is sponsored by Aztec.Aztec aims to be the privacy layer for Ethereum. They believe that unlocking programmable privacy is the next frontier for blockchains. Aztec is the first zero knowledge rollup built from the ground up for anonymous payments and DeFi transactions.And catch their ZK Hack workshop HERETry our Aztec to send funds privately on zk.money.If you like what we do:Follow us on Twitter - @zeroknowledgefmJoin us on TelegramCatch us on YoutubeRead up on the r/ZKPodcast subredditGive us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonDonate through coinbase.commerce Read transcript

This week, Anna chats with Billy Rennekamp about the Cosmos Hub ecosystem, ICF and some of the latest innovations he is watching. They discuss his early experiments with NFTs that led to the Clovers Network and his move into the Cosmos ecosystem. Through this, they cover how the space has evolved and the game changing potential of the IBC paradigm. Billy explains how the Cosmos Hub aims to support innovative modular development and shares the latest research into Interchain security, bridges, governance and much more.Here are some links for the episode:Billy on TwitterClovers Networkfolia.appCosmos HubCosmos SDK - IBC OverviewCosmos Hub roadmap Learn ->> ZK Hack - learn - now until December 7th, attend ZK workshops & solve ZK puzzlesBuild ->> ZK Jobs Board - find new opportunities in the ZK space! Meet ->> ZK Jobs Fair - December 2nd, meet top zk projects that are hiring. Funding for ZK projects ->> Zero Knowledge Gitcoin Matching Round beginning December.Today’s episode is sponsored by cLabs. cLabs works on building Celo. Celo is a mobile-first platform that makes financial dApps and crypto payments accessible to anyone with a mobile phone. Its mobile-first approach, SNARK-based light client with full node incentives, and gas payable in ERC-20 tokens allow crypto payments and DeFi tools to reach the 6 billion smartphones on Earth. Celo’s interoperability and full EVM-compatibility makes it easy to start building dApps that reach global users across devices, carriers, and countries.If you're interested, come join Celo's vibrant ecosystem. Visit celo.org to learn more.If you like what we do:Follow us on Twitter - @zeroknowledgefmJoin us on TelegramCatch us on YoutubeRead up on the r/ZKPodcast subredditGive us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonDonate through coinbase.commerce Read transcript

This week, Anna catches up with Guillermo Angeris, Alex Evans and Tarun. The conversation charts their research on CFMMs, AMMs and related primitives and explores the goals and methodology of this work. They also revisit the topic of private AMMs and specifically their recent work on using differential privacy to achieve a more private system. Here are some links for the episode:Paper: Replicating Market MakersPaper: How Liveness Separates CFMMs and Order BooksPaper: Replicating Monotonic Payoffs Without CollateralPaper: Differential Privacy in Constant Function Market MakersPaper: Constant Function Market Makers: Multi-Asset Trades via Convex OptimizationPaper: Replicating Market MakersPaper: A Note on Bundle Profit MaximizationPaper: A Note on Borrowing Constant Function Market Maker SharesPaper: When does the tail wag the dog? Curvature and market makingLearn ->> ZK Hack - learn - now until December 7th, attend ZK workshops & solve ZK puzzlesBuild ->> ZK Jobs Board - find new opportunities in the ZK space! Meet ->> ZK Jobs Fair - December 2nd, meet top zk projects that are hiring. Today’s episode is sponsored by Aztec. Aztec aims to be the privacy layer for Ethereum. They believe that unlocking programmable privacy is the next frontier for blockchains. Aztec is the first zero knowledge rollup built from the ground up for anonymous payments and DeFi transactions. Join the thousands of users already sending funds privately on zk.money.If you like what we do:Follow us on Twitter - @zeroknowledgefmJoin us on TelegramCatch us on YoutubeRead up on the r/ZKPodcast subredditGive us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonDonate through coinbase.commerce Read transcript

This week, Anna and Tarun chat with MP, Trent and Sam from JPG about this on-chain NFT curation protocol. They walk through what the JPG team wanted out of this decentralized curation protocol and how to bring in voices that aren't always heard in the traditional art world. They also explore the idea of rethinking the mechanism of curation, indexing and permissionless access in order to bring a crypto native approach to NFT art culture. Lastly, they look at JPG's focus on on-chain records can preserve longterm value of NFTs with an eye on how to bridge the various ecosystems in the future and brainstorm around the idea of ZK NFTs. Here are some links for the episode:JPGJPG on TwitterEpisode 150: NFTs & Rarible with Alex SalnikovEpisode 198: NFT Creation, Curation and Governance with Luiz from FingerprintsDAOMuseum of Crypto ArtOn CyberLearn ->> ZK Hack - learn - now until December 7th, attend ZK workshops & solve ZK puzzlesBuild ->> ZK Jobs Board - find new opportunities in the ZK space! Meet ->> ZK Jobs Fair - December 2nd, meet top zk projects that are hiring. Thank you to this week’s sponsor, Anoma. Anoma is a multivariate & multivariable bartering protocol that enables bartering among N-parties of arbitrary assets, including NFTs, all with zero-knowledge privacy. Check out Awa’s twitter thread to learn more about this project: .Be sure to stay tuned for Anoma’s first public testnet, in which you’ll be able to play with Anoma’s Proof-of-Stake, intent gossip/matchmaking layer, and custom validity predicates.Check Anoma’s codebase on GitHub and the team building Anoma is hiring. Find their jobs HEREIf you like what we do:Follow us on Twitter - @zeroknowledgefmJoin us on TelegramCatch us on YoutubeRead up on the r/ZKPodcast subredditGive us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonDonate through coinbase.commerce Read transcript

This week, Anna catches up on what has been happening in the Kusama network ecosystem with Will Pankiewicz, Raul Romanutti, and Bruno Skvorc. First up, Will, the Master of Validators at Parity, takes us through the fundamentals of Kusama, how it differs from Polkadot and some future predictions for the ecosystem and its parachains. Next, Raul, Community Manager and council member, breaks down how Kusama's governance and council functions. Last but not least, we learn about RMRK founded by Bruno, an NFT project on Kusama which started as a hack to support basic NFTs without smart contracts and grew into full-blown NFT ecosystem on Kusama.Here are some links for this episode:Episode 46: Gavin Wood on Polkadot, Sharding and SubstrateEpisode 83: From Warp Sync to SPREE with Polkadot’s Rob HabermeierEpisode 104: Exploring Kusama, the Canary Chaos NetworkEpisode 171: Mapping the Polkadot EcosystemEpisode 181: Aping into DeFi and NFTs with Andy Chorlian and Tarun ChitraRMRKClusters: how trusted & trust-minimized bridges shape the multi-chain landscapeZK Hack kicked off on October 26th and goes until December 7th — a multi-round online event with workshops and puzzle solving competitions. Put together by the Zero Knowledge Podcast and the ZKValidator and supported by all of our fantastic sponsors. Even if you missed the first session you can still join the next ones, head to the website to check out the schedule of workshops and puzzles: https://www.zkhack.dev/Thank you to this week’s sponsor. Centrifuge - A Real-world DeFi project. Centrifuge puts real-world assets on the blockchain, allowing issuers to get liquidity on their assets and investors to make a safe, stable yield in the volatile crypto world. They are hiring positions! Head to https://centrifuge.io/careers to learn more.If you like what we do:Subscribe to our podcast newsletter to not miss any event!Follow us on Twitter - @zeroknowledgefmJoin us on TelegramCatch us on YoutubeRead up on the r/ZKPodcast subredditGive us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonDonate through coinbase.commerce Read transcript

This week, Anna speaks with Adam Gągol and Matthew Niemerg about Aleph Zero - an L1 project mixing ZKPs and MPCs with a DAG consensus algorithm. The aim of their project is to enable private smart contracts. In the conversation, they explore the underlying DAG structure and their privacy solutions that leverage zero-knowledge proofs (zk-SNARKs) and Secure Multiparty Computation (sMPC). Here are some links for this episode:Paper - Aleph: Efficient Atomic Broadcast in Asynchronous Networks with Byzantine NodesTime, Clocks, and the Ordering of Events in a Distributed System by Leslie LamportEpisode 188: Analyzing Osmosis & Preventing MEV with Sunny and DevZK Hack kicked off on October 26th and goes until December 7th — a multi-round online event with workshops and puzzle solving competitions. Put together by the Zero Knowledge podcast and the ZKValidator and supported by all of our fantastic sponsors. Even if you missed the first session you can still join the next ones, head to the website to check out the schedule of workshops and puzzles: https://www.zkhack.dev/Thank you to this week’s sponsor DeversiFi! DeversiFi's mission is to make the opportunities of DeFi available to everyone and their platform enables this with an impressive user experience and simple to use interface. Built with some of the cutting edge StarkWare scaling tech you've heard about on the podcast, this is a great way to start using zk tech live today. Right now on the platform you can invest, trade and send tokens and manage your portfolio all without paying gas fees. Find out more about how you can make to most of DeFi at https://www.deversifi.com/.If you like what we do:Subscribe to our podcast newsletter to not miss any event!Follow us on Twitter - @zeroknowledgefmJoin us on TelegramCatch us on YoutubeRead up on the r/ZKPodcast subredditGive us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonDonate through coinbase.commerce Read transcript

This week, Anna speaks with Dankrad Feist, a researcher at the Ethereum Foundation. They talk about the future of the ETH client infrastructure, the merge, the difference between merkle trees and verkle tries, and more. They also explore how concepts that originated in the ZK research space have made their way into the ETH client stack.Here are some links for this episode:Episode 120: ZKPs in Ethereum with Vitalik Buterin & Justin Drake Episode 187: The Evolution of ETH 2.0 with Teku’s Ben EdgingtonDankrad’s website"Why it's so important to go stateless" by Dankrad Feist Verkle Tree Summary from Vitalik and DankardPEEPanEIP #46: Verkle tries for Ethereum state with Dankrad Feist Look out for ZK Hack  kicking off October 26th — a multi-round online event with workshops and puzzle solving competitions. Put together by this podcast and the ZKValidator and supported by all of our fantastic sponsors. Think Hackathon meets CTF meets Dark Forest round based competition. There will be a leaderboard and prizes. And deep dive learning sessions with the best teams in the space. Signup & Join the discord! Thank you to this week’s sponsor Aleo! Aleo a new public Layer-1 blockchain tailor-made for building private applications.Check out the website, or roll up your sleeves and visit leo-lang.org to start building. Aleo also invites the community to participate in an ongoing setup ceremony for trustlessly generating the system parameters at setup.aleo.org. If you like what we do:Subscribe to our podcast newsletter to not miss any event!Follow us on Twitter - @zeroknowledgefmJoin us on TelegramCatch us on YoutubeRead up on the r/ZKPodcast subredditGive us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonDonate through coinbase.commerce Read transcript

This week, Anna catches up with Zaki Manian and his new project Sommelier. They explore how Sommelier aims to develop strategies to better serve the more complex emerging DeFi projects like Uniswap V3, and how this would allow the average user to benefit from these new powerful tools. They also discuss Zaki’s vision for multichain DeFi and how the space has evolved over the last few years.Here are a few links for this episode:iqlusion ValidatorEpisode 108: Catch up with Zaki Manian from TendermintEpisode 174: Through the Cosmos Stargate UpgradeLook out for ZK Hack  kicking off October 26th — a multi-round online event with workshops and puzzle solving competitions. Put together by this podcast and the ZKValidator and supported by all of our fantastic sponsors. Think Hackathon meets CTF meets Dark Forest round based competition. There will be a leaderboard and prizes. And deep dive learning sessions with the best teams in the space. Signup & Join the discord! Thank you to this week’s sponsor, Anoma. Anoma is a multivariate & multivariable bartering protocol that enables bartering among N-parties of arbitrary assets, including NFTs, all with zero-knowledge privacy. Check out Awa’s twitter thread to learn more about this project: .Be sure to stay tuned for Anoma’s first public testnet, in which you’ll be able to play with Anoma’s Proof-of-Stake, intent gossip/matchmaking layer, and custom validity predicates.Check Anoma’s codebase on GitHub and the team building Anoma is hiring. Find their jobs on the ZK Jobs Board*If you like what we do: *Subscribe to our podcast newsletter to not miss any event!Follow us on Twitter - @zeroknowledgefmJoin us on TelegramCatch us on YoutubeRead up on the r/ZKPodcast subredditGive us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonDonate through coinbase.commerce Read transcript

200th Episode of Zero Knowledge Podcast! This week, Anna chats with Alessandro Chiesa, a professor working on cryptography, complexity and security and one of the co-founders Zcash and StarkWare. Anna and Ale dig into some of the recent SNARK research coming out of his lab and discuss how to navigate the challenges of teaching in a space that changes quickly. Here are some links for this episode:Episode 59: STARKs & StarkWare with Eli and AlessandroEpisode 114: Exploring the Fractal transparent SNARK constructionSummer school - Foundations and Frontiers of Probabilistic Proofs (virtual)Paper - Barriers for Succinct Arguments in the Random Oracle Model by Alessandro Chiesa and Eylon Yogev Paper - Proof Carrying Data without Succinct ArgumentsPaper - A Zero Knowledge Sumcheck and its ApplicationsPaper - Bulletproofs: Short Proofs for Confidential Transactions and MoreSubquadratic SNARGs in the Random Oracle ModelPost-Quantum Succinct Arguments: Breaking the Quantum Rewinding BarrierPaper - DIZK: A Distributed Zero Knowledge Proof SystemPaper - Aurora: Transparent Succinct Arguments for R1CSAlessandro Chiesa's websiteLook out for ZK Hack  kicking off October 26th — a multi-round online event with workshops and puzzle solving competitions. Sign up at: https://www.zkhack.dev/If you're in Lisbon in October for Lisbon Blockchain Week then join us for the official ZK Hack Kick-off Party!Thank you to this week’s sponsor. Centrifuge - A Real-world DeFi project. Centrifuge puts real-world assets on the blockchain, allowing issuers to get liquidity on their assets and investors to make a safe, stable yield in the volatile crypto world. They are hiring positions! Head to https://centrifuge.io/careers to learn more.If you like what we do:Subscribe to our podcast newsletter to not miss any event!Follow us on Twitter - @zeroknowledgefmJoin us on TelegramCatch us on YoutubeRead up on the r/ZKPodcast subredditGive us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonDonate through coinbase.commerce Read transcript

In this week’s episode, Anna chats with Emre Tekişalp and [Izaak Meckler](twitter.com/izmeckler) about what’s new with Mina, O(1) Labs, the network launch and of course the anticipated release of Snapps to testnet later this year. We learn all about how Snapps, these SNARK-powered applications, bring data privacy and scalability to blockchain.Here are a few links for this episode:Latest recursive SNARKitecture with Izaak Meckler from O(1)Labs Zero Knowledge Podcast, Episode 113 Digging into recursive zkSNARKs with Coda Zero Knowledge Podcast, Episode 54 zkSessions: Izaak Meckler on SnarkyJSWhat are Snapps? on the Mina Protocol blogThe mina-vrf-rs tool from ZKVCheck out the ZK Hack website, signup today & join the discord! Thank you to this week’s sponsor cLabs. They have recently released Optics, a first-of-its-kind cross-chain communication system. It uses optimistic(ish) replication of data structures to send messages, tokens, and data between chains and rollups. Reach out to them via github discussions.If you like what we do:Subscribe to our podcast newsletter to not miss any event!Follow us on Twitter - @zeroknowledgefmJoin us on TelegramCatch us on YoutubeRead up on the r/ZKPodcast subredditGive us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonDonate through coinbase.commerce Read transcript