Zero Knowledge

This week, Anna (https://twitter.com/annarrose) and Tarun (https://twitter.com/tarunchitra) chat with Niraj Pant (https://twitter.com/niraj) and Anish Agnihotri (https://twitter.com/_anishagnihotri) from Ritual (https://ritual.net/). They kick off by revisiting the AIxCrypto intersection before diving into the Ritual product and its goals around developing open access AI infrastructure. They explore the opportunities that open up when you bring ML to smart contracts. Here?s some additional links for this episode: Episode 216: A Dip into the Mempool & MEV with Project Blanc (https://zeroknowledge.fm/216-2/) Episode 246: Adversarial Machine Learning Research with Florian Tramèr (https://zeroknowledge.fm/246-2/) Episode 314: Succinct?s Platform, Prover Network and SP1 (https://zeroknowledge.fm/314-2/) FrenRug Website (https://www.frenrug.com/) Mistral 7B by Jiang, Sablayrolles, Mensch, Bamford, Chaplot, De Las Casas, Bressand, Lengyel, Lample, Saulnier, Lavaud, Lachaux, Stock, Le Scao, Lavril, Wang, Lacroix, El Sayed (https://arxiv.org/pdf/2310.06825.pdf) docs.ritual.net (https://docs.ritual.net/) Infernet by Ritual (https://docs.ritual.net/infernet/about) ML Quickstart Guide by Ritual (https://docs.ritual.net/ml-quickstart) Web3 Quickstart Guide by Ritual (https://docs.ritual.net/web3-quickstart) zkSummit11 happens in 2 weeks, if you haven?t got your tickets yet head over to the zkSummit website (https://www.zksummit.com/) to apply now. The event will be held on 10 April in Athens, Greece. Check out the ZK Jobs Board (https://jobsboard.zeroknowledge.fm/) 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. Dive deeper and discover more about Aleo at http://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/)

Quick reminder about our upcoming zkSummit 11 event. Happening in Athens on April 10th, we will be bringing together the top researchers and engineers working in zk to share their latest research and new findings. Apply at zksummit.com (https://www.zksummit.com/) If you have already applied, please remember to buy your ticket! Email summit [at] zeroknowledge.fm if you have questions about your application or haven't received a response yet.

In this week?s episode, Anna (https://twitter.com/annarrose) and Nico (https://twitter.com/nico_mnbl) chat with Alin Tomescu (https://twitter.com/alinush), founding team member and Head of Cryptography at Aptos Labs (https://twitter.com/AptosLabs). They discuss Alin?s journey to Aptos and his work on distributed on-chain randomness as well as the new Aptos Keyless project. They cover the Keyless accounts architecture, how the flow works for the user and some of the subtleties in the approach they have taken. Here?s some additional links for this episode: Episode 302: ZK for web2 interop with zkLogin & ZK Email (https://zeroknowledge.fm/302-2/) Episode 156: Stateless Validation with Alin Tomescu (https://zeroknowledge.fm/156-2/) Episode 227: Move & Sui with Sam Blackshear from Mysten Labs (https://zeroknowledge.fm/228-2/) Aptos Developer Documentation (https://aptos.dev/) OpenPubkey: Augmenting OpenID Connect with User held Signing Keys by Heilman, Mugnier, Filippidis, Goldberg, Lipman, Marcus, Milano, Premkumar and Unrein (https://eprint.iacr.org/2023/296.pdf) Aptos Keyless Accounts slides (https://docs.google.com/presentation/d/1PY8gF0r5RuF6B4SXXQnGQ6w2Oa0vXHi4FSZ91lyNShA) Aptos Improvement Proposal (AIP) on Keyless Accounts (https://github.com/aptos-foundation/AIPs/blob/main/aips/aip-61.md) Aptos Randomness API in Move slides (https://docs.google.com/presentation/d/1RlbQI65oWH76-Op3ddEoRHgW54G_uhx2QdMC3JzTAa4/edit#slide=id.p) Aptos Randomness API in Move slides presented by Alin Tomescu (https://www.youtube.com/watch?v=CGu05ALsSpE) Aptos Improvement Proposal (AIP) on the Move Randomness APIs (https://github.com/aptos-foundation/AIPs/blob/main/aips/aip-41.md) Check out the ZK Jobs Board (https://jobsboard.zeroknowledge.fm/) Applications to attend zkSummit11 are now open, head over to the zkSummit website (https://www.zksummit.com/) to apply now. The event will be held on 10 April in Athens, Greece. 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?s episode is a little different from the usual and is split into two parts with Anna (https://twitter.com/annarrose) and Kobi (https://twitter.com/kobigurk) exploring the history of ZK Hack, its origins and how the event has evolved into what it is today, including current activity in the ZK Hack ecosystem. The second half of the show splits off into Anna and Nico (https://twitter.com/nico_mnbl) chatting the top 3 hackers from ZK Hack IV Online, which wrapped back in February. Each mini interview catches up with one of the winners and dives into what it was like to hack on the puzzles, which their favourites were and how they can be improved in the future. Here?s some additional links for this episode: ZK Jobs Board (https://jobsboard.zeroknowledge.fm/) ZK Hack Website (https://zkhack.dev/) Episode 211: It?s a wrap! ZK Hack Takeaways & What?s Next! (https://zeroknowledge.fm/211-2/) ZK HACK IV - Overview & Workshop Introductions: map featured at 1m28s (https://www.youtube.com/watch?v=ttKs4esfTM0) ZK Hack Discord (https://discord.com/invite/5FQymwzAnf) ZK Hack Whiteboard Sessions (https://zkhack.dev/whiteboard/) Proofs, Arguments, and Zero-Knowledge by Justin Thaler (https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf) ZK Hack Whiteboard Session 1 - What is a SNARK? with Dan Boneh (https://zkhack.dev/whiteboard/module-one/) ZK Hack Whiteboard Session 2 - Building a SNARK (Part I) with Dan Boneh (https://zkhack.dev/whiteboard/module-two/) ZK Hack Whiteboard Session 3 - Building a SNARK (Part II) with Dan Boneh (https://zkhack.dev/whiteboard/module-three) Groth16 Malleability by Geometry (https://geometry.xyz/notebook/groth16-malleability) Episode 309: ZK Jargon Decoder with Nico Mohnblatt (https://zeroknowledge.fm/309-2/) Zellic Wins Second Place in ZK Hack IV Blog (https://www.zellic.io/blog/zellic-wins-second-place-in-zkhack-iv/) SSTIC (https://www.sstic.org/2024/news/) Techiepriyansh GitHub (https://techiepriyansh.github.io/) Sampritipanda GitHub (https://github.com/sampritipanda) Niooss-ledger GitHub (https://github.com/niooss-ledger) Applications to attend zkSummit11 are now open, head over to the zkSummit website (https://www.zksummit.com/) to apply now. The event will be held on 10 April in Athens, Greece. 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. This is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://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 Tarun (https://twitter.com/tarunchitra) catch up with Uma Roy (https://twitter.com/pumatheuma), CEO and cofounder of Succinct (https://succinct.xyz/). They dive into Succinct?s developments over the last year ranging from the work they did on the ZK bridge infrastructure to the Succinct platform, the Succinct prover network and their most recent release of SP1. They discuss connections between these products, how their development evolved, the competitive landscape, the future for the project and much more. Here?s some additional links for this episode: Introducing Blobstream by Celestia (https://blog.celestia.org/introducing-blobstream/) Succinct Labs SP1 GitHub (https://succinctlabs.github.io/sp1/) ZK Jobs Board (https://jobsboard.zeroknowledge.fm/) Episode 255: Verifying Consensus On-Chain with Succinct (https://zeroknowledge.fm/255-2/) Episode 286: Paris 2023 Recap with Uma, Zaki and Tarun (https://zeroknowledge.fm/286-2/) Alpha Succinct (alpha.succinct.xyz) Hugging Face AI (https://huggingface.co/) Episode 296: Zeth, Bonsai and RISC Zero with Brian and Jeremy (https://zeroknowledge.fm/296-2/) Episode 251: Exploring RISC Zero with Brian Retford and Jeremy Bruestle (https://zeroknowledge.fm/251-2/) Understanding Lasso and Jolt, from theory to code by Ragsdale, Zhu and Thaler (https://a16zcrypto.com/posts/article/building-on-lasso-and-jolt/) Applications to attend zkSummit11 are now open, head over to the zkSummit website (https://www.zksummit.com/) to apply now. The event will be held on 10 April in Athens, Greece. 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 (https://twitter.com/annarrose) chats with Omer Shlomovits (https://twitter.com/OmerShlomovits) and Yuval Domb (https://twitter.com/yuval_domb) from Ingonyama (https://www.ingonyama.com/). They go back to the start of the project, exploring Ingonyama?s initial vision for what ZK Hardware could be, how the field has evolved and how they are accelerating ZK Hardware today. The group discuss hardware product cycles, the hardware and algorithmic components, how a ZK ASIC is developed, they review some of the latest research from Ingonyama and more. Here?s some additional links for this episode: Episode 158: Threshold Cryptography with Omer Shlomovits from ZenGo (https://zeroknowledge.fm/158-2/) Episode 258: Ultrasound Money & VRFs with Justin Drake (https://zeroknowledge.fm/258-2/) The first ever SNARK proving ASIC tweet by drakefjustin (https://twitter.com/drakefjustin/status/1755929540700807211) Episode 266: ZK Hardware Sessions with Zprize Pt. 1 (https://zeroknowledge.fm/266-2/) Episode 267: ZK Hardware Sessions with Zprize Pt. 2 (https://zeroknowledge.fm/267-2/) ZK10: ZPU: The Zero-Knowledge Processing Unit - Yuval Domb (https://www.youtube.com/watch?v=3Q5IpXyqaDw) Supranational Website (https://www.supranational.net/) Accseal Twitter (https://twitter.com/Accseal) Episode 311: The Launch of Celestia and Beyond (https://zeroknowledge.fm/311-2/) Episode 308: Avail?s Approach to DA with Prabal Banerjee (https://zeroknowledge.fm/308-2/) Episode 301: EigenLayer @ Devconnect (https://zeroknowledge.fm/301-2/) ICICLE GitHub by Igonyama (https://github.com/ingonyama-zk/icicle) Lazzo + Jolt by a16z (https://a16zcrypto.com/posts/tags/lasso-jolt/) HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates by Chen, Bünz, Boneh and Zhang E (https://eprint.iacr.org/2022/1355.pdf) The Sum-Check Protocol over Fields of Small Characteristic by Thaler (https://people.cs.georgetown.edu/jthaler/small-sumcheck.pdf) Episode 303: A Dive into Binius with Ulvetanna (https://zeroknowledge.fm/303-2/) Sumcheck 201 Paper by Ingonyama (https://github.com/ingonyama-zk/papers/blob/main/sumcheck_201_chapter_1.pdf) Applications to attend zkSummit11 are now open, head over to the zkSummit website (https://www.zksummit.com/) to apply now. The event will be held on 10 April in Athens, Greece. 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. This is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://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 Tarun (https://twitter.com/tarunchitra) interview Brian Weickmann (https://twitter.com/Bmwball56) & Richard Liang (https://twitter.com/richardzliang) from the ZKP2P (https://zkp2p.xyz/) project. They cover the opportunities and challenges of building ZK applications with the current tools available, as well as revisit the topic of ZK Email and explore how this lies at the heart of the current version of ZKP2P. They also discuss the goals of ZKP2P, what?s happening under the hood, the types of experiments and initiatives the project is running, how a user can already use the existing product and the opportunities systems like ZKP2P open up. Here?s some additional links for this episode: ZKP2P (https://zkp2p.xyz/) zkSummit11 (https://www.zksummit.com/) Axiom?s Halo2 library (https://github.com/axiom-crypto/halo2-lib) Episode 302: ZK for web2 interop with zkLogin & ZK Email (https://zeroknowledge.fm/302-2/) ZK Email (https://prove.email/) 0xPARC (https://0xparc.org/) 0xPARC Videos - Introduction to Circom (https://learn.0xparc.org/materials/circom/learning-group-1/circom-1/) ZKP2P - FAQ on UPI (https://docs.zkp2p.xyz/zkp2p/user-guides/faq/faq-upi) India: the frontier of payments innovation (https://www.citigroup.com/global/insights/treasury-and-trade-solutions/citi-guide-to-the-future-india-) ZK Hack Whiteboard Sessions (https://zkhack.dev/whiteboard/) Fibonacci Sequence (https://www.techtarget.com/whatis/definition/Fibonacci-sequence) ZK Regex Website (https://zkregex.com/) Gnosis Pay (https://gnosispay.com/) TLSNotary (https://tlsnotary.org/) Plaid (https://plaid.com/en-gb/cryptocurrency-solutions/) Applications to attend zkSummit11 are now open, head over to the zkSummit website (https://www.zksummit.com/) to apply now. The event will be held on 10 April in Athens, Greece. 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 (https://twitter.com/annarrose) and Guillermo (https://twitter.com/GuilleAngeris) chat with Yaz Khoury (https://twitter.com/Yazanator) and Ismail Khoffi (https://twitter.com/KreuzUQuer) from Celestia (https://twitter.com/celestiaorg). They share how the team prepared for the launch of the Celestia mainnet and what has been happening at Celestia since. They revisit the topic of DA (Data Availability) and explore how rollups and dApp developers can already use the Celestia DA layer. The group discusses Blobstream, which brings the benefits of Celestia to Ethereum and helps to scale the network, as well as community building, the modular thesis and much more. Here?s some additional links for this episode: Episode 151: John Adler on Optimistic vs ZK Rollup and the data availability problem (https://zeroknowledge.fm/151-2/) Episode 208: Digging into Data Availability with Ismail Khoffi from Celestia (https://zeroknowledge.fm/208-2/) Episode 268: A Rollup-Centric Future & Sovereign Chains with Mustafa Al-Bassam (https://zeroknowledge.fm/268-2/) Ismail Khoffi of Celestia (Sovereign Radio) (https://www.youtube.com/watch?v=R5nAI-jXAgk&list=PLdI4HWwFLH1dtT31R8snlR5omQg81L_hO&index=4) Celestia Improvement Proposal GitHub (https://github.com/celestiaorg/CIPs/blob/main/cips/cip-1.md) Introducing the Celestia Improvement Proposal Process (https://blog.celestia.org/introducing-the-celestia-improvement-proposal-process/) Introduction to Arbitrum rollups with Celestia as DA (https://docs.celestia.org/developers/arbitrum-integration) Introducing Blobstream: streaming modular DA to Ethereum (https://blog.celestia.org/introducing-blobstream/) Raspberry Pi Foundation (https://www.raspberrypi.org/) Succinct Network (https://succinct.xyz/) Episode 308: Avail?s Approach to DA with Prabal Banerjee (https://zeroknowledge.fm/308-2/) Episode 217: Information Theory & Blockchain with Sreeram Kannan (https://zeroknowledge.fm/217-2/) Cosmos Hub (https://hub.cosmos.network/) Modular Summit Website (https://modularsummit.dev/) Applications to attend zkSummit11 are now open, head over to the zkSummit website (https://www.zksummit.com/) to apply now. The event will be held on 10 April in Athens, Greece. 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 Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://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 Tarun (https://twitter.com/tarunchitra) chat with Noam Nisan (https://twitter.com/noamnisan), Professor at the Hebrew University of Jerusalem (https://www.cs.huji.ac.il/~noam/), Principle Researcher at StarkWare Industries (https://starkware.co) and one of the pioneers in the field of Algorithmic Game Theory. They cover his extensive research and academic background, starting with his work on complexity theory as well as Algorithmic Game Theory and his current work on blockchains and Tokenomics at StarkWare. They discuss his recent blog post; Simple Tokenomics for a Proof-of-Stake Utility Token (https://starkware.co/resource/simple-tokenomics-for-a-proof-of-stake-utility-token/), comparing the measurable Tokenomic outcomes of different live PoS systems and explore how Noam aimed to better communicate best practices for those designing these systems, plus much more. Here?s some additional links for this episode: Simple Tokenomics for a Proof-of-Stake Utility Token by Noam Nisan (https://starkware.co/resource/simple-tokenomics-for-a-proof-of-stake-utility-token/) Algorithmic Game Theory by Nisan, Roughgarden, Tardos and Vasirani (https://www.cs.cmu.edu/~sandholm/cs15-892F13/algorithmic-game-theory.pdf) The Elements of Computing Systems by Nisan and Schocken (https://mitpress.mit.edu/9780262539807/the-elements-of-computing-systems/) Game Theory, Alive by Karlin and Peres (https://yuvalperes.com/game-theory-alive/) Algorithmic VS Mechanism Design (https://mbraverm.princeton.edu/research/mech-design/#:~:text=Algorithmic%20mechanism%20design%20specifically%20studies,study%20algorithmic%20mechanism%20design%20now) The Federmann Center for the Study of Rationality at the Hebrew University of Jerusalem (https://ratio.huji.ac.il/) Combinatorial agency by Babaioff, Feldman, Nisan and Winter (https://www.cs.tau.ac.il/~mfeldman/papers/BFNWj12.pdf) Noam Nisan Google Scholar (https://scholar.google.com/citations?user=zXQZPnMAAAAJ&hl=en) From Nand to Tetris Part 1 (https://www.youtube.com/watch?v=LqirVc5SlW0&list=PLrDd_kMiAuNmSb-CKWQqq9oBFN_KNMTaI) Applications to attend zkSummit11 are now open, head over to the zkSummit website (https://www.zksummit.com/) to apply now. The event will be held on 10 April in Athens, Greece. 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 Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://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/)

** This episode uses visual aids and slides throughout, you may want to check out the video version here (https://youtu.be/UKiQ6jTsv4E)** In this week?s episode, Anna (https://twitter.com/annarrose) and Nico Mohnblatt (https://twitter.com/nico_mnbl) from Geometry Research (https://geometry.dev/about) host a ZK Jargon Decoder episode. Based on Nico?s ZK Jargon Decoder Website (https://nmohnblatt.github.io/zk-jargon-decoder/), they discuss some of the confusing terms and concepts commonly used by the ZK community. The session aims to be digestible for those still in the early stages of their ZK learning journey, but it does take a dive into the depths of detail every now and again! This episode uses visual aids and slides throughout, so you may want to check out the full video version of this discussion over on the ZK Podcast YouTube channel (https://www.youtube.com/@zeroknowledgefm). This ZK Jargon Decoder Session is also very well complimented by the ZK Whiteboard sessions (https://zkhack.dev/whiteboard/). Nico specifically references sessions 1 (https://zkhack.dev/whiteboard/module-one/), 4 (https://zkhack.dev/whiteboard/module-four/), 5 (https://zkhack.dev/whiteboard/module-five/) and 6 (https://zkhack.dev/whiteboard/module-six/). Here?s some additional links for this episode: ZK HACK IV - ZK Jargon Decoder (https://www.youtube.com/watch?v=68AXfOR74cA) ZK Jargon Decoder GitHub (https://nmohnblatt.github.io/zk-jargon-decoder/) ZK Hack IV Sessions Playlist (https://www.youtube.com/watch?v=Vaz4a_Vhntk&list=PLj80z0cJm8QFGB6AsiAG3EB06L7xr5S1c) ZK-WALDO: A Simple Zero Knowledge Proof (https://agstakingco.gitbook.io/zk-waldo-intro-to-zero-knowledge-proofs) ZK Whiteboard Sessions: What is a SNARK? With Dan Boneh (https://zkhack.dev/whiteboard/module-one/) ZK Whiteboard Sessions: SNARKs vs. STARKs with Bobbin Threadbare and Brendan Farmer (https://zkhack.dev/whiteboard/module-four/) PLONKish Arithmetization - ZK Jargon Decoder Description (https://nmohnblatt.github.io/zk-jargon-decoder/definitions/plonkish_arithmetization.html) ZK Whiteboard Sessions: PLONK and Custom Gates with Adrian Hamelink (https://zkhack.dev/whiteboard/module-five/) Oracles - ZK Jargon Decoder Description (https://nmohnblatt.github.io/zk-jargon-decoder/definitions/oracle.html) FRI Summary 1 - Contextualizing STARKs, ALI, FRI, and DEEP by RISC Zero Study Club (https://www.youtube.com/watch?v=D8sW6OUbAXM) R1CS - ZK Jargon Decoder Description (https://nmohnblatt.github.io/zk-jargon-decoder/definitions/r1cs.html) ZK Whiteboard Sessions: Lookup Arguments for Performance Optimisation with Mary Maller (https://zkhack.dev/whiteboard/module-six/) The Billiard Ball Example presented by Campbell R. Harvey (https://people.duke.edu/~charvey/Teaching/697_2021/Public_Presentations_697/Zero_knowledge_2021_697.pdf) ZK Podcast Episode 21: Introduction to Zero Knowledge Proofs (https://zeroknowledge.fm/21-2/) Applications to attend zkSummit11 are now open, head over to the zkSummit website (https://www.zksummit.com/) to apply now. The event will be held on 10 April in Athens, Greece. ZK Hack IV online is now live, sign up for the final session on Tuesday 6 Feb here (https://events.ringcentral.com/events/zkhackiv-4). For the latest news on the event check out the zhhack.dev/zkhackIV (https://zkhack.dev/zkhackIV/) website. 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 (https://twitter.com/annarrose) catches up with Prabal Banerjee (https://twitter.com/prabalbanerjee), co-founder of Avail (https://www.availproject.org/). They deep dive into Prabal?s career, starting with his work in academia, his move to Polygon and to his spinning out the Avail project. They discuss how the project was built, tech decisions and the motivations behind them as well as their use of KZG, validity proofs and their position within the Ethereum and wider blockchain ecosystem. They go on to revisit Data Availability and the interaction with different parts of the modular blockchain stack, comparing Avail to competing systems and cover edge-cases and their impact in a DA-secured stack. Here?s some additional links for this episode: Polygon.technology (https://polygon.technology/) Fraud and Data Availability Proofs: Maximising Light Client Security and Scaling Blockchains with Dishonest Majorities by Al-Bassam, Sonnino and Buterin (https://arxiv.org/pdf/1809.09044.pdf) Episode 208: Digging into Data Availability with Ismail Khoffi from Celestia (https://zeroknowledge.fm/208-2/) Episode 268: A Rollup-Centric Future & Sovereign Chains with Mustafa Al-Bassam (https://zeroknowledge.fm/268-2/) Episode 301: EigenLayer @ Devconnect (https://zeroknowledge.fm/301-2/) Episode 217: Information Theory & Blockchain with Sreeram Kannan (https://zeroknowledge.fm/217-2/) Substrate Website (https://substrate.io/) Starknet Website (https://www.starknet.io/en) SubWallet Website (https://www.subwallet.app/) Solana Website (https://solana.com/) Applications to attend and speak at zkSummit11 are now open, head over to the zkSummit website (https://www.zksummit.com/) to apply now. The event will be held on 10 April in Athens, Greece. ZK Hack IV online is now live, sign up for the next session on Tuesday 30 Jan here (https://events.ringcentral.com/events/zkhackiv-3). For the latest news on the event check out the zhhack.dev/zkhackIV (https://zkhack.dev/zkhackIV/) website. 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 Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://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/)

This week, Anna (https://twitter.com/annarrose) caught up on all things Aleo (https://aleo.org/) with Howard Wu (https://twitter.com/1HowardWu) co-founder of the Aleo Network & Alex Pruden (https://twitter.com/apruden08) executive director of the Aleo Foundation (https://aleo.org/post/announcing-aleo-foundation/). Howard was last on the show back in 2020 when Aleo was in its infancy, so the group dive into how the project has evolved over the last few years, covering lessons learned along the way as well as technical decisions, detours, breakthroughs and reflecting on initial goals as they built out the system. Here?s some additional links for this episode: Episode 144: Aleo with Howard Wu (https://zeroknowledge.fm/144-2/) Episode 38: Intro to zkSNARKs with Howard Wu (https://zeroknowledge.fm/38-2/) zk-creds: Flexible Anonymous Credentials from zkSNARKs and Existing Identity Infrastructure by Rosenberg, White, Garman, and Miers (https://eprint.iacr.org/2022/878.pdf) zPass by Aleo (https://zpass.aleo.org/) Cloudflare (https://www.cloudflare.com/) Aleo HQ GitHub for ZEXE (https://github.com/AleoHQ/zexe) Leo by Aleo (https://developer.aleo.org/leo/) Penumbra (https://penumbra.zone/) ZK Hack IV online is now live, sign up for the next session on Tuesday 23 Jan here (https://events.ringcentral.com/events/zkhackiv-2). For the latest news on the event check out the zhhack.dev/zkhackIV (https://zkhack.dev/zkhackIV/) website. 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 (https://twitter.com/annarrose) and cohosts Guillermo (https://twitter.com/GuilleAngeris), Kobi (https://twitter.com/kobigurk), Nico (https://twitter.com/nico_mnbl) and Tarun (https://twitter.com/tarunchitra) share their predictions, hopes (and worries) for ZK in 2024. They cover emerging ideas in ZK, research predictions, dream applications, the best case for ZK in 2024, the worst case for ZK, possible ?Black Swans? and more. ZK Hack IV online is coming soon, sign up for the kick-off session on 16th Jan here (https://hopin.com/events/zkhackiv-1). For the latest news on the event check out the zhhack.dev/zkhackIV (https://zkhack.dev/zkhackIV/) website. 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 Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://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/)

No full episode this week. Just a brief message about the upcoming ZK Hack IV Online (www.zkhack.dev/zkhackIV). ZK Hack is a 4-week virtual event featuring weekly workshops, advanced puzzle solving competitions and a virtual ZK Jobs Fair. Find out more www.zkhack.dev/zkhackIV Sign up for the 1st session happening on Jan 16th: https://hopin.com/events/zkhackiv-1

In this week?s episode, Anna (https://twitter.com/annarrose) catches up in person with Guillermo (https://twitter.com/GuilleAngeris), Tarun (https://twitter.com/tarunchitra) and Alex Evans (https://twitter.com/alexhevans) for a look back at 2023. They revisit their state of mind back in Jan 2023 and share how the year unfolded and evolved for each of them as well as the ZK space as a whole. They survey the themes, applications and research topics that dominated ZK throughout this year and offer retrospective takes on how the ecosystem has changed. Hope you enjoy! We are taking the next week off, but will return with our look forward to 2024 episode in the new year. Here?s some additional links for this episode: Succinct Proofs in Linear Algebra by Evans and Angeris (https://angeris.github.io/papers/zk-linalg.pdf) 17 misconceptions about SNARKs (and why they hold us back) by Thaler (https://a16zcrypto.com/posts/article/17-misconceptions-about-snarks/) Anna Rose?s zkpod.ai Blog Post (https://hackmd.io/@Arrose/H1uPQ78gn) zkpod.ai Website (https://zkpod.ai/) Episode 265: Where ZK and ML intersect with Yi Sun and Daniel Kang (https://zeroknowledge.fm/265-2/) Episode 256: New ZK Use Cases with Dan Boneh (https://zeroknowledge.fm/256-2/) Episode 260: ZK in 2023 with Kobi, Guillermo, and Tarun (https://zeroknowledge.fm/260-2/) Episode 302: ZK for web2 interop with zkLogin & ZK Email (https://zeroknowledge.fm/302-2/) zkSummit9 Playlist (https://www.youtube.com/watch?v=sj5yY3wguIo&list=PLj80z0cJm8QFnY6VLVa84nr-21DNvjWH7&index=44) ZK Hack Lisbon (https://www.zklisbon.com/) ZK Hack Istanbul (https://www.zkistanbul.com/) SPLA Study Group (https://zkhack.dev/study-group-spla/) ZK Hack Discord (https://discord.com/invite/BEyBc68EQW) ZK Hack IV online is coming soon, sign up for the kick-off session on 16th Jan here (https://hopin.com/events/zkhackiv-1). For the latest news on the event check out the zhhack.dev/zkhackIV (https://zkhack.dev/zkhackIV/) website. 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 Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://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, host Anna Rose (https://twitter.com/annarrose) and cohost Nico Mohnblatt (https://twitter.com/nico_mnbl) catch up with Ulrich Haböck (https://twitter.com/UHaboeck), an applied cryptographer at Polygon Labs (https://polygon.technology/). This episode revolves around Ulrich?s journey into applied zero-knowledge cryptography, transitioning from an academic environment to being a full-time practitioner. They discuss his contributions to the field, including his many write-ups and manuscripts as well as his breakthrough research on Multivariate lookups with his work logUp. They also cover his work on logarithmic derivative lookups using GKR with Shahar Papini, as well as his innovative approaches to STARKs over finite fields that are not ?NTT-friendly?. This episode offers a deep dive into the complexities and breakthroughs in applied cryptography. Here?s some additional links for this episode: A summary on the FRI low degree test by Ulrich Haböck (https://eprint.iacr.org/2022/1216.pdf) Brakedown's expander code by Ulrich Haböck (https://eprint.iacr.org/2023/769.pdf) Improving LogUp with GKR - By Ulrich from Polygon (https://www.youtube.com/watch?v=DCEg61ExwK4) Improving logarithmic derivative lookups using GKR by Papini and Haböck (https://eprint.iacr.org/2023/1284) flookup: Fractional decomposition-based lookups in quasi-linear time independent of table size by Gabizon and Khovratovich (https://eprint.iacr.org/2022/1447.pdf) Bulletproofs++: Next Generation Confidential Transactions via Reciprocal Set Membership Arguments by Eagen Kanjalkar, Ruffing and Nick (https://eprint.iacr.org/2022/510.pdf) Nearly Linear-Time Zero-Knowledge Proofs for Correct Program Execution by Bootle, Cerulli, Groth, Jakobsen and Maller (https://eprint.iacr.org/2018/380) Understanding Lasso and Jolt, from theory to code (https://a16zcrypto.com/posts/article/building-on-lasso-and-jolt/) ZK8: Hyperplonk: PLONK without FFTs and with high degree gates - Benedikt Bünz (https://www.youtube.com/watch?v=2JDBD5oMS0w) ZK9: logUp - Lookup arguments based on the logarithmic derivative - Ulrich Haböck (https://www.youtube.com/watch?v=qv_5dF2_C4g) ZK10: Degree tricks in DEEP STARKs - Shahar Papini (https://www.youtube.com/watch?v=lHmiSuaLxhE) Orion: Zero Knowledge Proof with Linear Prover Time by Xie, Zhang and Song (https://eprint.iacr.org/2022/1010.pdf) Reed-Solomon Codes over the Circle Group by Haböck, Lubarov and Nabaglo (https://eprint.iacr.org/2023/824) Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS by Chiesa, Hu, Maller, Mishra, Vesely and Ward (https://eprint.iacr.org/2019/1047.pdf) ZK Hack IV online is coming soon, visit zhhack.dev/zkhackIV (https://zkhack.dev/zkhackIV/) for the latest news! 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 (https://twitter.com/annarrose) and cohost Brendan Farmer (https://twitter.com/_bfarmer) catch up with Jim Posen (https://twitter.com/jimpo_potamus) and Radi Cojbasic (https://twitter.com/radi_cojbasic) from Ulvetanna (https://www.ulvetanna.io/). They cover the origin story of Ulvetanna and their work on the ZK hardware/software intersection before moving on to discuss Binius, a new proving system they developed which is optimised for hardware. Binius is built on towers of binary fields and draws on recent breakthroughs on SNARKs. This work continues the trend towards the use of smaller fields and was inspired by the development of new lookup arguments, work done on multilinear provers and sum-check as well as the use of recursive composition in SNARKs. Here?s some additional links for this episode: Succinct Arguments over Towers of Binary Fields by Diamond and Posen (https://eprint.iacr.org/2023/1784.pdf) Binius: a Hardware-Optimized SNARK (https://www.ulvetanna.io/news/binius-hardware-optimized-snark) Episode 170: Hardware for ZKPs & VDFs with Supranational (https://zeroknowledge.fm/170-2/) Episode 266: ZK Hardware Sessions with Zprize Pt. 1 (https://zeroknowledge.fm/266-2/) Episode 267: ZK Hardware Sessions with Zprize Pt. 2 (https://zeroknowledge.fm/267-2/) Scalable, transparent, and post-quantum secure computational integrity by Ben-Sasson, Bentov, Horesh, Riabzev (https://eprint.iacr.org/2018/046.pdf) Multivariate lookups based on logarithmic derivatives by Ulrich Haböck (https://eprint.iacr.org/2022/1530.pdf) Episode 250: What?s the Deal with Hash Functions? (https://zeroknowledge.fm/250-2/) Plonky2: Fast Recursive Arguments with PLONK and FRI by Polygon Zero Team (https://docs.rs/crate/plonky2/latest/source/plonky2.pdf) ZK Hack IV online is coming soon, watch out for updates on zkhack.dev/zkhackIV (https://zkhack.dev/zkhackIV/)! 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 Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://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/)

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/)

This week, host Anna Rose (https://twitter.com/annarrose) and co-host Tarun Chitra (https://twitter.com/tarunchitra) catch up with Chris Goes (https://twitter.com/cwgoes) from Heliax (https://heliax.dev/team), the team behind Anoma (https://anoma.net/) and Namada (https://namada.net/). They start with a quick retrospective about IBC, a project he formerly worked on, and how the protocol has evolved since it launched. They dive into the concept of 'intents', exploring their origin, evolution, and discuss the intent-based systems that exist today. As well, they chat about the architectures enabled by a generalized intent-based infrastructure, the potential impacts on user experience, and the inherent trade-offs, particularly when zero-knowledge or privacy aspects are added to the mix. Further reading for this episode: Papers/Docs Cosmos Whitepaper (https://v1.cosmos.network/resources/whitepaper) Anoma: Undefining Money Versatile commitments to value by Christopher Goes, Awa Sun Yin and Adrian Brink (https://anoma.net/vision-paper.pdf) Differential Privacy in Constant Function Market Makers by Tarun Chitra, Guillermo Angeris and Alex Evans (https://eprint.iacr.org/2021/1101.pdf) Wyvern Protocol Documents (https://wyvernprotocol.com/docs) Websites SUAVE and the Future Opportunities and Challenges of MEV: Part I (https://medium.com/intotheblock/suave-and-the-future-opportunities-and-challenges-of-mev-part-i-6d206fb681) CoW Swap (https://swap.cow.fi/#/1/swap/WETH) Zcash GitHub - Nullifiers (https://zcash.github.io/orchard/design/nullifiers.html#:~:text=The%20nullifier%20commits%20to%20the,exist%20in%20the%20commitment%20tree) Map of Zones Website (https://mapofzones.com/home?columnKey=ibcVolume&period=24h) Talks/YouTube Realizing Intents with a Resource Model - Christopher Goes at Research Day (https://www.youtube.com/watch?v=4Nh4EOpvKMY) The Edge of MEV Switching Costs and the Slow Game - Christopher Goes at Research Day (https://www.youtube.com/watch?v=PUBvZRhOTAo&pp=ygUdY2hyaXN0b3BoZXIgZ29lcyByZXNlYXJjaCBkYXk%3D) ZK8: Namada: asset-agnostic interchain privacy - Chris Goes - Anoma (https://www.youtube.com/watch?v=5K6YxmZPFkE) Christopher Goes - Anoma: an intent-centric (https://www.youtube.com/watch?v=1Krw6-UkM9U) Are Intents, SUAVE, Account Abstraction, & Cross-Chain Bridging all the same thing? - Uma Roy at Research Day (https://www.youtube.com/watch?v=G0nFyq9DDPw) Podcast Eps Episode 115: Cosmos, IBC and ZKPs with Chris Goes (https://zeroknowledge.fm/115-2/) Episode 184: Anoma?s Adrian Brink on Validity Predicates, Ferveo DKG & More (https://zeroknowledge.fm/184-2/) Episode 253: A look into Namada and Anoma with Awa Sun Yin (https://zeroknowledge.fm/253-2/) 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! 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 Anna Rose (https://twitter.com/annarrose) chats with Jon Stephens (https://twitter.com/FormallyJon), Computer Science Ph.D. student in the UToPiA group (https://utopia.cs.utexas.edu/) at UT Austin and co-founder of Veridise (https://veridise.com/). Veridise is a blockchain auditing firm that audits smart contracts and ZK systems. They discuss what led Jon to work on system security, what tools are available to test the security of ZK systems and the process of performing formal verification on ZK systems. They also cover general ZK security, why this topic matters and ways we can incentivise ethical disclosures when bugs and vulnerabilities are found. Additional reading for this week's episode; SmartPulse: Automated Checking of Temporal Properties in Smart Contracts by Stephens, Ferles, Mariano, Lahiri, and Dillig (https://www.cs.utexas.edu/~isil/SmartPulse.pdf) Certifying Zero-Knowledge Circuits with Refinement Types by J. Liu, Kretz, H. Liu, Tan, Wang, Sun, Pearson, Miltner, Dillig, and Feng (https://eprint.iacr.org/2023/547.pdf) Practical Security Analysis of Zero-Knowledge Proof Circuits by Wen, Stephens, Chen, Ferles, Pailoor, Charbonnet, Dillig and Feng (https://eprint.iacr.org/2023/190.pdf) Episode 67: Formal Verification with Martin Lundfall (https://zeroknowledge.fm/67-2/) Episode 70: Digging into DAI with Rune Christensen from Maker (https://zeroknowledge.fm/70-2/) Episode 255: Verifying Consensus On-Chain with Succinct (https://zeroknowledge.fm/255-2/) Boogie: An Intermediate Verification Language (https://www.microsoft.com/en-us/research/project/boogie-an-intermediate-verification-language/) Circom-lib (https://docs.circom.io/circom-language/circom-insight/circom-library/) How Coders Hacked Back to ?Rescue? $208 Million in Ethereum (https://www.vice.com/en/article/qvp5b3/how-ethereum-coders-hacked-back-to-rescue-dollar208-million-in-ethereum) 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! 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, host Anna Rose (https://twitter.com/annarrose) and co-host Kobi Gurkan (https://twitter.com/kobigurk) chat with Yohei Nakajima (https://twitter.com/yoheinakajima), General Partner at Untapped Capital (https://www.untapped.vc/) and creator of BabyAGI (https://babyagi.org/). They cover a wide variety of topics from the world of AGIs and agents to building no-code software in public. They kick-off with a chat about how Yohei?s interest in NFTs led him down the AI ?rabbit hole? and how he started to build out experiments in public that have inspired a new group of AI tools and projects. They wrap up with a discussion about the possible impacts of some of this AI tech, how ZK may help mediate the challenges it introduces and more. Here?s some additional links for this episode; ReAct: Synergizing Reasoning and Acting in Language Models by Yao and Cao (https://ai.googleblog.com/2022/11/react-synergizing-reasoning-and-acting.html) Episode 279: Intro to zkpod.ai with Anna and Kobi (https://zeroknowledge.fm/279-2/) Bonus: zkpod.ai & Attested Audio Experiment with Daniel Kang (https://zeroknowledge.fm/bonus-zkpod-ai-attested-audio-experiment-with-daniel-kang/) BabyAGI GitHub (https://github.com/yoheinakajima/babyagi) Auto-GPT (https://auto-gpt.ai/) PixelBeasts (https://www.pixelbeasts.co/about) Stable Diffusion (https://stability.ai/blog/stable-diffusion-public-release) DALL·E 2 (https://openai.com/dall-e-2) Midjourney (https://www.midjourney.com/home/?callbackUrl=%2Fapp%2F) OpenAI (https://openai.com/) Playground AI (https://playgroundai.com/) LangChain (https://python.langchain.com/docs/get_started/introduction.html) LlamaIndex (https://llamaindex.ai) Dust (https://dust.tt/) Universal Paperclips: the game by Frank Lantz (https://www.decisionproblem.com/paperclips/index2.html) AI and the Paperclip Problem (https://cepr.org/voxeu/columns/ai-and-paperclip-problem) Check out the Modular Summit here: https://modularsummit.dev/ (https://modularsummit.dev/) zkSummit 10 is happening in London on September 20, 2023! Apply to attend now -> zkSummit 10 Application Form (https://9lcje6jbgv1.typeform.com/zkSummit10) Anoma?s (https://anoma.net/) first fractal instance, Namada (https://namada.net/), is launching soon! Namada is a proof-of-stake L1 for interchain asset-agnostic privacy. Namada natively interoperates with fast-finality chains via IBC and with Ethereum via a trustless two-way bridge. For privacy, Namada deploys an upgraded version of the multi-asset shielded pool (MASP) circuit that allows all assets (fungible and non-fungible) to share a common shielded set ? this removes the size limits of the anonymity set and provides the best privacy guarantees possible for every user in the multichain. 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, host Anna Rose (https://twitter.com/annarrose) and Nico Mohnblatt (https://twitter.com/nico_mnbl) chat with Ron Rothblum (https://csaws.cs.technion.ac.il/~rothblum/), Professor of Computer Science at Technion. They explore information theory and ZK, diving into the weeds on multiple topics including error correcting codes, FRI, FFTs, Reed-Solomon encoding, Fiat-Shamir and more. Here?s some additional links for this episode: Fiat-Shamir via List-Recoverable Codes (or: Parallel Repetition of GMW is not Zero-Knowledge) by Holmgren, Lombardi and Rothblum (https://eprint.iacr.org/2021/286.pdf) Proving as Fast as Computing: Succinct Arguments with Constant Prover Overhead by Ron-Zewi and Rothblum (https://eprint.iacr.org/2021/1673.pdf) Faster Sounder Succinct Arguments and IOPs by Holmgren and Rothblum (https://eprint.iacr.org/2022/994.pdf) The Random Oracle Methodology, Revisited by Canetti, Goldreich and Halevi (https://eprint.iacr.org/1998/011.pdf) Linear-Time Arguments with Sublinear Verification from Tensor Codes by Bootle, Chiesa and Groth (https://eprint.iacr.org/2020/1426.pdf) Testudo: Linear Time Prover SNARKs with Constant Size Proofs and Square Root Size Universal Setup by Campanelli, Gailly, Gennaro, Jovanovic, Mihali and Thaler (https://eprint.iacr.org/2023/961.pdf) Reed-Solomon Codes (https://www.cs.cmu.edu/~guyb/realworld/reedsolomon/reed_solomon_codes.html) Shannon?s Source Coding Theorem (https://en.wikipedia.org/wiki/Shannon%27s_source_coding_theorem#References) Guy Rothblum Publications (https://guyrothblum.wordpress.com/about/publications/) Episode 274: SNARKs: A Trilogy with Ariel Gabizon (https://zeroknowledge.fm/274-2/) zkSummit 10 is happening in London on September 20, 2023! Apply to attend now -> https://9lcje6jbgv1.typeform.com/zkSummit10 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. Interested in building private applications? Check out Aleo?s programming language called Leo that enables non-cryptographers to harness the power of ZKPs to deploy decentralized exchanges, hidden information games, regulated stablecoins, and more. Visit http://developer.aleo.org (http://developer.aleo.org/). 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/)

In this week?s episode, host Anna Rose (https://twitter.com/annarrose) chats with Chhi'mèd Künzang (https://research.protocol.ai/authors/chhimed-kunzang/) and François Garillot (https://www.garillot.net/) from Lurk Labs (https://lurk-lab.com/) about all things Lurk, Lisp and zk languages. They discuss the history of the Lurk project, from its beginnings with Protocol Labs (the team that built Filecoin), to its emergence as a Turing-complete programming language for recursive zkSNARKs. They discuss Lurk?s relationship with Lisp, what Lisp is, and how developers familiar with that family of languages would be able to interact with Lurk. They then discuss how Lurk compares to other zkDSLs and the new innovations this Lisp-based language brings to the table. Here?s some additional links for this episode: Programming Languages * Circom (https://iden3.io/circom) * Arkworks GitHub (https://github.com/arkworks-rs) * Leo by Aleo (https://www.aleo.org/post/leo-programming-language) * SnarkyJS (http://snarkyjs.o1labs.org/) * Noir (https://noir-lang.org/) Lurk Links * LURK: Lambda, the Ultimate Recursive Knowledge by Amin, Burnham, Garillot, Gennaro, Künzang, Rogozin and Wong (https://eprint.iacr.org/2023/369) * Lurk Lab (https://lurk-lab.com/) * Lurk Lab Twitter (https://twitter.com/LurkLab) * Lurk Language (https://lurk-lang.org/) * Lurk GitHub (https://github.com/lurk-lab) Additional Reading/Listening * A Sloth-based Verifiable Delay Function (VDF) evaluator and SNARK prover GitHub (https://github.com/protocol/vdf) * Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I by John McCarthy, April 1960 (http://www-formal.stanford.edu/jmc/recursive.pdf) * Using ZK Proofs to Fight Disinformation By Trisha Datta and Dan Boneh (https://medium.com/@boneh/using-zk-proofs-to-fight-disinformation-17e7d57fe52f) * Common Lisp (https://lisp-lang.org/) * Episode 172: ZK languages with Alex Ozdemir (https://zeroknowledge.fm/172-2/) * zkSessions: The ZK Languages Rundown (https://www.youtube.com/watch?v=ABjSn_6m4Ac&list=PLj80z0cJm8QEz6BotG4SkGSCupwkPonCZ&index=12) * zkSummit4 Videos (https://www.youtube.com/watch?v=sj5yY3wguIo&list=PLj80z0cJm8QFnY6VLVa84nr-21DNvjWH7) - check the playlist (https://www.youtube.com/watch?v=C-C1fHzApEQ) for individual talks! Ever feel like developing zero-knowledge proofs is a daunting task? The team at RISC Zero (https://www.risczero.com/) is here to remind you that it doesn't have to be that way. Their out-of-the-box tooling allows developers to access the magic of ZK proofs from any chain without needing to learn custom languages or building custom zk circuits. Bonsai (https://r0.link/ZKpodcast), RISC Zero?s most anticipated product, is a proving marketplace that enables any protocol or application to leverage fast ZKProofs in languages like Rust, Go, C++. 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/)

In this week?s episode, Anna Rose (https://twitter.com/annarrose) dives back into accumulation schemes with Benedikt Bünz (https://twitter.com/benediktbuenz) and Binyi Chen (https://twitter.com/Charles_Chen533) from Espresso Systems (https://espressosys.com/). They discuss ProtoStar and how it compares to works such as Nova and HyperNova, as well as explore some definitions for commonly used terms in the accumulation literature. Here?s some additional links for this episode: Espresso Systems CAPE (https://docs.espressosys.com/cape) Espresso Sequencer (https://hackmd.io/@EspressoSystems/EspressoSequencer) Bulletproofs: Short Proofs for Confidential Transactions and More by Bünz, Bootle, Boneh, Poelstra, Wuille and Maxwell (https://eprint.iacr.org/2017/1066.pdf) Verifiable Delay Functions by Boneh, Bonneau, Bünz and Fisch (https://eprint.iacr.org/2018/601.pdf) HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates by Chen, Bünz, Boneh and Zhang (https://eprint.iacr.org/2022/1355) Protostar: Generic Efficient Accumulation/Folding for Special-sound Protocols by Bünz and Chen (https://eprint.iacr.org/2023/620.pdf) Proof-Carrying Data without Succinct Arguments by Bünz, Chiesa, Lin, Mishra and Spooner (https://eprint.iacr.org/2020/1618.pdf) Proof-Carrying Data from Accumulation Schemes by Bünz, Chiesa, Mishra, and Spooner (https://eprint.iacr.org/2020/499) Multivariate lookups based on logarithmic derivatives by Haböck (https://eprint.iacr.org/2022/1530.pdf) Halo Infinite: Proof-Carrying Data from Additive Polynomial Commitments by Boneh, Drake, Fisch, Gabizon (https://eprint.iacr.org/2020/1536.pdf) Incrementally Verifiable Computation or Proofs of Knowledge Imply Time/Space Efficiency by Valiant (https://www.cs.purdue.edu/homes/pvaliant/uniqueCS.pdf) Recursive Proof Composition without a Trusted Setup by Bowe, Grigg, and Hopwood (https://eprint.iacr.org/2019/1021.pdf) Episode 40: Benedikt Bünz on Bulletproofs and Verifiable Delay Functions (https://zeroknowledge.fm/40-2/) Episode 277: Nova and Beyond with Srinath Setty (https://zeroknowledge.fm/277-2/) Check out the ZK Jobs Board here: ZK Jobs (https://jobsboard.zeroknowledge.fm/). Find your next job working in ZK! Aztec Network (https://aztec.network/) is building a next-generation encrypted blockchain powered by Ethereum. The team is proud to announce Noir (https://aztec.network/noir) - the world's first universal zk-language. Noir makes it safe and intuitive to write zk circuits and encrypted smart contracts, enabling novel use-cases like encrypted DeFi, private governance, and zk gaming. As a universal language, Noir is domain-specific, but blockchain agnostic. Build powerful zk applications compatible with multiple proving systems and verify your program on any EVM chain. Get started with Noir today at docs.aztec.network/noir (https://docs.aztec.network/noir) 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 bonus episode, Anna jumps back on the mic for a quick follow-up to Episode 279: Intro to zkpod.ai (https://zeroknowledge.fm/279-2/). Guest Daniel Kang describes a joint project he is doing with zkpod.ai - the Attested Audio Experiment. The objective is to prove that some piece of audio originates from a "real" (non-ai-generated) recording, even if this audio has been altered through edits or modifications. The goal is to differentiate between original "real" audio and the audio generated by zkpod.ai. In the future some iteration of this architecture could be used by content creators to distinguish deepfake audio from the real thing. Here is the write up about the Attested Audio Experiment (https://medium.com/@danieldkang/fighting-ai-generated-audio-with-attested-microphones-and-zk-snarks-the-attested-audio-experiment-d6ea0fc296ac) on Daniel Kang's blog. Here is some of his other work as well: - https://medium.com/@danieldkang/empowering-users-to-verify-twitters-algorithmic-integrity-with-zkml-65e56d0e9dd9 - https://medium.com/@danieldkang/verified-execution-of-gpt-bert-clip-and-more-6acb693fd55f Follow @zkpodai (https://twitter.com/zkpodai) on twitter for more updates!

This week, Anna Rose (https://twitter.com/annarrose) and Kobi Gurkan (https://twitter.com/kobigurk) continue their conversation with a full episode dedicated to their new side project zkpod.ai (https://twitter.com/zkpodai) - the voice ai trained on transcripts from this show which uses both Anna and Kobi?s voices to share insights and answer questions about zk topics. They cover the origin of the project and discuss their motivations and concerns around its uses as well as how they could see the project developing and what this could mean for the field of zk. Kobi shares his thoughts on the current tooling available, where this could progress and potential limitations it holds. Additional links mentioned in this episode: * zkpod.ai Website (https://zkpod.ai/) * Anna Rose?s zkpod.ai Blog Post (https://hackmd.io/@Arrose/H1uPQ78gn) * Yohei Nakajima Twitter (https://twitter.com/yoheinakajima) * LangChain Website (https://python.langchain.com/en/latest/) * Weaviate Website (https://weaviate.io/?utm_source=google&utm_medium=cpc&utm_campaign=18671086036&utm_content=145710453274&utm_term=vector%20based%20database&gclid=Cj0KCQjwj_ajBhCqARIsAA37s0zMQwc1jPKwWLGcjDnz2PdUGz4s387sd-bYeObjUx5SlY2oeu355F8aAk3xEALw_wcB) * Anthropic Product ?Claude? (https://www.anthropic.com/index/introducing-claude) * Universal Paperclips: the game by Frank Lantz (https://www.decisionproblem.com/paperclips/index2.html) * Large Language Models can be used to effectively scale Spear Phishing campaigns by Hazell (https://arxiv.org/pdf/2305.06972.pdf) * Creating Word Embeddings: Coding the Word2Vec Algorithm in Python using Deep Learning (https://towardsdatascience.com/creating-word-embeddings-coding-the-word2vec-algorithm-in-python-using-deep-learning-b337d0ba17a8) Check out the ZK Jobs Board here: ZK Jobs (https://jobsboard.zeroknowledge.fm/). Find your next job working in ZK! Anoma?s (https://anoma.net/) first fractal instance, Namada (https://namada.net/), is launching soon! Namada is a proof-of-stake L1 for interchain asset-agnostic privacy. Namada natively interoperates with fast-finality chains via IBC and with Ethereum via a trustless two-way bridge. For privacy, Namada deploys an upgraded version of the multi-asset shielded pool (MASP) circuit that allows all assets (fungible and non-fungible) to share a common shielded set ? this removes the size limits of the anonymity set and provides the best privacy guarantees possible for every user in the multichain. 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 (http://discord.gg/namada). Zero-knowledge is changing the world and until now, building ZK applications meant learning new, chain-specific languages and complex cryptography. But no more! With SnarkyJS, the easiest to use zk SDK, developers can add the magic of zk to their apps using TypeScript! Whether you're targeting Mina (https://minaprotocol.com/about), the leading zk-native blockchain, or off-chain applications, SnarkyJS (snarkyjs.o1labs.org) from O(1) Labs has you covered. With support for infinite recursion, in-browser proving, and so much more, the full power of zk is available to everyone. Visit snarkyjs.o1labs.org (snarkyjs.o1labs.org) to get started. 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 Kobi Gurkan (https://twitter.com/kobigurk) check in on the state of ZK today. They discuss recent ZK applications and tooling as well as developments from the last 6 months. They review new use cases such as ZK for off-chain computations and dive into research breakthroughs, trends, security and much more. Finally, they introduce the concept of zkpod.ai which will be covered fully in next week's episode. Additional links mentioned in this episode: Renegade.fi (https://renegade.fi/) Experimenting with Collaborative zk-SNARKs: Zero-Knowledge Proofs for Distributed Secrets (https://eprint.iacr.org/2021/1530) Episode 256: New ZK Use Cases with Dan Boneh (https://zeroknowledge.fm/256-2/) Episode 246: Adversarial Machine Learning Research with Florian Tramèr (https://zeroknowledge.fm/246-2/) Episode 276: Expanding Computation on Ethereum with Axiom (https://zeroknowledge.fm/276-2/) Episode 277: Nova and Beyond with Srinath Setty (https://zeroknowledge.fm/277-2/) ProtoStar: Generic Efficient Accumulation/Folding for Special Sound Protocols by Bünz and Chen (https://eprint.iacr.org/2023/620) ezkl GitHub (https://github.com/zkonduit/ezkl) Yohei Nakajima Twitter (https://twitter.com/yoheinakajima) LangChain Website (https://python.langchain.com/en/latest/) Anna Rose?s zkpod.ai Blog Post (https://hackmd.io/@Arrose/H1uPQ78gn) zkpod.ai Twitter (https://twitter.com/zkpodai) zkpod.ai Website (https://zkpod.ai/) One Server for the Price of Two: Simple and Fast Single-Server Private Information Retrieval by Henzinger, Hong, Corrigan-Gibbs, Meiklejohn, Vaikuntanathan (https://eprint.iacr.org/2022/949) Piano: Extremely Simple, Single-Server PIR with Sublinear Server Computation by Zhou, Park, Shi, Zheng (https://eprint.iacr.org/2023/452) Blyss Website (https://blyss.dev/) Janmajayamall?s GitHub (https://github.com/Janmajayamall) Check out the ZK Jobs Board here: ZK Jobs (https://jobsboard.zeroknowledge.fm/). Find your next job working in ZK! Ever feel like developing zero-knowledge proofs is a daunting task? The team at RISC Zero (https://www.risczero.com/) is here to remind you that it doesn't have to be that way. Their out-of-the-box tooling allows developers to access the magic of ZKProofs from any chain without needing to learn custom languages or building custom ZK circuits. Bonsai (https://r0.link/ZKpodcast), RISC Zero?s most anticipated product, is a proving marketplace that enables any protocol or application to leverage fast ZKProofs in languages like Rust, Go, C++. Visit https://r0.link/ZKpodcast (https://r0.link/ZKpodcast) to learn more and sign up today for the Bonsai waitlist. 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. Interested in building private applications? Check out Aleo?s programming language called Leo that enables non-cryptographers to harness the power of ZKPs to deploy decentralized exchanges, hidden information games, regulated stablecoins, and more. Visit http://developer.aleo.org (http://developer.aleo.org/). 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/)

In today?s episode, Anna Rose (https://twitter.com/annarrose) and Nico Mohnblatt (https://twitter.com/nico_mnbl) interview Srinath Setty (https://twitter.com/srinathtv), Principal Researcher at Microsoft Research (https://twitter.com/msftresearch) and author of notable works such as Spartan, Nova, SuperNova, and HyperNova. This discussion covers Setty's early work and how this led to him working on SNARKs, folding schemes and sumcheck protocols, as well as his views on the future trajectory of the ZK space. Given the current chatter around Nova-style accumulation schemes, this interview offers a chance to explore the perspective of a key contributor behind these developments. Here?s some additional links for this episode: Pepper Project Publications (https://www.pepper-project.org/publications.htm) Depot: Cloud storage with minimal trust by Mahajan, Setty, Lee, Clement, Alvisi, Dahlin, and Walfish (https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/depot-osdi10.pdf) Resolving the conflict between generality and plausibility in verified computation by Setty, Braun, Vu, Blumberg, Parno, and Walfish (https://eprint.iacr.org/2012/622.pdf) Proving the correct execution of concurrent services in zero-knowledge (extended version) by Setty, Angel, Gupta and Lee (https://eprint.iacr.org/2018/907.pdf) Replicated state machines without replicated execution by Lee, Nikitin and Setty (https://eprint.iacr.org/2020/195.pdf) Quadratic Span Programs and Succinct NIZKs without PCPs by Gennaro, Gentry, Parno and Raykova (https://eprint.iacr.org/2012/215.pdf) Pinocchio: Nearly Practical Verifiable Computation by Parno, Howell, Gentry and Raykova (https://eprint.iacr.org/2013/279.pdf) Incrementally Verifiable Computation or Proofs of Knowledge Imply Time/Space Efficiency by Valiant (https://iacr.org/archive/tcc2008/49480001/49480001.pdf) Succinct Non-Interactive Arguments via Linear Interactive Proofs by Bitansky, Chiesa, Ishai, Ostrovsky and Paneth (https://eprint.iacr.org/2012/718.pdf) Open VDF: Accelerating the Nova SNARK-based VDF Article (https://medium.com/supranational/open-vdf-accelerating-the-nova-snark-based-vdf-2d00737029bd) Episode 274: SNARKs: A Trilogy with Ariel Gabizon (https://zeroknowledge.fm/274-2/) ZK Study Club: Supernova Srinath Setty - MS Research (https://www.youtube.com/watch?v=ilrvqajkrYY) Check out the ZK Jobs Board here: ZK Jobs (https://jobsboard.zeroknowledge.fm/). Find your next job working in ZK! Zero-knowledge is changing the world and until now, building ZK applications meant learning new, chain-specific languages and complex cryptography. But no more! With SnarkyJS, the easiest to use zk SDK, developers can add the magic of zk to their apps using TypeScript! Whether you're targeting Mina (https://minaprotocol.com/), the leading zk-native blockchain, or off-chain applications, SnarkyJS from O(1) Labs (https://o1labs.org/) has you covered. With support for infinite recursion, in-browser proving, and so much more, the full power of zk is available to everyone. Visit snarkyjs.o1labs.org (snarkyjs.o1labs.org) to get started. 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) sits down with Yi Sun (https://twitter.com/theyisun), co-founder of Axiom (https://www.axiom.xyz/). Yi was recently on the show to discuss ZK ML?s, however this time they take a closer look at the Axiom project and what it means to be a ZK coprocessor for Ethereum. During the interview they also explore what problems Axiom are trying to solve, how ZKPs are used to help bring historic data into smart contracts and what new use cases this architecture can support. Here?s some additional links for this episode: Axiom Demo Release (https://demo.axiom.xyz/account-age) Certifying Zero-Knowledge Circuits with Refinement Types by Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun Axiom, Luke Pearson, Anders Miltner Isil Dillig and Yu Feng (https://eprint.iacr.org/2023/547.pdf) Episode 265: Where ZK and ML intersect with Yi Sun and Daniel Kang (https://zeroknowledge.fm/265-2/) Check out the ZK Jobs Board here: ZK Jobs (https://jobsboard.zeroknowledge.fm/). Find your next job working in ZK! 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. Interested in building private applications? Check out Aleo?s programming language called Leo that enables non-cryptographers to harness the power of ZKPs to deploy decentralized exchanges, hidden information games, regulated stablecoins, and more. Visit http://developer.aleo.org (http://developer.aleo.org/). 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/)

In this week's episode, Anna Rose (https://twitter.com/annarrose) chats with Scroll (https://scroll.io/) co-founders Ye Zhang (https://twitter.com/yezhang1998) and Sandy Peng (https://twitter.com/SandyPeng1), delving into updates about their zkEVM L2, the progress they have made over the past year and what it really means to build in public. They discuss the challenges and rewards of founding a fully remote organization and how the team navigates the ever changing ZK landscape. Here?s some additional links for this episode: Scroll?s @buildwithscroll Twitter (https://twitter.com/BuildWithScroll) Scroll Tech GitHub (https://github.com/scroll-tech) Scroll?s Ecosystem (https://scroll.io/alpha/ecosystem) Episode 234: zkEVM with Scroll?s Ye Zhang and Haichen Shen (https://zeroknowledge.fm/234-2/) PipeZK: Accelerating Zero-Knowledge Proof with a Pipelined Architecture by Zhang, Wang, Zhang, Dong, Mao, Long, Wang, Zhou, Gao and Sun (https://people.iiis.tsinghua.edu.cn/~gaomy/pubs/pipezk.isca21.pdf) ERC-4337 Information (https://eips.ethereum.org/EIPS/eip-4337) Check out the ZK Jobs Board here: ZK Jobs (https://jobsboard.zeroknowledge.fm/). Find your next job working in ZK! Ever feel like developing zero-knowledge proofs is a daunting task? The team at RISC Zero (https://www.risczero.com/) is here to remind you that it doesn't have to be that way. Their out-of-the-box tooling allows developers to access the magic of ZKProofs from any chain without needing to learn custom languages or building custom ZK circuits. Bonsai (https://r0.link/ZKpodcast), RISC Zero?s most anticipated product, is a proving marketplace that enables any protocol or application to leverage fast ZK proofs in languages like Rust, Go, C++. 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, Anna (https://twitter.com/annarrose) and Ariel Gabizon (https://twitter.com/rel_zeta_tech) cover the SNARK trilogy; a history of pairing-based SNARKs in 3 acts. Starting from Jens Groth?s early works on SNARKs, Ariel takes us on a journey through key moments and breakthroughs in SNARKs over the last decade. They also dive into the emerging accumulation research on folding schemes and Ariel?s latest work surrounding lookup tables! This is an episode you won?t want to miss. Here are some additional links for this episode: Relevant Jens Groth Papers * Short Non-interactive Zero-Knowledge Proofs by Jens Groth (https://www.iacr.org/archive/asiacrypt2010/6477343/6477343.pdf) * Short Pairing-based Non-interactive Zero-Knowledge Arguments by Jens Groth (http://www0.cs.ucl.ac.uk/staff/J.Groth/ShortNIZK.pdf) * On the Size of Pairing-based Non-interactive Arguments by Jens Groth (https://eprint.iacr.org/2016/260.pdf) * Zero-knowledge Argument for Polynomial Evaluation with Application to Blacklists by Stephanie Bayer and Jens Groth (https://eprint.iacr.org/2015/195) PLONK-Relative Papers * PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge by Gabizon, Williamson, Ciobotaru (https://eprint.iacr.org/2019/953.pdf) * HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates by Chen, Bünz, Boneh and Zhang (https://eprint.iacr.org/2022/1355.pdf) * Proposal: The Turbo-PLONK program syntax for specifying SNARK programs by Gabizon and Williamson (https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-turbo_plonk.pdf) Lookup-Relative Papers * plookup: A simplified polynomial protocol for lookup tables by Gabizon and Williamson (https://eprint.iacr.org/2020/315.pdf) * Caulk: Lookup Arguments in Sublinear Time by Zapico, Buterin, Khovratovich, Maller, Nitulescu and Simkin (https://eprint.iacr.org/2022/621) * A Close Look at a Lookup Argument - Mary Maller at The 13th BIU Winter School on cryptography (https://www.youtube.com/watch?v=uGjbczKGm4s&list=PL8Vt-7cSFnw1gx51WHRgAtioVqAjzMS1w&index=13) * cq: Cached quotients for fast lookups by Eagen, Fiore, and Gabizon (https://eprint.iacr.org/2022/1763) Additional Resources * Pinocchio: Nearly Practical Verifiable Computation by Parno, Howell, Gentry and Raykova (https://eprint.iacr.org/2013/279.pdf) * Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updateable Structured Reference Strings by Maller, Bowe, Kohlweiss, and Meiklejohn (https://eprint.iacr.org/2019/099) * Perpetual Powers of Tau GitHub (https://github.com/weijiekoh/perpetualpowersoftau) * Delegating Computation: Interactive Proofs for Muggles by Goldwasser, Kalai and Rothblum (https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/2008-DelegatingComputation.pdf) * Efficient Zero-Knowledge Arguments for Arithmetic Circuits in Discrete Log Setting by Bootle, Cerulli, Chaidos, Groth and Petit (https://eprint.iacr.org/2016/263) * Nova: Recursive Zero-Knowledge Arguments from Folding Schemes by Kothapalli, Setty and Tzialla (https://eprint.iacr.org/2021/370.pdf) * Episode 232: Cutting Edge ZK Research with Mary Maller (https://zeroknowledge.fm/232-2/) * ZK Whiteboard Sessions - Module Six: Lookup Tables for Performance Optimisation (https://www.youtube.com/watch?v=1oLzrbTBlbc) Check out the ZK Jobs Board here: ZK Jobs (https://jobsboard.zeroknowledge.fm/). Anoma?s (https://anoma.net/) first fractal instance Namada (https://namada.net/) is launching soon! Namada is a proof-of-stake L1 for interchain asset-agnostic privacy. Namada natively interoperates with fast-finality chains via IBC and with Ethereum via a trustless two-way 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/)