https://zeroknowledge.fm/bonus-zksummit10-is-a-wrap-zk-hack-istanbul/

https://zeroknowledge.fm/the-zero-knowledge-summit-10/

We’re excited to announce The Zero Knowledge Summit 10 ! This one-day invite-only event will consist of a mixture of […]

The post The Zero Knowledge Summit 10 appeared first on ZK Podcast.

https://zeroknowledge.fm/episode-291-mev-mechanism-design-the-censorship-problem-with-mallesh-m-pai/

On this week’s episode, Anna Rose and Tarun Chitra chat with Mallesh Pai, Associate Professor of Economics at Rice University. They explore mechanism design in an economic context and Mallesh’s work around MEV topics – specifically on censorship in an MEV context and within his Special Mechanism Group.

The discussion takes the team back into the topic of MEV, revisiting the proposer builder separation concept and the impact that this may have on the efficiency and censorship resistance of these systems.

The post Episode 291: MEV, Mechanism Design & the Censorship Problem with Mallesh M Pai appeared first on ZK Podcast.

https://zeroknowledge.fm/episode-290-exploring-teaching-and-auditing-zk-with-david-wong/

This week, Anna and Guillermo chat with David Wong, author of the Real-World Cryptography and a cofounder zksecurity.xyz – a ZK auditing firm. They chat about how he originally got interested in cryptography, his early work as a security consultant, his work on the Facebook crypto project and the Mina project, zksecurity.xyz, auditing techniques and their efficacy in a ZK context, what common bugs are found in ZK code, and much more.

The post Episode 290: Exploring, Teaching and Auditing ZK with David Wong appeared first on ZK Podcast.

https://zeroknowledge.fm/episode-289-penumbra-catch-up-with-finch-erwan-and-jen/

https://zeroknowledge.fm/288-2/

This week, Anna Rose and Kobi Gurkan chat with Or Sattath, Assistant Professor at the Ben-Gurion University in the Computer Science department. They deep dive into Or’s work on Quantum Cryptography. They begin by defining Quantum Computing and Quantum Cryptography, covering what this means for existing cryptography. They also explore how new discoveries in this field can interact with existing Proof-of-work systems and how Quantum computers could affect the game theory of mining in the future.

The post Episode 288: Quantum Cryptography with Or Sattath appeared first on ZK Podcast.

https://zeroknowledge.fm/bonus-apply-to-zk10/

https://zeroknowledge.fm/episode-287-gnosis-catch-up-with-stefan-george/

This week, Anna Rose chats with Stefan George from Gnosis. They start with an update about the projects that have spun out of Gnosis over the years – 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.

The post Episode 287: Gnosis catch-up with Stefan George appeared first on ZK Podcast.

https://zeroknowledge.fm/episode-286-paris-2023-recap-with-uma-zaki-and-tarun/

https://zeroknowledge.fm/285-2/

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.

The post Episode 285: Intents with Chris Goes from Anoma appeared first on ZK Podcast.

https://zeroknowledge.fm/284-2/

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.

The post Episode 284: Using Formal Verification on ZK Systems with Jon Stephens appeared first on ZK Podcast.

https://zeroknowledge.fm/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.

The post Episode 283: BabyAGI, Agents and Cutting-edge AI with Yohei appeared first on ZK Podcast.

https://zeroknowledge.fm/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.

The post Episode 282: Error Correcting Codes & Information Theory with Ron Rothblum appeared first on ZK Podcast.

https://zeroknowledge.fm/episode-281-exploring-lurk-a-new-language-for-recursive-zksnarks/

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.

The post Episode 281: Exploring Lurk: a New Language for Recursive zkSNARKs appeared first on ZK Podcast.

https://zeroknowledge.fm/episode-280-protostar-with-benedikt-bunz-and-binyi-chen/

https://zeroknowledge.fm/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.

The post Bonus: zkpod.ai & Attested Audio Experiment with Daniel Kang appeared first on ZK Podcast.

https://zeroknowledge.fm/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. 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.

The post Episode 279: Intro to zkpod.ai with Anna and Kobi appeared first on ZK Podcast.

https://zeroknowledge.fm/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.

The post Episode 278: The State of ZK with Anna and Kobi appeared first on ZK Podcast.

https://zeroknowledge.fm/episode-277-nova-and-beyond-with-srinath-setty/

In today’s episode, Anna Rose and Nico Mohnblatt interview Srinath Setty, Principal Researcher at Microsoft Research and author of notable works such as Spartan, Nova, SuperNova, and HyperNova. This discussion covers Setty’s early work and how this led to him working on SNARKs, folding schemes and sumcheck protocols, as well as his views on the future trajectory of the ZK space.

Given the current chatter around Nova-style accumulation schemes, this interview offers a chance to explore the perspective of a key contributor behind these developments.

The post Episode 277: Nova and Beyond with Srinath Setty appeared first on ZK Podcast.

https://zeroknowledge.fm/276-2/

In this week’s episode, host Anna Rose sits down with Yi Sun, co-founder of Axiom. Yi was recently on the show to discuss ZK ML’s, however this time they take a closer look at the Axiom ecosystem and what it means to be a ZK coprocessor for Ethereum. During the interview they also explore what problems Axiom are trying to solve, how ZKPs are used to help bring historic data into smart contracts and what new use cases this can support.

The post Episode 276: Expanding Computation on Ethereum with Axiom appeared first on ZK Podcast.

https://zeroknowledge.fm/episode-275-building-in-public-with-sandy-ye-from-scroll/

https://zeroknowledge.fm/episode-274-snarks-a-trilogy-with-ariel-gabizon/

This week, Anna and Ariel Gabizon cover the SNARK trilogy; a history of pairing-based SNARKs in 3 acts. Starting from Jens Groth’s early works on SNARKs, Ariel takes us on a journey through key moments and breakthroughs in SNARKs over the last decade. They also dive into the emerging accumulation research streams on folding schemes and Ariel’s latest work surrounding lookup tables! This is an episode you won’t want to miss.

The post Episode 274: SNARKs: A Trilogy with Ariel Gabizon appeared first on ZK Podcast.

https://zeroknowledge.fm/273-2/

In this week’s episode, host Anna Rose sits down with Zac Williamson, the CEO of Aztec. Anna and Zac dive deep into the history of Plonk, one of the most important proving systems to emerge in the last 5 years. Zac explains how the initial ideas came to be, how it was developed with co-author Ariel Gabizon, and how the system has evolved over time, branching out into many different iterations of Plonk, leading up to his recent work on Goblin Plonk.

The conversation also touches on Aztec’s cutting-edge technology stack, including their Noir zkDSL and their planned private programmable L2, Aztec 3. Zac shares his insights on the state of ZK applications and folding schemes, and provides a glimpse into the future of the ZK space.

The post Episode 273: History of Plonk, Noir, and the building of Aztec 3 appeared first on ZK Podcast.

https://zeroknowledge.fm/episode-272-the-move-into-web3-with-aptos-avery-ching/

This week, Anna Rose interviews Avery Ching, Co-Founder and Chief Technology Officer at Aptos Labs. They cover Avery’s working history, including his time working on Meta’s Blockchain project, what this experience meant to him and how this led to the creation of Aptos. They discuss Aptos as it stands today, Avery’s experience of building in the current market and the unique qualities of the Aptos project.

The post Episode 272: The Move into Web3 with Aptos’ Avery Ching appeared first on ZK Podcast.

https://zeroknowledge.fm/episode-271-between-two-zk-events-with-nico-and-guillermo/

https://zeroknowledge.fm/episode-270-fhe-and-zkps-with-sunscreens-ravital-solomon/

This week Anna Rose chats with Ravital Solomon, founder of Sunscreen. They cover her interest in lattice-based cryptography and how this paved the way for her work on FHE, starting with her time at NuCypher then followed by her startup Sunscreen. They dive into the challenges involved when building with FHE as well as exploring the power in combining ZKP and FHE. They also discuss the early emergence of lattice-based zero knowledge proofs.

The post Episode 270: FHE and ZKPs with Sunscreen’s Ravital Solomon appeared first on ZK Podcast.

https://zeroknowledge.fm/episode-269-auctions-with-kshitij-kulkarni-matheus-v-x-ferreira-and-tarun/

In this week’s episode Anna Rose and Tarun Chitra explore the topic of auctions with guests Kshitij Kulkarni, PHD student at Berkeley’s EECS department and Matheus V. X. Ferreira, Postdoctoral Fellow in Computer Science at Harvard John A. Paulson School of Engineering and Applied Sciences.

They discuss the history of auctions, both in the real world and in blockchain, and go on to cover more recent blockchain uses, such as MEV and NFT auctions. They review the incentives of both auction holders and the participants as well as how this incentive design can influence the effectiveness of the auctions themselves.

The post Episode 269: Auctions with Kshitij Kulkarni, Matheus V. X. Ferreira and Tarun appeared first on ZK Podcast.

https://zeroknowledge.fm/episode-267-zk-hardware-sessions-with-zprize-pt-2/

In this two-part series exploring ZK Hardware, Anna Rose interviews various participants from the ZPrize competition, alongside the creator of ZPrize and co-host of this episode Alex Pruden from Aleo. Throughout these interviews, they dig into the different types of hardware, such as GPUs and FPGAs, that can be used to accelerate ZKP computation. They also discuss the underlying mathematical techniques in ZKPs that can be optimized for and the tricks and strategies that ZPrize competitors used to achieve these optimizations.

The post Episode 267: ZK Hardware Sessions with Zprize Pt. 2 appeared first on ZK Podcast.

https://zeroknowledge.fm/bonus-zk-hack-lisbon-zksummit9-update/