Zero Knowledge

10 Episodes
Subscribe

By: Zero Knowledge Podcast

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://gitc...

Episode 328: ZK on Bitcoin with Alpen Labs
Last Wednesday at 1:00 PM

Summary

In this week’s episode, Anna and Tarun chat with Sims Gautham 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 explore BitVM, covenants, the distinction between the Bridge Operators and sequencers in this model - and how this differs from how these actors work in Eth L2s. They then dive into SNARKnado, including what is happening under the hood, the ways in which this system offers round-based fr...


Episode 327: Proof Aggregation with Shumo and Yi from NEBRA
06/12/2024

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 with them, and future integrations to enable seamless cross-zkRollup applications. They cover prover marketplaces, verification aggregation systems, and the design space that these systems open up.

Here’s some additional links for this...


Bonus: ZK Hack Montreal!
06/05/2024

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/


Episode 326: MPC & ZK in Ligero and Ligetron
05/29/2024

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 well as the new Ligetron system and how they plan on getting this technology into the wild.

Here’s some additional links for this episode:

Ligero Ligero: Lightweight Subl...


Episode 325: Web Proofs with Tracy from Pluto
05/22/2024

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 found his way into the ZK space. He shares the concept of ‘Web Proofs’, and how Pluto can use some of the TLSNotary stack to bring private web data into on-chain applications as well as a future tool set he h...


Episode 324: Discovering New Elliptic Curves with Antonio Sanso and Youssef El Housni
05/15/2024

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, Bandersnatch and Verkle Tries amongst much more, before dissecting what terms in the title of this paper truly mean. After getting into the weeds of cryptographic technicalities, the group explores where this work could be used and what it would enable.

...


Episode 323: The Role of Reth with Georgios
05/08/2024

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 its design, where it is heading and the eventual end goals of the project. They also chat about the general client node landscape, from the ETH 2.0 research days to present day, before diving into discussing...


Episode 322: Definitions, Security and Sumcheck in ZK Systems with Justin Thaler
05/01/2024

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 knowledge since the article first rippled through the ZK community. They then dive into his new zkVM Jolt, which was initially described along with Lasso in 2023, but has now been implemented and is open to contributions from the community.

Here’s...


Episode 321: STIR with Gal Arnon & Giacomo Fenzi
04/24/2024

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 on these topics and where the thesis for this particular work sparked from. They set the stage by exploring the history of FRI and discussing some hidden nuances in how FRI works. And then they introduce STIR, a...


Announcement: ZK Hack Krakow - May 17-19 2024
04/23/2024

A quick announcement for ZK Hack Krakow, happening from May 17-19 2024 in Krakow (!).

In the spirit of ZK Hack Lisbon and ZK Hack Istanbul, ZK Hack Krakow will be hosting hackers from all over the world to join us for a weekend of building and experimenting with zk tech. Sponsors for this edition are Mina, O1Labs, Aleph Zero, Polygon, Scroll, Avail, Nethermind and more.

If you are interested, apply as a hacker - there will be prizes and bounties to be won, new friends and collaborators to meet and great workshops to get you...