Zero Knowledge

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

In this week’s episode, Anna catches up with Anna Caroll and James Prestwich from Nomad. Together they explore the Nomad optimistic interoperability solution, how it first was developed, what lessons it takes from previous attempts at interoperability and cross-chain bridging, how the system works and more.Here are some links for this episode:Ep 118: Tarun and James talk Flash Loans & more | ZK PodcastEp 34: Blockchain 101: What are smart contracts? | ZK PodcastThe Balance Wheel | prestwi.chThe Interoperability Trilemma | medium.comOptimistic Bridges | blog.connext.networkConnext Has Partnered With Nomad | blog.connext.networkNomad | Home@nomad-xyz | Github@prestwich | GithubIf you are looking to jump into ZK professionally, check out the ZK Jobs Board.ZKValidator is looking for a Junior Researcher who is interested in exploring and writing about emerging fields of cryptography like ZKPs, Proof-of-Stake, Bridges, Rollups, MEV, and other cutting edge meta blockchain topics. Check out the ad here.Today’s episode is sponsored by Polygon Hermez. The Polygon Hermez zk-rollup is a layer 2 built on top of Ethereum that solves scalability issues through mass transfer processing rolled into a single transaction. ZKPs are used to present and publicly record the validity and correctness of the rolled transfers processed on the Ethereum blockchain. By storing just the proof and the compressed data of a batch of transfers, the efficiency and the throughput of the network is multiplied.Visit polygon.technology to learn more about Polygon Hermez and other Polygon solutions. If you like what we do: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 dives back into the Polkadot world with friend and occasional co-host Rob Habermeier from Parity. They cover XCM - the Cross-Consensus Messaging format - and how XCM allows parachains to speak to one another, passing messages through the validators on the relay chain via XCMP Cross-Chain Message Passing. Here are some links for this episode:@paritytech | Github@Polkadot | Twitter@rphmeier | Twitter@paritytech/polkadot | GithubEp 83: From Warp Sync to SPREE with Polkadot's Rob Habermeier | ZK PodcastEp 15: Chatting about consensus algorithms with Robert Habermeier | ZK Podcast@paritytech/xcm-format | GithubKusama, Polkadot's Canary Network | kusama.networkSub0 Online: Getting Started with XCM - Your First Cross Chain MessagesPallets | docs.substrate.ioSubstrate.ioStatemine | parachains.infoPolkadot Bridges Connecting The Polkadot Ecosystem With External Networks | polkadot.networkLearn Spree | wiki.polkadot.networkCloaking Device | memory-alpha.fandom.comIf you are looking to jump into ZK professionally, check out the ZK Jobs Board to find openings 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 BoardZKValidator is looking for a Junior Researcher who is interested in exploring and writing about Zero Knowledge and other emerging fields of cryptography, Proof-of-Stake, Bridges, Rollups, MEV, and other cutting edge meta blockchain topics. If this sounds like you, check out the add here and get in touch!Today’s episode is sponsored by Polygon Miden. Polygon Miden is layer 2 scaling solution for Ethereum. Miden relies on ZK-STARKs to roll-up thousands of layer 2 transactions into a single Ethereum transaction, increasing throughput and reducing fees. At the heart of Polygon Miden is Miden VM, a Turing-complete STARK-based virtual machine which provides a level of safety and support of advanced features currently not available on Ethereum.Visit polygon.technology to learn more about Polygon Miden and other Polygon solutions. If you like what we do: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 catches up with Tarun, Guillermo and Brendan at DevConnect Amsterdam to cover a range of interesting and random topics like how blockchain and AI thinking differs, where it could intersect and how ZK tech could be implemented, how science could benefit from more adversarial testing, why peer review is broken, math theory, takeaways from DevConnect and more! Here are some links for this episode:DevConnet AMS 2022zkSummit 7 in AmsterdamzkSummit 7 Talk Videos | YouTube PlaylistEinstein Notation | WikipediaWordcels vs. Shape Rotators, ExplainedDiplomacy gameP-Value ExplainedTopologyWhat is measure theory?ZK Validator is hiring!ZKValidator is looking for a Junior Researcher who is interested in exploring and writing about Zero Knowledge and other emerging fields of cryptography, Proof-of-Stake, Bridges, Rollups, MEV, and other cutting edge meta blockchain topics. If this sounds like you, check out the add here and get in touch:https://jobsboard.zeroknowledge.fm/job/144/junior-blockchain-researcher/Today’s episode is sponsored by Zcash Community Grants. Zcash Community Grants is a grants program within the Zcash ecosystem that funds projects that advance the usability, security, privacy, and adoption of Zcash. Their primary areas of focus include wallets, core and security, interoperability, Zcash apps, ongoing services, education, ecosystem, and community. Previously awarded grants have ranged in size and scope - from a $3,000 grant to a $1.2M dollar grant. To apply for a Zcash Community Grant and contribute towards the development of the Zcash protocol, visit the Zcash Grants Hub at zcashgrants.org.If you like what we do: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 Sam Blackshear, co-founder and CTO at Mysten Labs. Sam has a background in programming language research and is one of the authors of the Move language, a language that can be used to implement custom transactions and smart contracts. They chat about Mysten’s concept of programmable objects and what properties are necessary to make this functional for a blockchain context. They also cover Sui, a smart contracts platform which is a generalized L1 with a new asset centric data model for parallel transaction commits being developed by Mysten, what's next in the roadmap and some of the collaborations to come. Here are some links for this episode:Mysten Labs WebsiteTwitter @mysten_labsSam on Twitter @b1ackd0gMove LanguageMove WhitepaperSui WhitepaperGithub @MystenLabstwitter @dahlia_malkhiSkylark: Go configuration languageSui docs pageSui GitHubSui DiscordMove GitHubMove community pageMove DiscordIf you are looking to jump into ZK professionally, check out the ZK Jobs Board to find openings 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 Miden. Polygon Miden is layer 2 scaling solution for Ethereum. Miden relies on zk-STARKs to roll-up thousands of layer 2 transactions into a single Ethereum transaction, increasing throughput and reducing fees. At the heart of Polygon Miden is Miden VM, a Turing-complete STARK-based virtual machine which provides a level of safety and support of advanced features currently not available on Ethereum.Visit polygon.technology to learn more about Polygon Miden and other Polygon solutions. If you like what we do: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

This week, Anna catches up with Sergey Gorbunov from Axelar and revisits the topic of bridges. They chat about what led Sergey to work on interoperability, the problems these solutions try to solve, how it compares to existing solutions, and what's next for the project. They also chat about some of the challenges of a multi bridge landscape and the fragmentation of liquidity.Links for the episode:Episode 223: Connecting Cosmos and Ethereum with Gravity BridgeAxelar Network Github @axelarnetworkAxelar WhitepaperIBC OverviewInteroperability and Market Segmentation by Steve McKeonIf 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 Zero. Polygon Zero is a layer 2 scaling solution for Ethereum, powered by Plonky2. A groundbreaking prover system, which generates zk proofs faster than any other existing tech. Plonky2 supports efficient recursive proof generation allowing Polygon Zero to scale horizontally – meaning the throughput of the protocol is limited not by the weakest nodes on the network, but only by the total compute available.Visit polygon.technology to learn more.If you like what we do: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

This week, Anna catches up with Gubsheep from 0xPARC. They chat about Dark Forest – a decentralized zk-based RTS game, built on Ethereum. They cover how it has evolved in the past 2 years and what’s upcoming in the Dark Forest’s community, governance and experiments. They recap the recent Gitcoin GR13 ZK Tech side round, review some moonshot ideas for ZK projects of the future and discuss potential avenues of funding in the ZK space. Lastly, they dive deeper into the 0xPARC ecosystem by exploring the public goods and research projects 0xPARC has in the works from their support of application level R&D on decentralized systems to experimental applications of ZK for end-user facing apps.Here are some links for this episode:Ep141 - ZK & Games: Dark Forest w Brian GuEp221 - Funding the next wave of ZK Tech0xPARC.org websitelearn.0xparc.orgGR13 #zkTech side roundEthereum UniversityDark Forest gameGubsheep’s 6 ZK Moonshot ideaszkMessage BoardEcne Project GrantCircom Project GrantZK Data MarketplaceZK-MNIST ClassifierIf 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 jobsboard.zeroknowledge.fmToday’s episode is sponsored by Polygon.Polygon is the go-to Ethereum scaling platform for developers - it is arguably the most adopted scaling protocol with more than 130+ mn unique user wallets. In simple terms, Polygon is scaling Ethereum. Polygon's projects now include a number of fully secured EVM-compatible Zero Knowledge rollup solutions like Polygon Hermez, Polygon Miden, and Polygon Nightfall and the most recently announced acquisition of Mir Protocol, now known as Polygon Zero. Visit polygon.technology to learn about their solutions.If you like what we do: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