This week Anna (https://twitter.com/annarrose) and cohost Kobi (https://twitter.com/kobigurk) chat with both Kostas Kryptos (https://twitter.com/kostascrypto) from Mysten Labs (https://mystenlabs.com/), discussing the zkLogin project and Aayush Gupta (https://twitter.com/yush_g) representing the ZK Email + Email Wallet (https://twitter.com/zkemail) projects. They explore the use case of web2 onboarding into web3, through the lens of these two different projects which emerged independently but share a lot of the same characteristics. They discuss the way this use case problem was first identified, the solution that each project came up with independently, the decisions that each project took and the future use cases they would enable. Here’s some additional links mentioned in this episode: Sui by zkLogin (https://sui.io/zklogin) zkSend by Mysten Labs (https://zksend.com/auth) ZK Email (https://prove.email/) Email Wallet (https://emailwallet.org/) Aayush G’s ZK Email Blog (https://blog.aayushg.com/zkemail/) JSON Web Token (https://jwt.io/introduction) Winterfell STARK prover and verifier (https://docs.rs/winterfell/latest/winterfell/) Contract Wallet Using Emails by Suegami and Shibano (https://arxiv.org/abs/2312.04173) xJsnark: A Framework for Efficient Verifiable Computation by Kosba Papamanthou and Shi (https://akosba.github.io/papers/xjsnark.pdf) RSA Algorithm in Cryptography (https://www.geeksforgeeks.org/rsa-algorithm-cryptography/) Further relevant links: Episode 227: Move & Sui with Sam Blackshear from Mysten Labs (https://zeroknowledge.fm/228-2/) Episode 257: Proof of Solvency with Kostas Chalkias (https://zeroknowledge.fm/257-2/) ZK8: A New ZK Nullifier Signature for ECDSA - Aayush Gupta - 0xPARC (https://www.youtube.com/watch?v=6ajBnMdJGoY) ZK10: ZK for authentication: How to SNARK sign-in w/ Google, Apple & Facebook - Kostas (https://www.youtube.com/watch?v=FrihpBU4MzY) Check out the latest in ZK Jobs on our Jobs Board here (https://jobsboard.zeroknowledge.fm/). Launching soon, Namada (https://namada.net/) is a proof-of-stake L1 blockchain focused on multichain, asset-agnostic privacy, via a unified shielded set. Namada is natively interoperable with fast-finality chains via IBC, and with Ethereum using a trust-minimised bridge. Follow Namada on Twitter @namada (https://twitter.com/namada) for more information and join the community on Discord discord.gg/namada (http://discord.gg/namada) If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (https://zeroknowledge.fm/)

This week, Anna (https://twitter.com/annarrose) catches up with Tarun Chitra (https://twitter.com/tarunchitra) and Sreeram Kannan (https://twitter.com/sreeramkannan) during a spontaneous session recorded at Devconnect 2023 (https://devconnect.org/) in Istanbul! They cover a variety of topics seen at the event, including zk toolkits, intents and Data Availability, shedding light on how these ideas are reshaping the framework of digital interaction and governance. Their chat covers the challenges and opportunities these technologies present, highlighting their significance in the current ecosystem. Later, they explore the complexities and nuances of EigenLayer (https://twitter.com/eigenlayer), offering detailed insights into its functionalities, applications, and potential impact on the industry. Here’s some additional links for this episode: ZK Hack IRL Istanbul wrap article (https://zkhack.dev/2023/11/24/zk-hack-istanbul/) ZK Hack Tweet announcing the winners (https://twitter.com/__zkhack__/status/1723728434931605727). Sign up here for ZK Hack IV Online updates (https://www.subscribepage.com/zkhackiv) EigenLayer (https://www.eigenlayer.xyz/) EigenLayer: The Restaking Collective by EigenLayer Team (https://docs.eigenlayer.xyz/overview/readme/whitepaper) Parachains' Protocol Overview - reference to Fishermen (https://wiki.polkadot.network/docs/learn-parachains-protocol) Episode 217: Information Theory & Blockchain with Sreeram Kannan (https://zeroknowledge.fm/217-2/) ZK7: Hyperscale Data Availability for ZK Systems - Sreeram Kanan - UoW / Layr Labs (https://www.youtube.com/watch?v=OtUOXTqrSyg&feature=youtu.be) Sreeram Kannan - Introducing Programmable Trust + EigenLayer Roadmap (https://www.youtube.com/watch?v=-aK6VrmK0yk) Aleo (http://aleo.org/) is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup. As Aleo is gearing up for their mainnet launch in Q4, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at aleo.org (http://aleo.org/) If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (https://zeroknowledge.fm/)

In this week’s episode, Anna (https://twitter.com/annarrose) takes a look back at the last 6 years of the Zero Knowledge Podcast, how it came to be and the journey the show has been on since that very first episode in 2017. Anna reviews the highs and lows of the show, touching on episodes which made a profound impact on her own journey in the ZK space, as well as episodes she wouldn’t rush to listen to again! Discover key show learnings, how the zkSummit formed and take a trip down memory lane in the 300th episode of Zero Knowledge Podcast. To check out all the ZK Podcast episodes mentioned in this episode, visit the zeroknowledge.fm website here (https://zeroknowledge.fm/) Check out one of the earliest zkSummit talks on the very first event: Zero knowledge proofs intro with Str4d (Zcash) (https://www.youtube.com/watch?v=Y9YgRDJAFEE&list=PLj80z0cJm8QFnY6VLVa84nr-21DNvjWH7&index=198) The full zkSummit Playlist (https://www.youtube.com/playlist?list=PLj80z0cJm8QFnY6VLVa84nr-21DNvjWH7) Sign up here for ZK Hack IV Online updates (https://www.subscribepage.com/zkhackiv) If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (https://zeroknowledge.fm/)

In this week's episode, Anna (https://twitter.com/annarrose) chats with Alex Gluchowski (https://twitter.com/gluk64), CEO of Matter Labs (https://matter-labs.io/) & co-creator of the zkSync (https://zksync.io/) network. They catch up on the zkSync project since it launched in Feb 2023. They dive into recent initiatives like the ZK Stack framework, Hyperchains, and the ZK Credo mission statement. They also explore the upcoming Boojum proof system upgrade planned for zkSync Era and discuss the future of the zkSync project as a whole. Here’s some additional links for this episode: Introducing the ZK Stack (https://medium.com/matter-labs/introducing-the-zk-stack-c24240c2532a) Introduction to Hyperchains (https://medium.com/matter-labs/introduction-to-hyperchains-fdb33414ead7) Matter Labs Era Boojum GitHub (https://github.com/matter-labs/era-boojum) zkSync Era: Everything you need to know about ZK Credo, ZK Stack, & Boojum Upgrade (https://medium.com/tx-fusion/zksync-era-everything-you-need-to-know-about-zk-credo-zk-stack-boojom-upgrade-b9a769333e48) Episode 72: zkSNARKs for Scale with Matter Labs (https://zeroknowledge.fm/72-2/) Episode 116: zkSync and Redshift: Matter Labs update (https://zeroknowledge.fm/116-2/) Episode 175: zkEVM & zkPorter with Matter Labs (https://zeroknowledge.fm/175-2/) Introducing zkSync: the missing link to mass adoption of Ethereum (https://medium.com/matter-labs/introducing-zk-sync-the-missing-link-to-mass-adoption-of-ethereum-14c9cea83f58) The different types of ZK-EVMs by Vitalik Buterin (https://vitalik.ca/general/2022/08/04/zkevm.html) Different types of layer 2s (https://vitalik.ca/general/2023/10/31/l2types.html) L2BEAT (https://l2beat.com) emailwallet.org (https://emailwallet.org/) prove.email (https://prove.email/) Check out the latest in ZK Jobs on our Jobs Board here (https://jobsboard.zeroknowledge.fm/). Launching soon, Namada (https://namada.net/) is a proof-of-stake L1 blockchain focused on multichain, asset-agnostic privacy, via a unified shielded set. Namada is natively interoperable with fast-finality chains via IBC, and with Ethereum using a trust-minimised bridge. Follow Namada on Twitter @namada (https://twitter.com/namada) for more information and join the community on Discord discord.gg/namada (http://discord.gg/namada) If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (https://zeroknowledge.fm/)

In this week's episode Anna Rose (https://twitter.com/annarrose) chats with Brandon Kase (https://twitter.com/bkase), CTO, and Steve Pack (https://www.linkedin.com/in/stevenpack1/), Head of Product at O(1)Labs (https://o1labs.org/), focusing on the Mina Protocol (https://minaprotocol.com/). The discussion covers their journeys leading to their work on the project, developments in the Mina Protocol since the last appearance on ZK Podcast, and insights into the zkApps building environment. They delve into the technical aspects of o1js and the underlying philosophy that drives its design. The episode wraps with a forward-looking perspective on the potential applications of zero-knowledge proofs as the industry shifts from a research-centric to a builder-centric approach. Links referenced in this episode: * Episode 54: Digging into recursive zkSNARKs with Coda (https://zeroknowledge.fm/54-2/) * Episode 199: Snapps on Mina with Emre and Izaak (https://zeroknowledge.fm/episode-199-snapps-on-mina-with-emre-and-izaak/) * Episode 276: Expanding Computation on Ethereum with Axiom (https://zeroknowledge.fm/276-2/) Further relevant links: * Episode 113: Latest recursive SNARKitecture with Izaak Meckler from O(1)Labs (https://zeroknowledge.fm/113-2/) * O(1)Labs Website (https://o1labs.org/) * o1js GitHub (https://github.com/o1-labs/o1js) * Introduction to o1js (https://docs.minaprotocol.com/zkapps/o1js) * Mina Protocol Docs (https://docs.minaprotocol.com/) Check out the ZK Jobs Board (https://jobsboard.zeroknowledge.fm/) NEAR Foundation (https://near.org/) and Polygon Labs just announced they are teaming up to build zkWASM, a zero-knowledge prover for WASM blockchains. This collaboration will create a more secure, interoperable Web3 ecosystem for an open web. NEAR’s deep WASM runtime expertise combined with Polygon Labs’ authority in ZK scaling technology, the zkWASM prover will be market leader when it launches in 2024. Stay up to date with the zkWASM announcement at near.org (https://near.org/) If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (https://zeroknowledge.fm/)

If you are an experienced hacker ready to jump in and build some cool zk-based applications, be sure to join our IRL hackathon on Nov 10-12. All details about ZK Hack Istanbul can be found at zkistanbul.com (https://www.zkistanbul.com/)

In this week’s episode, Anna (https://twitter.com/annarrose) and Nico (https://twitter.com/nico_mnbl) interview Or Sattath (https://twitter.com/or_sattath), Assistant Professor at the Ben-Gurion (https://cris.bgu.ac.il/en/persons/or-sattath) University in the Computer Science department. This is the 2nd episode with Or on this show, continuing the conversation around Quantum Cryptography. This time, he describes how we can transition from a pre-quantum to a post-quantum environment, looking at existing systems like Bitcoin and Ethereum. He covers why the methods used in the transition will be important, techniques on how this could be executed and the challenges in designing these techniques and the complications that can arise. Finally, they go on to discuss Quantum Money and recent works in this area. Here’s some additional links for this episode: Part 1 - Episode 288: Quantum Cryptography with Or Sattath (https://zeroknowledge.fm/288-2/) Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer by Shor (https://arxiv.org/abs/quant-ph/9508027) Shor’s Algorithm (https://quantum-computing.ibm.com/composer/docs/iqx/guide/shors-algorithm) Grover’s Algorithm (https://quantum-computing.ibm.com/composer/docs/iqx/guide/grovers-algorithm) A fast quantum mechanical algorithm for database search by Grover (https://arxiv.org/abs/quant-ph/9605043) Fawkescoin: A cryptocurrency without public-key cryptography by Bonneau and Miller (https://jbonneau.com/doc/BM14-SPW-fawkescoin.pdf) Bitcoin is not quantum-safe, and how we can fix it when needed by Buterin (https://bitcoinmagazine.com/technical/bitcoin-is-not-quantum-safe-and-how-we-can-fix-1375242150) Cryptographic canaries and backups by Justin Drake (https://ethresear.ch/t/cryptographic-canaries-and-backups/1235) Notes and recommended links by Or Sattath: NIST post-quantum standardization (https://csrc.nist.gov/Projects/post-quantum-cryptography) for post-quantum digital signatures and public-key encryption (or, more precisely, Key Encapsulation Mechanism, KEM). These are classical schemes that, unlike almost all the existing schemes that are used in practice, are secure against quantum adversaries. Signature Lifting (arXiv link) (https://arxiv.org/abs/2303.06754) is discussed as a technique to migrate to post-quantum signatures, especially for those who didn't prepare in advance. Here's a recommended Twitter thread (https://twitter.com/DesheShai/status/1635599973269098499) summarizing the results by Shai Wyborski, Or’s co-author. An approach to upgrade Bitcoin to quantum money is available here (https://arxiv.org/abs/2002.11998). This uses a cryptographic primitive which is called quantum lightning, which was introduced here (https://eprint.iacr.org/2017/1080.pdf). Some smart contacts capabilities can be supported (https://arxiv.org/abs/2204.12806) as well. This construction is based on one-shot signatures (https://eprint.iacr.org/2020/107), which isdiscussed in some detail during the interview. The bottom line of this work is that we can have the most important utility that Bitcoin provides, without the need for a blockchain, or any other consensus mechanism. Uncloneable cryptography (https://arxiv.org/abs/2210.14265) was discussed during the interview. Quantum encryption with certified deletion (https://arxiv.org/abs/1910.03551) was discussed as an interesting example of a property that can be achieved only in quantum cryptography. Applications are now open to attend zkHack Istanbul - Nov 10-12! Apply here: https://www.zkistanbul.com/ (https://www.zkistanbul.com/) Aleo (http://aleo.org/) is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup. As Aleo is gearing up for their mainnet launch in Q4, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at aleo.org (http://aleo.org/) If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (https://zeroknowledge.fm/)

In this week’s episode, Anna (https://twitter.com/annarrose) and Nico (https://twitter.com/nico_mnbl) catch up with Brian Retford (https://twitter.com/BrianRetford) and Jeremy Bruestle (https://twitter.com/BruestleJeremy) from RISC Zero (https://www.risczero.com/). They delve into the current status of the project, breaking down the components of the stack, from the RISC Zero zkVM leveraging the RISC-V instruction set architecture to the Bonsai proving service and their new zkEVM, Zeth. They also touch on their design methodology, how the system components integrate and future developments for RISC Zero. Here’s some additional resources for this episode: RISC Zero Developer Guide: Rust Resources (https://dev.risczero.com/zkvm/developer-guide/rust-resources) RISC Zero GitHub: Rust Crates (https://github.com/risc0/risc0#rust-libraries) Using Continuations to Prove Any EVM Transaction (https://www.risczero.com/news/continuations) RISC-V Website (https://riscv.org/) https://zkbench.dev (https://zkbench.dev/) Episode 251: Exploring RISC Zero with Brian Retford and Jeremy Bruestle (https://zeroknowledge.fm/251-2/) ZK9: Future ZK Emerging Use Cases and Key Enablers – Brian Retford (RISC Zero) (https://www.youtube.com/watch?v=MYYb5TXdm4c&pp=ygUNYnJpYW4gcmV0Zm9yZA%3D%3D) ZK Hack Lisbon: Creating Zero-Knowledge Proofs with RISC Zero (https://www.youtube.com/watch?v=saVD9qo3aJ0&list=PLcPzhUaCxlCgCvzkkaBWzVuHdBRsTNxj1&index=7) Applications are now open to attend zkHack Istanbul - Nov 10-12! Apply here: https://www.zkistanbul.com/ (https://www.zkistanbul.com/) Launching soon, Namada (https://namada.net/) is a proof-of-stake L1 blockchain focused on multichain, asset-agnostic privacy, via a unified shielded set. Namada is natively interoperable with fast-finality chains via IBC, and with Ethereum using a trust-minimised bridge. Follow Namada on Twitter @namada (https://twitter.com/namada) for more information and join the community on Discord discord.gg/namada (http://discord.gg/namada) If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (https://zeroknowledge.fm/)

In this week’s episode, Anna Rose (https://twitter.com/annarrose) is joined by Nigel Smart (https://twitter.com/SmartCryptology), Professor at KU Leuven (https://www.kuleuven.be/english/kuleuven) and Chief Academic Officer at Zama (https://www.zama.ai/) to discuss the advancements in MPC over recent years. Nigel unpacks core components of MPC systems, including garbled circuits, secret sharing, and FHE. They discuss both systems-level applications like DKGs and Threshold Signature Schemes and actual real-world deployments. Throughout the episode, they also discuss how MPC and ZK differ, but how they can be used together to enhance each other's capabilities. Here’s some additional links for this episode: 17 misconceptions about SNARKs (and why they hold us back by Justin Thaler (https://a16zcrypto.com/posts/article/17-misconceptions-about-snarks/) Nigel Smart’s GitHub (https://nigelsmart.github.io/) Unbound Security GitHub (https://github.com/unboundsecurity) Unbound Security Twitter (https://twitter.com/unboundsecurity) MPC Alliance (https://www.mpcalliance.org/) What is a multi-party computation (MPC) wallet? (https://www.alchemy.com/overviews/mpc-wallet) Relevant ZK Podcast eps Trusted Setups & FHE * Episode 76: Sean Bowe on SNARKs, Trusted Setups & Elliptic Curve Cryptography (https://zeroknowledge.fm/76-2/) * Episode 124: Exploring FHE with Flavio Bergamaschi from IBM Research (https://zeroknowledge.fm/124-2/) * Episode 133: Trusted Setup Ceremonies Explored (https://zeroknowledge.fm/133-2/) * Episode 137: Trusted Setup Bonus: Tornado Cash (https://zeroknowledge.fm/137-2/) * Episode 248: Revisiting FHE with Rand Hindi from Zama (https://zeroknowledge.fm/248-2/) * Episode 270: FHE and ZKPs with Sunscreen’s Ravital Solomon (https://zeroknowledge.fm/270-2/) MPC * Episode 90: MPC systems with Nigel Smart (https://zeroknowledge.fm/90-2/) * Episode 203: MPC and DAGs with Aleph Zero’s Adam Gagol & Matthew Niemerg (https://zeroknowledge.fm/episode-203-mpc-and-dags-with-aleph-zeros-adam-gagol-matthew-niemerg/) Applications are now open to attend zkHack Istanbul - Nov 10-12! Apply here: https://www.zkistanbul.com/ (https://www.zkistanbul.com/) RISC Zero’s (https://r0.link/ZKpodcast) out-of-the-box tooling allows developers to access the magic of ZK proofs from any chain without needing to learn custom languages or build custom zk circuits. Bonsai, RISC Zero’s most anticipated product, allows developers to prove huge programs off-chain, roll them into one succinct proof, and verify anywhere with low amounts of gas. Visit https://r0.link/ZKpodcast (https://r0.link/ZKpodcast) to learn more and sign up today for the Bonsai waitlist. Gnosis (https://www.gnosis.io/) are searching for a VP of Technology who will provide technical leadership, foster innovation, and ensure the success of their technology. Check out the full job here (https://jobsboard.zeroknowledge.fm/job/299/vp-technology/) If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (https://zeroknowledge.fm/)

In this week’s episode, host Anna Rose (https://twitter.com/annarrose) and co-host Kobi Gurkan (https://twitter.com/kobigurk) chat with Alex Evans (https://twitter.com/alexhevans) and Guillermo Angeris (https://twitter.com/GuilleAngeris) about their new research paper on Succinct Proofs in Linear Algebra (https://angeris.github.io/papers/zk-linalg.pdf). The paper introduces a framework that simplifies the construction of succinct proofs and offers a toolkit of useful techniques. Their conversation also covers the use of randomized reductions in zero-knowledge proofs, the security of the FRI protocol, and the potential applications of the framework in other systems. Here’s some additional links for this episode: *Papers Succinct Proofs in Linear Algebra by Evans and Angeris (https://angeris.github.io/papers/zk-linalg.pdf) Algebraic Reductions of Knowledge by Kothapalli and Parno (https://eprint.iacr.org/2022/009) Proximity Testing with Logarithmic Randomness by Diamond and Posen (https://eprint.iacr.org/2023/630) Ligero: Lightweight Sublinear Arguments Without a Trusted Setup by Ames, Hazay, Ishai and Venkitasubramaniam (https://acmccs.github.io/papers/p2087-amesA.pdf) Sumcheck Arguments and their Applications by Bootle, Chiesa and Sotiraki (https://eprint.iacr.org/2021/333.pdf) Proofs, Arguments, and Zero-Knowledge by Thaler (https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.html) Stephen Boyd Papers (https://web.stanford.edu/~boyd/papers.html) *Other links Episode 140: Staking derivatives & DeFi with Alex Evans (and Tarun!) (https://zeroknowledge.fm/140-2/) Episode 206: Distilling DeFi Primitives with Guillermo, Alex and Tarun (https://zeroknowledge.fm/206-2/) Episode 271: Between Two ZK Events with Nico and Guillermo (https://zeroknowledge.fm/271-2/) Episode 282: Error Correcting Codes & Information Theory with Ron Rothblum (https://zeroknowledge.fm/282-2/) Episode 293: Exploring Security of ZK Systems with Nethermind’s Michał & Albert (https://zeroknowledge.fm/293-2/) ZK Hack Discord (https://discord.gg/ghsKvMfP) ZK Whiteboard Sessions (https://zkhack.dev/whiteboard/) Applications are now open to attend zkHack Istanbul - Nov 10-12! Apply here: https://www.zkistanbul.com/ (https://www.zkistanbul.com/) Aleo (http://aleo.org/) is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup. As Aleo is gearing up for their mainnet launch in Q4, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at aleo.org (http://aleo.org/) If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (https://zeroknowledge.fm/)

On this week’s episode, Anna Rose (https://twitter.com/annarrose) interviews Michał Zając (https://twitter.com/mpfzajac) and Albert Garreta (https://twitter.com/0xAlbertG) from the Nethermind (https://nethermind.io/) team. They discuss the origin story of Nethermind and its role in the ecosystem today. They also delve into the cryptography research being done at Nethermind, including their work on proving the security of FRI-based protocols, identifying security issues with Fiat-Shamir, exploring topics like ZK malleability and aggregation, and building SNARKs over rings. Here’s some additional links for this episode: Fiat-Shamir Security of FRI and Related SNARKs by Block, Garreta, Katz, Thaler, Tiwari and Zając (https://eprint.iacr.org/2023/1071.pdf) On Soundness Notions for Interactive Oracle Proofs by Block, Garreta, Tiwari and Zając (https://eprint.iacr.org/2023/1256.pdf) NIZKs with an Untrusted CRS: Security in the Face of Parameter Subversion by Bellare, Fuchsbauer and Scafuro (https://link.springer.com/chapter/10.1007/978-3-662-53890-6_26) Mathematical Problems By Professor David Hilbert (http://aleph0.clarku.edu/~djoyce/hilbert/problems.html) A summary on the FRI low degree test by Ulrich Haböck (https://eprint.iacr.org/2022/1216.pdf) DEEP-FRI: Sampling Outside the Box Improves Soundness by Ben-Sasson, Goldberg, Kopparty, and Saraf (https://eprint.iacr.org/2019/336) Fiat-Shamir Transformation of Multi-Round Interactive Proofs by Attema, Fehr and Klooss (https://eprint.iacr.org/2021/1377.pdf) Other Nethermind Projects; Lido: A proposal for partnering with Nethermind to design a mechanism for a good validator set maintenance. Phase II. (https://research.lido.fi/t/a-proposal-for-partnering-with-nethermind-to-design-a-mechanism-for-good-validator-set-maintenance-phase-2/3668/23) Looking Forward: Obol V2 (https://blog.obol.tech/looking-forward-obol-v2/) Applications are now open to attend zkHack Istanbul - Nov 10-12! Apply here: https://www.zkistanbul.com/ (https://www.zkistanbul.com/) /////Polygon CDK (https://wiki.polygon.technology/docs/cdk/) is the go-to open source chain development kit for building and launching your own ZK-powered Ethereum L2. Using Polygon CDK, build chains precisely to your specs, from level of decentralization to throughput to cost. It’s the raw material of Polygon 2.0, an ecosystem of interconnected chains that create a value layer for the internet. Check out wiki.polygon.technology/docs/cdk (https://wiki.polygon.technology/docs/cdk/) to start experimenting with your own ZK powered L2 today. If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (https://zeroknowledge.fm/)

In this special live episode, recorded at zkSummit10, host Anna Rose (https://twitter.com/annarrose) chats with regular co-hosts Tarun Chitra (https://twitter.com/tarunchitra), Guillermo Angeris (https://twitter.com/GuilleAngeris) and Nico Mohnblatt (https://twitter.com/nico_mnbl) about the state of ZK today. They cover how the term ‘ZK’ has evolved, market trends that are relevant to the ZK community today and ZK ‘crossovers’ like ZKML or ZKFHE and their current status in the industry. They also discuss how the ZK space could grow in the future and share their predictions. Much of the conversation is fuelled by some great questions and comments from the live zk10 audience. This is the first episode recorded live from a ZK Podcast event, so if you have any feedback, pls tweet us @zeroknowledgefm! Here’s some additional links for this episode: Episode 90: MPC systems with Nigel Smart (https://zeroknowledge.fm/90-2/) Episode 173: Building Private AMMs with Guillermo Angeris (https://zeroknowledge.fm/173-2/) (Guillermo’s first episode!) Episode 269: Auctions with Kshitij Kulkarni, Matheus V. X. Ferreira and Tarun (https://zeroknowledge.fm/269-2/) Episode 270: FHE and ZKPs with Sunscreen’s Ravital Solomon (https://zeroknowledge.fm/270-2/) 17 misconceptions about SNARKs (and why they hold us back) by Justin Thaler (https://a16zcrypto.com/posts/article/17-misconceptions-about-snarks/) Applications are now open to attend zkHack Istanbul - Nov 10-12! Apply here: https://www.zkistanbul.com/ (https://www.zkistanbul.com/) Aleo (http://aleo.org/) is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup. As Aleo is gearing up for their mainnet launch in Q4, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at aleo.org (http://aleo.org/) If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (https://zeroknowledge.fm/)

ZK Summit happened on Sept 20th check out the video -> https://www.youtube.com/@zeroknowledgefm Check the ZK Jobs Board -> https://jobsboard.zeroknowledge.fm/ ZK Hack Istanbul -> https://www.zkistanbul.com/

On this week’s episode, Anna Rose (https://twitter.com/annarrose) and Tarun Chitra (https://twitter.com/tarunchitra) chat with Mallesh Pai (https://twitter.com/malleshpai), Associate Professor of Economics at Rice University (https://profiles.rice.edu/faculty/mallesh-pai). They explore mechanism design in an economic context and Mallesh’s work around MEV topics - specifically on censorship in an MEV context and within his Special Mechanism Group (https://twitter.com/specialmech/status/1674482046826328065?s=20). The discussion takes the team back into the topic of MEV, revisiting the proposer builder separation concept and the impact that this may have on the efficiency and censorship resistance of these systems. Here’s some additional links for this episode: Episode 183: CowSwap & DAO Tech with Gnosis’s Martin Köppelmann (https://zeroknowledge.fm/183-2/) Episode 216: A Dip into the Mempool & MEV with Project Blanc (https://zeroknowledge.fm/216-2/) Episode 243: Dive Back into MEV with Alex Stokes and Chris Hager (https://zeroknowledge.fm/243-2/) Episode 249: Impact of Tornado Cash: a Builders Perspective (https://zeroknowledge.fm/249-2/) Episode 269: Auctions with Kshitij Kulkarni, Matheus V. X. Ferreira and Tarun (https://zeroknowledge.fm/269-2/) Vitalik’s Blog Post (https://blog.ethereum.org/2015/06/06/the-problem-of-censorship) Special Mechanism Group’s Thread on Censoring Eth (https://twitter.com/specialmech/status/1674482046826328065?s=20) Block relating to Thread (https://etherscan.io/block/17586529) Special Mechanism Group’s Research Papers (with explainers) (https://www.mechanism.org/#spec-series) zkSummit 10 is happening in London on September 20, 2023! Apply to attend now -> zkSummit 10 Application Form (https://9lcje6jbgv1.typeform.com/zkSummit10). Bonsai, RISC Zero’s (https://r0.link/ZKpodcast) most anticipated product, allows developers to prove huge programs off-chain, roll them into one succinct proof, and verify anywhere with low amounts of gas. Visit https://r0.link/ZKpodcast (https://r0.link/ZKpodcast) to learn more and sign up today for the Bonsai waitlist. Anoma’s (https://anoma.net/) first fractal instance, Namada (https://namada.net/), is launching soon! The MASP circuit's latest update enables shielded set rewards directly in the shielded set, a novel feature that funds privacy as a public good. Follow Namada on twitter @namada (https://twitter.com/namada) for more information and join the community on Discord discord.gg/namada (https://discord.com/invite/namada). If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (https://zeroknowledge.fm/)

This week, Anna (https://twitter.com/annarrose) and Guillermo (https://twitter.com/GuilleAngeris) chat with David Wong (https://twitter.com/cryptodavidw), author of the Real-World Cryptography book (https://www.manning.com/books/real-world-cryptography?a_aid=Realworldcrypto&a_bid=ad500e09), and a cofounder [zksecurity.xyz]((https://www.zksecurity.xyz/) - an auditing firm focused on Zero Knowledge technology. They chat about what first got him interested in cryptography, his early work as a security consultant, his work on the Facebook crypto project and the Mina project, zksecurity.xyz, auditing techniques and their efficacy in a ZK context, what common bugs are found in ZK code, and much more. Here’s some additional links for this episode: Crypto is not cryptocurrency (https://cryptoisnotcryptocurrency.com/) NCC Group (https://www.nccgroup.com/) OCaml website (https://ocaml.org/) Real-World Cryptography book (https://www.manning.com/books/real-world-cryptography) Mina Protocol (https://minaprotocol.com/) 3pages.fr (https://www.3pages.fr/home/login/) The Frozen Heart vulnerability in PlonK | Trail of Bits Blog (https://blog.trailofbits.com/2022/04/18/the-frozen-heart-vulnerability-in-plonk/) ZK Podcast Episode 284: Using Formal Verification on ZK Systems with Jon Stephens (https://zeroknowledge.fm/284-2/) zkSecurity Website (https://www.zksecurity.xyz/) ZK Podcast Episode 257: Proof of Solvency with Kostas Chalkias - ZK Podcast (https://zeroknowledge.fm/257-2/) ZK Podcast Episode 210: The Road to STARKs and Miden with Bobbin Threadbare - ZK Podcast (https://zeroknowledge.fm/210-2/) ZK Podcast Episode 76: Sean Bowe on SNARKs, Trusted Setups & Elliptic Curve Cryptography - ZK Podcast (https://zeroknowledge.fm/76-2/) Check out the ZK Jobs Board (https://jobsboard.zeroknowledge.fm/) for new job opportunities in the run up to the zkSummit 10 (https://www.zksummit.com/)! Aleo (https://www.aleo.org/) is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup. For questions, join their Discord at aleo.org/discord (http://aleo.org/discord). If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (https://zeroknowledge.fm/)

This week, host Anna Rose (https://twitter.com/annarrose) chats with Finch (https://twitter.com/plaidfinch), Erwan (https://twitter.com/erwanor) and Jen (https://twitter.com/redshiftzero) from the Penumbra (https://twitter.com/penumbrazone) team. They share an update about Penumbra and discuss how this zk-powered project works under the hood. Specifically, how Penumbra harnesses ZK to offer new paradigms for staking, voting and trading. Here’s some additional links for this episode: Episode 247: Exploring Penumbra with Henry de Valence (https://zeroknowledge.fm/247-2/) Penumbra Storage (https://rustdoc.penumbra.zone/main/penumbra_storage/) Penumbra GitHub (https://github.com/penumbra-zone/penumbra) ZK8: How to build a private DEX - Henry de Valence - Penumbra (https://www.youtube.com/watch?v=-ap9ja36EYU) ZK8: Tiered Merkle Topiary in Rust – finch – Penumbra Labs (https://www.youtube.com/watch?v=mHoe7lQMcxU) Plaidfinch (Penumbra) - Interchain Private Trading with Penumbra (https://youtu.be/1-RKOR_k4IQ) Privacy in Cosmos Live: Finch (Penumbra)- Full-Stack Private Protocol Design (https://youtu.be/Z1G0KxuyM4k) A pure-Rust implementation of group operations on Ristretto and Curve25519 (https://doc.dalek.rs/curve25519_dalek/) curve25519-dalek Github (https://github.com/dalek-cryptography/curve25519-dalek) Replicating Market Makers by Angeris, Evans, Chitra (https://arxiv.org/abs/2103.14769) SecureDrop (https://securedrop.org/) Further reading; Penumbra’s DEX Arrives From The Future (https://penumbra.zone/blog/dex-arrives-from-the-future) How to See in the Dark: Navigating Penumbra (https://penumbra.zone/blog/how-to-see-in-the-dark) Private Governance on Penumbra (https://penumbra.zone/blog/governance) Bringing Zero-Knowledge Proofs to Penumbra (https://penumbra.zone/blog/zkproofs-intro) Introducing Poseidon377, our instantiation of a SNARK-friendly hash (https://penumbra.zone/blog/poseidon377) Testnet #4: Shielded Staking Is Here (https://penumbra.zone/blog/shielded-staking-is-here) zkSummit 10 is happening in London on September 20, 2023! Apply to attend now -> zkSummit 10 Application Form (https://9lcje6jbgv1.typeform.com/zkSummit10) Check out the ZK Jobs Board (https://jobsboard.zeroknowledge.fm/) Anoma’s (https://anoma.net/) first fractal instance, Namada (https://namada.net/), is launching soon! The MASP circuit's latest update enables shielded set rewards directly in the shielded set, a novel feature that funds privacy as a public good. Follow Namada on twitter @namada (https://twitter.com/namada) for more information and join the community on Discord discord.gg/namada (https://discord.com/invite/namada). If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (https://zeroknowledge.fm/)

In this week’s episode, Anna Rose (https://twitter.com/annarrose) and Kobi Gurkan (https://twitter.com/kobigurk) chat with Or Sattath (https://twitter.com/or_sattath), Assistant Professor at the Ben-Gurion (https://cris.bgu.ac.il/en/persons/or-sattath) University in the Computer Science department. They deep dive into Or’s work on Quantum Cryptography. They begin with definitions of Quantum Computing and Quantum Cryptography, covering what these will mean for existing cryptography. They also explore how new discoveries in this field can interact with existing Proof-of-work systems and how Quantum computers could affect the game theory of mining in the future. Here’s some additional links for this episode: On the insecurity of quantum Bitcoin mining by Sattath (https://arxiv.org/abs/1804.08118) Strategies for quantum races by Lee, Ray, and Santha (https://arxiv.org/abs/1809.03671) Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer by Shor (https://arxiv.org/abs/quant-ph/9508027) Shor’s Algorithm (https://quantum-computing.ibm.com/composer/docs/iqx/guide/shors-algorithm) Grover’s Algorithm (https://quantum-computing.ibm.com/composer/docs/iqx/guide/grovers-algorithm) A fast quantum mechanical algorithm for database search by Grover (https://arxiv.org/abs/quant-ph/9605043) Bell’s Theorem (https://plato.stanford.edu/entries/bell-theorem/) More in-depth resources recommended by Or Sattath: A recommended smbc-comics (https://www.smbc-comics.com/comic/the-talk-3) about the power of quantum computing, authored by Zack Weinersmith (the usual cartoonist) and Scott Aaronson (a quantum computing expert) For an in-depth introduction to quantum computing, I recommend Ronald de-Wolf's lecture notes (https://homepages.cwi.nl/~rdewolf/qcnotes.pdf) The Bitcoin backbone protocol with a single quantum miner, by Cojocaru et al (https://eprint.iacr.org/2019/1150) The fingerprint of quantum mining slightly below 16 minutes by Nerem-Gaur (https://arxiv.org/abs/2110.00878) Some estimates regarding timelines, which we didn't discuss, are available here (https://arxiv.org/abs/1710.10377) and here (https://qrc.btq.li/) The insecurity of quantum Bitcoin mining (https://arxiv.org/abs/1804.08118), and the need to change the tie-breaking rule. The work by Lee-Ray-Santh (https://arxiv.org/abs/1809.03671) that analyzes the equilibrium strategy for multiple quantum miners, as a simplified one-shot game. zkSummit 10 is happening in London on September 20, 2023! Apply to attend now -> zkSummit 10 Application Form (https://9lcje6jbgv1.typeform.com/zkSummit10). Polygon Labs (https://polygon.technology/) is thrilled to announce Polygon 2.0: The Value Layer for the Internet (https://polygon.technology/roadmap). Polygon 2.0 and all of our ZK tech is open-source and community-driven. Reach out to the Polygon community on Discord (https://discord.gg/0xpolygon) to learn more, contribute, or join in and build the future of Web3 together with Polygon! If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (https://zeroknowledge.fm/)

We are taking a pause on the show this week, but do be sure to get your application in for the upcoming Zero Knowledge Summit - zk10. Happening in London on Sept 20 - spots are limited! Apply here -> https://www.zksummit.com/

This week, Anna Rose (https://twitter.com/annarrose) chats with Stefan George (https://twitter.com/stefandgeorge) from Gnosis (https://twitter.com/GnosisDAO). They start with an update on the projects that have spun out of Gnosis - Safe, Zodiac, CoW Swap - as well as older experiments that the team had incubated. They then cover the evolution of Gnosis Chain from its origin as xDai, discuss the new aggregate bridge architecture Hashi and explore Gnosis Pay - an on-chain p2p payments product that fulfills some of the original motivations of Bitcoin. They discuss a range of relevant topics such as intents, prediction markets, account abstraction, ZK Bridges, decentralization and more. Here’s some additional links for this episode: Previous Podcast Eps * Episode 65: Bridges, xDai and Burner Wallets with Igor & Austin (https://zeroknowledge.fm/65-2/) * Episode 183: CowSwap & DAO Tech with Gnosis’s Martin Köppelmann (https://zeroknowledge.fm/183-2/) * Episode 255: Verifying Consensus On-Chain with Succinct (https://zeroknowledge.fm/255-2/) * Episode 285: Intents with Chris Goes from Anoma (https://zeroknowledge.fm/285-2/) Papers * Why sharding is great: demystifying the technical properties (https://vitalik.ca/general/2021/04/07/sharding.html) * Bitcoin: A Peer-to-Peer Electronic Cash System by Satoshi Nakamoto (https://www.ussc.gov/sites/default/files/pdf/training/annual-national-training-seminar/2018/Emerging_Tech_Bitcoin_Crypto.pdf) Websites * Gnosis Pay Website (https://gnosispay.com/) * DXdao Website (https://dxdao.eth.link/) * xDai Website (https://docs.gnosischain.com/about/tokens/xdai) * EigenLayer Website (https://www.eigenlayer.xyz/) zkSummit 10 is happening in London on September 20, 2023! Apply to attend now -> zkSummit 10 Application Form (https://9lcje6jbgv1.typeform.com/zkSummit10). Polygon Labs (https://polygon.technology/) is thrilled to announce Polygon 2.0: The Value Layer for the Internet (https://polygon.technology/roadmap). Polygon 2.0 and all of our ZK tech is open-source and community-driven. Reach out to the Polygon community on Discord (https://discord.gg/0xpolygon) to learn more, contribute, or join in and build the future of Web3 together with Polygon! Bonsai, RISC Zero’s (https://r0.link/ZKpodcast) most anticipated product, allows developers to prove huge programs off-chain, roll them into one succinct proof, and verify anywhere with low amounts of gas. Visit https://r0.link/ZKpodcast (https://r0.link/ZKpodcast) to learn more and sign up today for the Bonsai waitlist. If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (https://zeroknowledge.fm/)

This week, host Anna Rose (https://twitter.com/annarrose) and guests Uma Roy (https://twitter.com/pumatheuma), Zaki Manian (https://twitter.com/zmanian) and Tarun Chitra (https://twitter.com/tarunchitra) recap all things EthCC Paris (https://www.ethcc.io/). This impromptu chat takes a look back at the topics, talks, parties and goings-on of the Paris week and what really caught their attention. Expect some spicy takes, offtopic rambles, inside scoops and more. Here’s some additional links for this episode: EthCC Links EthCC Website (https://www.ethcc.io/) EthCC Side Events (https://www.ethccweek.fr/events/) EthCC Mary Maller - How can we use Zero-Knowledge Proofs in Ethereum? (https://www.youtube.com/watch?v=CsNoMKSh2e8&pp=ygUQZXRoY2MgcGFyaXMgMjAyMw%3D%3D) EthCC Vitalik Buterin - a history of account abstraction (https://www.youtube.com/watch?v=iLf8qpOmxQc) EthCC6 After Movie (https://www.youtube.com/watch?v=9_p4tVaZ85k&pp=ygUQZXRoY2MgcGFyaXMgMjAyMw%3D%3D) EthCC6 Main Playlist (https://www.youtube.com/watch?v=_PbF5FvHb1E&list=PLM-Xjhvin-uURP4lmYyP0iys2mxq-rCKU) Modular Summit Talks Modular Summit (https://modularsummit.dev/) Modular Summit Day 1 - Fourier Stage (https://www.youtube.com/watch?v=nNGVz-FRjKY&pp=ygUZbW9kdWxhciBibG9ja2NoYWluIHN1bW1pdA%3D%3D) Modular Summit Day 2 - Fourier Stage (https://www.youtube.com/watch?v=iSaN8poAmr4) Modular Summit Day 1 - Galois Stage (https://www.youtube.com/watch?v=lHyQKCVQTPo) Modular Summit Day 2 - Galois Stage (https://www.youtube.com/watch?v=WYH7n4M016A) Other Talks and Links Episode 285: Intents with Chris Goes from Anoma (https://zeroknowledge.fm/285-2/) Gnosis Pay (https://gnosispay.com/) DeFi Security Summit (https://defisecuritysummit.org/) ZK Paris ZK Validator Geometry Tweet (https://twitter.com/__geometry__/status/1674094444486983681) Research Day 2023 Playlist (https://www.youtube.com/playlist?list=PLrTmn1_Dm_UpwHsAAyn3L0f2OZUA02YjC) Intent-Based Architectures and Their Risks by Georgios Konstantopoulos (https://www.paradigm.xyz/2023/06/intents) Ethereum DeFi Protocol Beanstalk Hacked for $182 Million—What You Need to Know (https://decrypt.co/98118/ethereum-defi-protocol-beanstalk-hacked-182-million-what-you-need-know) Another $103M Disappears From Multichain in Potential ‘Rug Pull’ (https://decrypt.co/148133/multichain-anyswap-rug-pull-hack-103-million-chainalysis) zkSummit 10 is happening in London on September 20, 2023! Apply to attend now -> zkSummit 10 Application Form (https://9lcje6jbgv1.typeform.com/zkSummit10). Speaker applications close this Friday! Polygon Labs (https://polygon.technology/) is thrilled to announce Polygon 2.0: The Value Layer for the Internet (https://polygon.technology/roadmap). Polygon 2.0 and all of our ZK tech is open-source and community-driven. Reach out to the Polygon community on Discord (https://discord.gg/0xpolygon) to learn more, contribute, or join in and build the future of Web3 together with Polygon! Aleo (https://www.aleo.org/) is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup. For questions, join their Discord at aleo.org/discord (http://aleo.org/discord). If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (https://zeroknowledge.fm/)