))
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 332: Brussels catch up with Hart from Across
1:33:05
1:33:05
Play later
Play later
Lists
Like
Liked
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
Play later
Play later
Lists
Like
Liked
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
Play later
Play later
Lists
Like
Liked
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
Play later
Play later
Lists
Like
Liked
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
Play later
Play later
Lists
Like
Liked
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
Play later
Play later
Lists
Like
Liked
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
Play later
Play later
Lists
Like
Liked
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
Play later
Play later
Lists
Like
Liked
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
Play later
Play later
Lists
Like
Liked
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
1
Episode 323: The Role of Reth with Georgios
1:22:37
1:22:37
Play later
Play later
Lists
Like
Liked
1:22:37
Summary This week, Anna and Tarun catch up with Georgios Konstantopoulos, CTO of Paradigm and long-standing friend of the ZK Pod! First they cover the work Georgios has been doing since he last appeared on the show, covering everything from updates on Foundry to the more recent work on Reth. They then dig into what makes it different, what inspires…
…
continue reading
1
Episode 322: Definitions, Security and Sumcheck in ZK Systems with Justin Thaler
1:23:47
1:23:47
Play later
Play later
Lists
Like
Liked
1:23:47
In this week’s episode, Anna and Guillermo catch up with Justin Thaler, Associate Professor at Georgetown and Research Partner at a16z. The group dive into a handful of points from Justin’s ‘17 Misconceptions about SNARKs’ article, discussing if his views have changed since it was published back in 2023 and whether some points have become common kn…
…
continue reading
1
Episode 321: STIR with Gal Arnon & Giacomo Fenzi
1:00:22
1:00:22
Play later
Play later
Lists
Like
Liked
1:00:22
In this week’s episode, Anna and Kobi chat with Gal Arnon, Ph.D student from the Weizmann Institute of Science & Giacomo Fenzi, Ph.D. student in the COMPSEC Lab at EPFL. Gal and Giacomo are amongst the co-authors of ‘STIR: Reed–Solomon Proximity Testing with Fewer Queries’ and in this conversation, they discuss how their research led them to work o…
…
continue reading
1
Episode 320: A Deep Dive into Shared Sequencers with Espresso's Ben Fisch
1:02:23
1:02:23
Play later
Play later
Lists
Like
Liked
1:02:23
In this week’s episode, Anna and Brendan Farmer catch up with Ben Fisch, CEO of Espresso Systems. They explore the inner workings of the current L2 sequencing landscape and then discuss how a shared sequencing marketplace like Espresso works. They touch on how MEV plays a part in the new system, how the role of the sequencer can be separated into s…
…
continue reading
1
Episode 319: The Past & Present of the L2 Landscape with Jordi Baylina
1:01:10
1:01:10
Play later
Play later
Lists
Like
Liked
1:01:10
In this week’s episode, Anna catches up with Jordi Baylina, OG Ethereum contributor and Polygon zkEVM Technical Lead. They cover what Jordi has been working on since he was last on the show in 2021. Back then, zkEVMs were still just an idea. Now that many of these systems have launched, they have a chance to look at how these fit into the general L…
…
continue reading
1
Episode 318: Threshold Signature Schemes & FROST with Chelsea Komlo
59:57
59:57
Play later
Play later
Lists
Like
Liked
59:57
In this week’s episode, Anna and Nico chat with Chelsea Komlo, Chief Scientist for the Zcash Foundation and member of the Cryptography, Security, and Privacy lab at the University of Waterloo. They discuss what sparked Chelsea’s interest in cryptography research, starting with her work contributing to Tor, to her move to Zcash and her PhD work on T…
…
continue reading
1
Episode 317: Enhancing On-Chain Intelligence with Ritual
1:08:32
1:08:32
Play later
Play later
Lists
Like
Liked
1:08:32
This week, Anna and Tarun chat with Niraj Pant and Anish Agnihotri from Ritual. 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…
…
continue reading
1
Episode 316: Alin Tomescu on Distributed On-chain Randomness and Keyless Accounts
1:01:56
1:01:56
Play later
Play later
Lists
Like
Liked
1:01:56
In this week’s episode, Anna and Nico chat with Alin Tomescu, founding team member and Head of Cryptography at Aptos Labs. 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 subtle…
…
continue reading
1
Episode 315: ZK Hack Ecosystem & Winners of ZK Hack IV
1:12:50
1:12:50
Play later
Play later
Lists
Like
Liked
1:12:50
This week’s episode is a little different from the usual and is split into two parts with Anna and Kobi 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 chatting the top 3 hackers from ZK H…
…
continue reading
1
Episode 314: Succinct's Platform, Prover Network and SP1
1:07:09
1:07:09
Play later
Play later
Lists
Like
Liked
1:07:09
In this week’s episode, Anna and Tarun catch up with Uma Roy, CEO and cofounder of Succinct. 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 produ…
…
continue reading
1
Episode 313: Revisiting Hardware with Ingonyama
1:15:07
1:15:07
Play later
Play later
Lists
Like
Liked
1:15:07
In this week’s episode, Anna chats with Omer Shlomovits and Yuval Domb from Ingonyama. 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 compon…
…
continue reading
1
Episode 312: ZKP2P with Brian & Richard
1:03:27
1:03:27
Play later
Play later
Lists
Like
Liked
1:03:27
In this week’s episode, Anna and Tarun interview Brian Weickmann & Richard Liang from the ZKP2P 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 goal…
…
continue reading
1
Episode 311: The Launch of Celestia and Beyond
1:18:44
1:18:44
Play later
Play later
Lists
Like
Liked
1:18:44
In this week’s episode, Anna and Guillermo chat with Yaz Khoury and Ismail Khoffi from Celestia. 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. Th…
…
continue reading
1
Episode 310: Algorithmic Game Theory & PoS Tokenomics with Noam Nisan
1:06:42
1:06:42
Play later
Play later
Lists
Like
Liked
1:06:42
In this week’s episode, Anna and Tarun chat with Noam Nisan, Professor at the Hebrew University of Jerusalem, Principle Researcher at StarkWare Industries 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…
…
continue reading
