DiscoverZero Knowledge
Zero Knowledge
Claim Ownership

Zero Knowledge

Author: Zero Knowledge Podcast

Subscribed: 702Played: 29,883
Share

Description

Zero Knowledge is a podcast which goes deep into the tech that will power the emerging decentralised web and the community building this. Covering the latest in zero knowledge research and applications, the open web as well as future technologies and paradigms that promise to change the way we interact — and transact — with one another online.
Zero Knowledge is hosted by Anna Rose
Follow the show at @ZeroKnowledgefm (https://twitter.com/zeroknowledgefm) or @AnnaRRose (https://twitter.com/AnnaRRose)
If you like the Zero Knowledge Podcast:
Join us on Telegram (https://t.me/joinchat/TORo7aknkYNLHmCM)
Support our Gitcoin Grant (https://gitcoin.co/grants/38/zero-knowledge-podcast)
Support us on Patreon (https://www.patreon.com/zeroknowledge)
Or directly here:
ETH: 0x4BF66E52f3009Cd138e48f142D47661037160001
BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz
ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ
DOT: 14zPzb7ihiBeaUn9jdPW9cHKGBd9qtTuJE75hhW2CvzLh6rT
326 Episodes
Reverse
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/)
loading
Comments (2)

Adam Malin

It's shocking to me how little people are aware of the Sia Network as a decentralized cloud storage provider. It's working right now and it's awesome!

Dec 13th
Reply

Jiasun Li

honey badger being fully asynchronous: how to reconcile with Fischer Lynch Patterson?

May 25th
Reply
Download from Google Play
Download from App Store