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.

Additional links mentioned in this episode:


Check out the ZK Jobs Board here: ZK Jobs. Find your next job working in ZK!


Anoma’s first fractal instance, Namada, is launching soon!

Namada is a proof-of-stake L1 for interchain asset-agnostic privacy. Namada natively interoperates with fast-finality chains via IBC and with Ethereum via a trustless two-way bridge.

For privacy, Namada deploys an upgraded version of the multi-asset shielded pool (MASP) circuit that allows all assets (fungible and non-fungible) to share a common shielded set – this removes the size limits of the anonymity set and provides the best privacy guarantees possible for every user in the multichain.

The MASP circuit's latest update enables shielded set rewards directly in the shielded set, a novel feature that funds privacy as a public good.

Follow Namada on twitter @namada for more information and join the community on Discord discord.gg/namada.


Zero-knowledge is changing the world and until now, building ZK applications meant learning new, chain-specific languages and complex cryptography. But no more!

With SnarkyJS, the easiest to use zk SDK, developers can add the magic of zk to their apps using TypeScript!

Whether you're targeting Mina, the leading zk-native blockchain, or off-chain applications, [SnarkyJS](snarkyjs.o1labs.org) from O(1) Labs has you covered. With support for infinite recursion, in-browser proving, and so much more, the full power of zk is available to everyone.

Visit [snarkyjs.o1labs.org](snarkyjs.o1labs.org) to get started.


If you like what we do:

Previous Episodes

Episode 332: Brussels catch up with Hart from Across

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 Across’ construction, the tradeoff space and how this compares to other interop solutions. Then, in ZK Podcast tradition, the group shift gears with a few drinks and explore thoughtful observations on the week in Brussels.

Bonus: ZK Hack Montreal

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.

Episode 331: Farcaster with Varun Srinivasan

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 that can be built on top of it.

Episode 330: Frameworks for Programmable Privacy with Ying Tong and Bryan Gillespie

In this week’s episode, Anna and Guille chat with Ying Tong Lai and Bryan Gillespie about their latest research and works to date. They get to dive into Ying Tong’s work on Zcash, Geometry Research and Halo2 before exploring Bryan’s journey into ZK via Zcash and current work at Inversed Tech.

After catching up, they dive into the pair’s recent work ‘SoK: Programmable Privacy in Distributed Systems’, exploring the classifications and frameworks being introduced.

Episode 329: Building Cryptographic Proofs from Hash Functions with Alessandro Chiesa and Eylon Yogev

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 notable constructions of SNARGs based on ideal hash functions.

Episode 328: ZK on Bitcoin with Alpen Labs

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 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 fraud games mixed with ZK and which agent provides DA and more.

Episode 327: Proof Aggregation with Shumo and Yi from NEBRA

In this week’s episode Anna chats with Shumo and Yi from NEBRA. They discuss NEBRA UPA, their Universal Proof Aggregation product. 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.

Bonus: ZK Hack Montreal!

There is no episode this week, but wanted to let you know about the upcoming ZK Hack Montreal event, happening Aug 9-11. Apply now to attend as a hacker and jump into zk

https://www.zkmontreal.com/

Zk white

Subscribe

Subscribe to Zero Knowledge podcast on these links:

Join the conversation:

Newsletters:

Support: