Zero Knowledge

In this week’s episode, Anna catches up with Zaki Manian from Sommelier and Dean Tribble from Agoric. They check-in with the latest project news, recap about the UST collapse, and look into IST - Inter Stable Token - a project by the Agoric team that aims to become the Cosmos native multi collateral stablecoin. Here are some links for this episode:Ep 218: Hardened JS and the Architecture of Agoric with Dean TribbleEp 201: DeFi’s Multichain Future with Zaki Manian from SommelierEp 174: Through the Cosmos Stargate UpgradeEp 108: Catch up with Zaki Manian from TendermintInter.TradeGaunletAgoricAgoric Signs on Gauntlet for Inter Protocol Stablecoin Risk Optimization on CosmosWe're excited to announce ZK Whiteboard Sessions – a weekly educational video series focused on the building blocks of ZK. Produced by ZK Hack and powered by Polygon.zkSummit 8 is happening in Berlin on Sept 15th during Berlin Blockchain Week!Apply to attend: https://www.zksummit.com/Today’s episode is sponsored by Aleo. Aleo is a new Layer-1 blockchain – if you’re building private applications then check out Aleo’s programming language called Leo which enables non-cryptographers to harness the power of ZKPs. Visit leo-lang.org to start building. You can also participate in Aleo’s incentivized testnet 3 by downloading and running a snarkOS node. No sign-up is necessary to participate. For questions, join their Discord at aleo.org/discordIf you like what we do:Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YoutubeHead to the ZK Community ForumSupport our Gitcoin Grant Read transcript

No full episode this week. Just a quick message to let you know about the upcoming zkSummit 8 - happening in Berlin Sept 15 2022. Apply here: https://www.zksummit.com/ If you like what we do: Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Head to the ZK Community Forum Support our Gitcoin Grant

In this week’s episode, Anna talks with Illia from Near and Alex from Aurora about the work they did that lead them to the Near ecosystem and what the connection is between the Aurora project and Near. They also cover what’s new at Near since the last time Illia and Anna spoke, Aurora+, the Rainbow Bridge, and future plans with Near’s sharding system. Here are some links for this episode:Ep 91: Near Protocol's focus on UXEp 157: Illia Polosukhin on the development and launch of NEAR protocolCross Chain Series - Interview with Anna and AuroraSputnikVMNear BridgeNear Joins Multichain to Bring More Cross Chain Electron LabsCheck out the Zero Knowledge Podcast Linktree to stay up-to-date on all the ZK-focused channels and events in our ecosystem.Today’s episode is sponsored by AnomaAnoma is a suite of protocols that enable self-sovereign coordination. Their unique architecture facilitates the simplest forms of economic coordination such as two parties transferring an asset to each other. As well as more sophisticated ones like an asset agnostic bartering system involving multiple parties without direct “coincidence of wants."Anoma first fractal instance, Namada is planned for later in 2022, and it focuses on enabling shielded transfers for any assets with a few second transaction latency and near zero fees.Visit Anoma to learn more! If you like what we do:Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramHead to the ZK Community ForumSupport our Gitcoin Grant Read transcript

In this week’s episode, Anna and Kobi chat with guest Jens Groth, Director of Research at DFINITY and previously a professor in the Department of Computer Science at UCL. Jens Groth is a leading ZK researcher and is behind a number of advances in the field of ZK in the last few years such as the popular proving system Groth16. The conversation covers his earlier career, the cryptographic problems he tackled in his research, how he solved these, the results of this work as well as his move from research into industry and what he works on today. Here are some links for this episode:Episode 232: Cutting Edge ZK Research with Mary MallerJens Groth's researchEfficient Zero-Knowledge Argument for Correctness of a ShuffleSubversion-zero-knowledge SNARKs GGPRDFINITYInternet Computer ProtocolCheck out the Zero Knowledge Podcast linktree to stay up-to-date on all the ZK-focused channels and events in our ecosystemToday’s episode is sponsored by AnomaAnoma is a suite of protocols that enable self-sovereign coordination. Their unique architecture facilitates efficiently the simplest forms of economic coordination such as two parties transferring an asset to each other. As well as more sophisticated ones like an asset agnostic bartering system involving multiple parties without direct “coincidence of wants”; or even more complex ones such as “N-party” collective commitments to solve multipolar traps – where any interaction can be performed with adjustable zero-knowledge privacy.Visit Anoma to learn more! If you like what we do: Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on Youtube Head to the ZK Community Forum Support our Gitcoin Grant Read transcript

In this week’s episode, Anna checks in with Aztec, a ZK-based privacy L2 project. She speaks with Joe Andrews and Lead Engineer, Charles Julian. They discuss some of the team’s most important ZK research and implementations such as Plonk and how bringing privacy to Ethereum could truly change the way we do DeFi. They also discuss Aztec Connect and how it relates to zk.money, the Aztec roadmap with future projects like DSL Noir and Aztec 3, as well as a quick postmortem on the halted Aztec Connect launch. Here are some links for this episode:Ep 176: Zk-zk-rollup & zk.money with Zac and Joe from AztecEp 75: Exploring Aztec with Zac WilliamsonEp 232: Cutting Edge ZK Research with Mary MallerAZTEC Trusted SetupPLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge AztecProtocol/barretenberg: C++ elliptic curve library | GitHubAztecProtocol/aztec-connect-bridges | GitHubIf you are looking to jump into ZK professionally, check out the ZK Jobs board to find job posts from some of the top teams working in ZK – like Aleo, Anoma and Mina. If you’re looking to hire, be sure to add your jobs as well! More at ZK Jobs Board.Today’s episode is sponsored by Aleo. Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup. If you’re building private applications - then check out Aleo’s programming language called Leo which enables non-cryptographers to harness the power of ZKPs. Visit leo-lang.org to start building. You can also participate in Aleo’s incentivized testnet3 by downloading and running a snarkOS node. No sign-up is necessary to participate. For questions, join their Discord at [aleo.org/discord](aleo.org/discord)If you like what we do:Find all our links here!Subscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YoutubeHead to the ZK Community ForumSupport our Gitcoin Grant Read transcript

In this week’s episode, we throwback to a sake-fueled conversation between Anna and returning guest Guillermo Angeris, recorded in April during DevConnect in Amsterdam. They cover Guillermo’s personal journey into math, math history in general, how to bring more people into the space and the potential opportunities and downsides of bringing some kinds of math mainstream. It is a bit of different one, but hope you enjoy!Here are some links for this episode: Ep 173: Building Private AMMs with Guillermo Angeris Ep 206: Distilling DeFi Primitives with Guillermo, Alex and Tarun Ep 212: 2021 < 2022 with Co-hosts & Friends Ep 228: Catch-up at DevConnect with Friends Grigori Perelman - Wikipedia Banach–Tarski Paradox - Wikipedia Understanding ZKPs Through Simple Examples Convex Analysis - Wikipedia Stephen P. Boyd - Wikipedia Four Color Theorem - Wikipedia A History of Mathematics/Middle Ages/Europe During the Middle AgesThe ZK Podcast team is growing! We're looking to hire an additional content producer to join us. There's a job posting for this content producer over on the ZK jobs board.Learn more and apply here.Today’s episode is sponsored by AnomaAnoma is a suite of protocols that enable self-sovereign coordination. Their unique architecture facilitates efficiently the simplest forms of economic coordination such as two parties transferring an asset to each other. As well as more sophisticated ones like an asset agnostic bartering system involving multiple parties without direct “coincidence of wants”; or even more complex ones such as “N-party” collective commitments to solve multipolar traps – where any interaction can be performed with adjustable zero-knowledge privacy.Visit Anoma to learn more! If you like what we do:Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YoutubeHead to the ZK Community ForumSupport our Gitcoin Grant Read transcript

In this week’s episode, Anna and Tarun chat with Ye Zhang and Haichen Shen, the founders of Scroll - a native zkEVM Layer 2 Solution for Ethereum. They cover the founding of Scroll, the problems they aim to solve with their native zkEVM layer 2 solution, why scaling Ethereum is important, the philosophy of their zkEVM, and how this differs from other proposals as well as potential use cases or products that could benefit from the system. They wrap up with an exploration of how DApps and products on top of such as zkEVM may interact with the mainchain and with other applications. Here are some links for this episode:ScrollScroll Tech Github Scroll Whitepaper Episode 194: zkEVM with Jordi and David from Polygon HermezAndrew Miller at UIUCEthereum Yellow PaperEthereum Design DecisionsThe ZK Podcast team is growing! We're looking to hire an additional content producer to join us. There's a job posting for this role over on the ZK Jobs Board. Learn more and apply here.Today’s episode is sponsored by AnomaAnoma is a suite of protocols that enable self-sovereign coordination. Their unique architecture facilitates efficiently the simplest forms of economic coordination such as two parties transferring an asset to each other. As well as more sophisticated ones like an asset agnostic bartering system involving multiple parties without direct “coincidence of wants”; or even more complex ones such as “N-party” collective commitments to solve multipolar traps – where any interaction can be performed with adjustable zero-knowledge privacy.Visit Anoma to learn more! If you like what we do:Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YoutubeHead to the ZK Community ForumSupport our Gitcoin Grant Read transcript

In this week’s episode, Anna chats with Rahul Magani, the Applied ZK Lead at Jump Crypto, and Hendrik Hofstadt, Project Lead at (Wormhole Crypto)[https://twitter.com/wormholecrypto]. They look at how Wormhole first came to be, the challenges of interoperability, the design decisions they made in balancing security, speed and functionality, the risks facing these types of solutions, including the famous Wormhole hack, what the future holds and how they aim to explore using zk in bridging. Here are some links for this episode:Ep 230: Designing Optimistic Interoperability with NomadEp 232: Cutting Edge ZK Research with Mary Maller Jump CryptoWormhole RepositoryWormhole Portal BridgeJump Trading GroupKey Pillars of Crypto InfrastructurePyth NetworkSerum ProjectFiat-Shamir VulnerabilityJump Trading Bug BountiesBN254 Curve StandardPlonK Proof SystemNova Proof SystemManta: a Plug and Play Private DeFi StackBLS12-377 curve operationsWormhole Hack ReportThe ZK Tech side round on Gitcoin starts today and runs until June 23rd. During this CLR matching round funds that are donated to the ZK tech side round are matched from our 100K matching pool. This initiative is led by 0xPARC and zkValidator, as well as our fantastic matching partners from the ecosystem. Visit gitcoin.co to get your grant in and choose the tag ZK tech to be eligible to our matching pool. Today’s episode is sponsored by AnomaAnoma is a suite of protocols that enable self-sovereign coordination. Their unique architecture facilitates efficiently the simplest forms of economic coordination such as two parties transferring an asset to each other. As well as more sophisticated ones like an asset agnostic bartering system involving multiple parties without direct “coincidence of wants”; or even more complex ones such as “N-party” collective commitments to solve multipolar traps – where any interaction can be performed with adjustable zero-knowledge privacy.Visit Anoma to learn more. If you like what we do:Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YoutubeHead to the ZK Community ForumSupport our Gitcoin Grant Read transcript

In this week’s episode, Anna and co-host Kobi Gurkan chat with Mary Maller, a ZK Researcher at the Ethereum Foundation. They cover Mary’s journey into cryptography, her work on trusted setups, universal SNARKs and Plookup tables. They also discuss the work she and Kobi did on aggregatable DKGs, what working on research at the EF is like and more. Here are some links for this episode: Caulk: Lookup Arguments in Sublinear Time Aggregatable Distributed Key Generation Reaching Consensus For Asynchronous Distributed Key Generation Updatable and Universal Common Reference Strings with Applications to zk-SNARKs Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS SNARKBlock: Federated Anonymous Blocklisting from Hidden Common Input Aggregate Proofs SnarkPack: Practical SNARK Aggregation R1Cs ZK Hack Puzzles Ep 133: Trusted Setup Ceremonies Explored Ep 93: Light clients & ZKPs with Celo Bonus ZK Hack Wrap with Kobi! Mary's Github: mmaller - GitHubCheck out the @ZeroKnowledge Linktree to find our community links and stay in the loop on upcoming events & more!If you're building something ZK and could benefit from some early funding – ZKValidator and 0xPARC bring you another ZK Tech Side Round on Gitcoin - GR14. This round has at least $100K in matching pool. The round starts on June 8th and runs for two weeks.Matching is based on your quadratic voting score (lots of small donations are better than a few big ones). Be sure to choose the tag #zktech to be eligible!Today's episode is sponsored by Penumbra. Penumbra is a cross-chain shielded pool and decentralized exchange, allowing users to shield assets from any IBC connected chain and privately transact stake, swap and market make without revealing their personal information or trading strategies to the world. Visit penumbra.zone to learn more, use the Testnet, and join their discord. If you like what we do:Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YoutubeHead to the ZK Community ForumSupport our Gitcoin Grant Read transcript

In this week’s episode, Anna chats with Julien Niset, co-founder of Argent, about crypto wallets. They explore the history of wallet landscape, the interfaces we use for the decentralized web, the importance of account abstraction, smart contract wallets and Argent’s bet on ZK rollups.Here are some links for this episode:Episode 24: Blockchain UX and the UXUnConfArgentArgent Labs | Github What is an 'EOA' account? EIP-1271: Standard Signature Validation Method for Contracts zkSyncStarkware Find all our links here!If you are looking to jump into ZK professionally, check out the ZK Jobs board to find job posts from some of the top teams working in ZK – like Aleo, Anoma and Mina. If you’re looking to hire, be sure to add your jobs as well! More at ZK Jobs Board.Today’s episode is sponsored by Polygon Hermez.The Polygon Hermez zk-rollup is a layer 2 built on top of Ethereum that solves its scalability through mass transfer processing rolled into a single transaction. Zero-knowledge proofs are used to present and publicly record the validity and correctness of the rolled transfers processed on the Ethereum blockchain.Visit polygon.technology to learn more about Polygon Hermez and other Polygon solutions. If you like what we do:Find all our links here!Subscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YoutubeHead to the ZK Community ForumSupport our Gitcoin Grant Read transcript