))
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/Ann ...
…
continue reading
1
Episode 345: Latest ZK Research with Dan Boneh
1:02:58
1:02:58
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
1:02:58
Summary In this week’s episode, Anna catches up with Dan Boneh, Professor of Computer Science and Electrical Engineering, Stanford University. They discuss the focus of his research today, covering new ZK research problems and themes. This includes work on lattice-based SNARKs, ZK for content provenance, ZK in the FHE context, updates on ZK in ML a…
…
continue reading
Summary This week, Anna and Nico take a look back at some of the ZK Events produced in 2024 by the ZK Podcast, ZK Hack and other adjacent projects. Starting with the live ZK Jargon Decoder hosted in January and spanning the 10 months since, Anna and Nico share behind-the-scenes anecdotes, highlight key talks from the events and share some insight i…
…
continue reading
1
Episode 343: Mastering MPC & Memes with Mikerah
1:00:50
1:00:50
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
1:00:50
Summary This week Anna chats with Mikerah Quintyne-Collins from HashCloak and Stoffel Labs. They discuss how Mikerah got her start in the crypto space and then dive into the work she did at ChainSafe and eventually at HashCloak. They cover Mikerah’s work on privacy preserving tech like ZK, TEE and MPC and learn about what drives her tweet game and …
…
continue reading
1
Bonus: ZK Whiteboard Sessions Season 2 and a ZK Pod Pause!
2:55
2:55
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
2:55
Just sharing 2 updates: 1) the ZK Whiteboard sessions are BACK with a second season! These videos will be released every 2 weeks for the next 3 months on ZK Hack channels - See Season 1 videos here: https://zkhack.dev/whiteboard/ See Season 2 Module 1 here: https://zkhack.dev/whiteboard/s2m1/ 2) The Zero Knowledge Podcast (aka this show!) will take…
…
continue reading
Summary This week Anna catches up with Zac Williamson & Ariel Gabizon from Aztec. They cover what each has been working on over the last year, Zac shared updates about the development of Aztec and the finalization of their underlying ZK system: MegaPlonk. Ariel discussed his latest research on IVC with his publications of the ProtoGalaxy and Stackp…
…
continue reading
1
Episode 341: coSNARKs with Ais and Lukas from TACEO
56:51
56:51
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
56:51
Summary This week Anna and Nico chat with Lukas Helminger and Ais Connolly from TACEO. They discuss Lukas & Ais’ early work in cryptography and privacy preserving technologies, the founding of TACEO and their recent work on coSNARKs - or Collaborative SNARKs - that combine MPC and ZK. They explore how these coSNARKs are created, their coCircom lang…
…
continue reading
1
Episode 340: Is Cosmos Dead? A critical look with Zaki Manian
1:23:41
1:23:41
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
1:23:41
Summary This week Anna and Zaki Manian dive into the Cosmos ecosystem and ask the question: is Cosmos Dead? They explore key events, teams and players who worked on Cosmos during different eras before teasing out the strengths and structural flaws that made the project what it is today. The conversation wraps with a discussion around new initiative…
…
continue reading
Summary In this week’s episode, Anna and Tarun catch up with Andrew Miller. They cover his early work on consensus, ZK and MPC before switching focus to the topic of his current work: TEEs. They map his evolving opinion on TEEs and explore why they could be seen as an optimal solution to many of the blockchain challenges. Here’s some additional lin…
…
continue reading
1
Episode 338: On Trust Infrastructure with Arnaud Schenk
1:29:19
1:29:19
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
1:29:19
Summary This week Anna and Nico chat with Arnaud Schenk, one of the original co-founders of Aztec and creator of the Polaris Fellowship. They discuss Arnaud’s recent blog post ‘On Trust Infrastructure’, exploring the down sides of a trustless system, the need to make online community building more possible and how programmable cryptography may play…
…
continue reading
1
Episode 337: Restaking Research with Naveen & Tarun
1:10:56
1:10:56
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
1:10:56
Summary In this week’s episode Anna and Tarun chat with Naveen Durvasula about his recent work ‘Robust Restaking Networks’. They discuss Naveen’s early work on matching markets and how this led him to work on mechanism design before exploring how the concepts of restaking were first presented, and how both Naveen and Tarun have been working to bett…
…
continue reading
1
Episode 336: ZK in Celestia with Connor O’Hara
1:02:29
1:02:29
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
1:02:29
Summary In this week’s episode, Anna chats with Connor O’Hara from Celestia. After discussing the latest ZK Hack Montréal event where Connor was a judge, they dive into his professional background, the ecosystems he has been a part of and what led him to work on Celestia. They then discuss various ZK-focused initiatives within the Celestia ecosyste…
…
continue reading
1
Episode 335: Groth16, IVC and Formal Verification with Nexus
1:15:54
1:15:54
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
1:15:54
Summary In this week’s episode, Anna chats with Jens Groth and Daniel Marin from Nexus. They catch up on all things Groth16 with the author himself before diving into a variety topics, such as formal verification in the context of ZKPs, the Nexus architecture, the benefits and challenges of building a system from the ground up, folding and IVC plus…
…
continue reading
1
Episode 334: ZK Research Update with Joe Bonneau
1:09:44
1:09:44
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
1:09:44
Summary In this week’s episode, Anna and Guille catch up with Joe Bonneau, Assistant Professor at NYU and Research Partner at a16z crypto research. They discuss the research Joe has been working on since he was last on the show in 2019, including Naysayer proofs, Zero-Knowledge Middleboxes, Sealed-Bid Auctions, and other ZK-related research project…
…
continue reading
1
Episode 333: Verifiable SQL, Reckle Trees and ZK Coprocessing with Lagrange Labs
1:04:18
1:04:18
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
1:04:18
Summary In this week’s episode Anna chats with Ismael Hishon-Rezaizadeh, Founder and CEO at Lagrange Labs and Charalampos (Babis) Papamanthou, Head of Research at Lagrange and Co-Director of the Applied Cryptography Lab at Yale University. They revisit the concepts of zk-powered coprocessors and dive into the work that Charalampos did previous to j…
…
continue reading
1
Episode 332: Brussels catch up with Hart from Across
1:33:05
1:33:05
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
1:33:05
Summary In this week’s episode, Anna and Tarun sit down with Hart Lambur irl at EthCC week in Brussels. They start by exploring Hart’s project Across - a cross-chain interoperability solution and sister project to Uma. They explore the Across construction, the tradeoff space and how this compares to other interop solutions. Then, in ZK Podcast trad…
…
continue reading
This week's ZK Podcast episode will be delayed to Thursday this week due to Brussels mania. In the meantime, we wanted to highlight the upcoming ZK Hack Montreal event, happening Aug 9-11 2024. This is the 4th IRL zk-focused hackathon produced by ZK Hack. Apply now to attend ZK Hack Montreal as a hacker and jump into zk. https://www.zkmontreal.com/…
…
continue reading
1
Episode 331: Farcaster with Varun Srinivasan
1:22:34
1:22:34
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
1:22:34
Summary In this week’s episode, Anna and Tarun meet with Varun Srinivasan, co-founder of Farcaster. They explore the Farcaster project, discussing the ideas that prompted its inception and what separates it from existing social media networks. The conversation explores the design space that Farcaster opens up for devs and the kinds of applications …
…
continue reading
1
Episode 330: Frameworks for Programmable Privacy with Ying Tong and Bryan Gillespie
59:56
59:56
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
59:56
Summary In this week’s episode, Anna and Guille chat with Ying Tong Lai from Geometry Research and Bryan Gillespie from Inversed Tech about their latest research and works to date. They dive into the pair’s recent work ‘SoK: Programmable Privacy in Distributed Systems’, exploring the classifications and frameworks being introduced. Here’s some addi…
…
continue reading
1
Episode 329: Building Cryptographic Proofs from Hash Functions with Alessandro Chiesa and Eylon Yogev
1:10:38
1:10:38
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
1:10:38
Summary In this week’s episode Anna and Nico chat with Alessandro Chiesa, Associate Professor at EPFL and Eylon Yogev, Professor at Bar-Ilan University. They discuss their recent publication; Building Cryptographic Proofs from Hash Functions, which provides a comprehensive and rigorous treatment of cryptographic proofs and goes on to analyze notabl…
…
continue reading
1
Episode 328: ZK on Bitcoin with Alpen Labs
1:07:03
1:07:03
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
1:07:03
Summary In this week’s episode, Anna and Tarun chat with Sims Gautam and Liam Eagen from Alpen Labs. They dive into the world of Bitcoin L2s and focus on how ZK can be used to incorporate strong connections between Bitcoin and new execution environments. The group then explores BitVM, covenants, the distinction between the Bridge Operators and sequ…
…
continue reading
1
Episode 327: Proof Aggregation with Shumo and Yi from NEBRA
51:15
51:15
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
51:15
Summary In this week’s episode Anna chats with Shumo and Yi from NEBRA. They discuss how NEBRA UPA, or Universal Proof Aggregation, can mitigate the high price of putting ZKPs on-chain. They cover what it takes to incorporate proving systems into NEBRA UPA as well as the benefits that these systems will bring, how developers are meant to interact w…
…
continue reading
There is no episode this week, but wanted to highlight the upcoming ZK Hack Montreal event, happening Aug 9-11 2024. This is the 4th IRL zk-focused hackathon produced by ZK Hack. Apply now to attend ZK Hack Montreal as a hacker and jump into zk. https://www.zkmontreal.com/ Find out more about ZK Hack as well at https://zkhack.dev/…
…
continue reading
1
Episode 326: MPC & ZK in Ligero and Ligetron
1:03:47
1:03:47
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
1:03:47
Summary In this week’s episode Anna and Kobi chat with Muthu Venkitasubramaniam and Carmit Hazay from Ligero. They discuss their work on MPC and ZK for the last 20 years and how the research has evolved. They then dive into a nuanced conversation on how MPC & ZK are interrelated. The discuss Ligero, what led to the project and the early phases, as …
…
continue reading
1
Episode 325: Web Proofs with Tracy from Pluto
59:01
59:01
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
59:01
Summary In this week’s episode Anna chats with Tracy Livengood, co-founder of Pluto; an applied cryptography org building developer tools which add verifiable data from web data to an on-chain application, using ZK. They discuss Tracy’s move from being an engineer in Web2, what prompted his move into the decentralized web and how he eventually foun…
…
continue reading
1
Episode 324: Discovering New Elliptic Curves with Antonio Sanso and Youssef El Housni
52:16
52:16
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
52:16
Summary This week, Anna and Nico catch up with Antonio Sanso, Researcher at the Ethereum Foundation and Youssef El Housni, Engineer at ConsenSys and builder of Linea. They discuss Antonio and Youssef’s new work, Families of prime-order endomorphism-equipped embedded curves on pairing-friendly curves and dive into Elliptic Curve cryptography, Bander…
…
continue reading
