Bonus: Apply to zk10!

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!

Episode 287: Gnosis catch-up with Stefan George

This week, Anna Rose chats with Stefan George from Gnosis. 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.

Episode 286: Paris 2023 Recap with Uma, Zaki and Tarun

Join host Anna Rose and guests Uma Roy, Zaki Manian and Tarun Chitra as they recap all things EthCC Paris. This impromptu chat takes a look back at the topics, talks, parties and events of the Paris week and what really caught their attention. Expect some spicy takes, offtopic rambles, inside scoops and more.

Episode 285: Intents with Chris Goes from Anoma

This week, host Anna Rose and co-host Tarun Chitra catch up with Chris Goes from Heliax, the team behind Anoma and Namada. They dive into the concept of ‘intents’, exploring their origin, evolution, and discuss the intent-based systems that exist today. They then 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.

Episode 284: Using Formal Verification on ZK Systems with Jon Stephens

This week Anna Rose chats with Jon Stephens, Computer Science Ph.D. student in the UToPiA group at UT Austin and co-founder of Veridise. 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.

Episode 283: BabyAGI, Agents and Cutting-edge AI with Yohei

This week, host Anna Rose and co-host Kobi Gurkan chat with Yohei Nakajima, General Partner at Untapped Capital and creator of BabyAGI. 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 then discuss the possible impacts of some of this AI tech, how ZK may help mediate the challenges it introduces and more.

Episode 282: Error Correcting Codes & Information Theory with Ron Rothblum

This week, host Anna Rose and Nico Mohnblatt chat with Ron Rothblum, Professor of Computer Science at Technion. They explore Ron’s wealth of experience around the theory of cryptography and ZK, tapping into his experience to get into the weeds on multiple topics including error correcting codes, FRI, FFTs, Reed-Solomon encoding, Fiat-Shamir and more.

Episode 281: Exploring Lurk: a New Language for Recursive zk-SNARKs

In this week’s episode, host Anna Rose chats with Chhi’mèd Künzang and François Garillot from Lurk Labs 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 zk-SNARKs.

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.

Episode 280: ProtoStar with Benedikt Bünz and Binyi Chen

In this week’s episode, Anna Rose dives back into accumulation schemes with Benedikt Bünz and Binyi Chen from Espresso Systems. 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.

Bonus: zkpod.ai & Attested Audio Experiment with Daniel Kang

In this bonus episode, Anna jumps back on the mic for a quick interview with guest Daniel Kang. They describe the Attested Audio Experiment, a joint project they are doing around zkpod.ai which explores how to create attested audio using zkps. In this experiment, they create a proof that some piece of edited audio originates from original audio recorded by Anna, Kobi and Daniel. This proof helps to distinguish this from zkpod.ai generated audio. In the future some iteration of this architecture could be used by content creators to distinguish deepfake audio from the real thing.

Episode 279: Intro to zkpod.ai with Anna and Kobi

This week, Anna Rose and Kobi Gurkan continue their conversation with a full episode dedicated to their new side project zkpod.ai – 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.

Episode 278: The State of ZK with Anna and Kobi

In this week’s episode, host Anna Rose and Kobi Gurkan 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.

Zk white


Subscribe to Zero Knowledge podcast on these links:

Join the conversation: