Zero Knowledge

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

In this week’s episode, Anna and Tarun dive back into the NFT space with their guest Luiz from FingerprintsDAO. FingerprintsDAO is a collector organization for artists, curators and producers. Luiz takes us through new paradigms of NFT creation, its governance and the wild world of on-chain art where it’s the smart contract that is the art and wherein the value lies.Here are some links mentioned this episode:Episode 150: NFTs & Rarible with Alex SalnikovFingerprintsDAOAutoglyphsDEAFBEEF0xmonsCryptoPunksSarah MeyohasSarah Meyohas’ Cloud of PetalstubaLootPleasrDAOHypebeastSol LeWittArtBlocksFidenzaFramergencePulsquaresChromie SquiggleTwin FlamespplpleasrCryptovoxelsMitchell F ChanNFTs, Generative Art, and Sol LeWitt by Mitchell F ChanBitchcoinTarun’s art projectBe sure to register for the next ZK Jobs Fair on September 30th if you’re looking for opportunities in crypto.For potential hiring teams, we still have booths available, so do get in touch by emailing sponsorships@zeroknowledge.fm.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. And be sure check out the generative NFTs that you get if you participate! If you like what we do:Subscribe to our announcement 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 chats with Pedro Gomes, Founder of WalletConnect, about how wallets and DApps traditionally interact and the journey to WalletConnect and WalletConnect 2.0. They explore how the tech incorporates the Waku protocol, as well as the role of CAIPs (Chain Agnostic Improvement Proposals) in determining how WalletConnect evolves. Pedro shares what prompted the new WalletConnect 2.0 development decisions and his thoughts on what role the project will play in a MultiChain future.Here are a few links for this episode:List of EVM networksEpisode 65: Bridges, xDai and Burner Wallets with Igor & AustinEpisode 186: ZKPs for Spam Protection & Decentralized Messaging with StatusBe sure to register for the next (ZK Jobs Fair)[https://www.eventbrite.com/e/zk-jobs-fair-4-tickets-167586621095] on September 30th if you’re looking for opportunities in crypto. For potential hiring teams, we still have booths available, so do get in touch by emailing (mailto:sponsorships@zeroknowledge.fm). In the meantime, you can also check out the new website and the updated jobs board.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:Subscribe to our podcast newsletter to not miss any upcoming 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