Zero Knowledge

Latest Episodes:

Succinct Proofs and Linear Algebra with Guillermo and Alex Oct 11, 2023

Show notes

In this week’s episode, host Anna Rose and co-host Kobi Gurkan chat with Alex Evans and Guillermo Angeris about their new research paper on Succinct Proofs in Linear Algebra. The paper introduces a framework that simplifies the construction of succinct proofs and offers a toolkit of useful techniques. Their conversation also covers the use of randomized reductions in zero-knowledge proofs, the security of the FRI protocol, and the potential applications of the framework in other systems.

Here’s some additional links for this episode:

*Papers

*Other links

Applications are now open to attend zkHack Istanbul - Nov 10-12! Apply here: https://www.zkistanbul.com/

Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.

As Aleo is gearing up for their mainnet launch in Q4, this is an invitation to be part of a transformational ZK journey.

Dive deeper and discover more about Aleo at aleo.org

If you like what we do:

Find all our links here! @ZeroKnowledge | Linktree
Subscribe to our podcast newsletter
Follow us on Twitter @zeroknowledgefm
Join us on Telegram
Catch us on YouTube

Read transcript

Exploring Security of ZK Systems with Nethermind’s Michał & Albert Oct 04, 2023

Show notes

On this week’s episode, Anna Rose interviews Michał Zając and Albert Garreta from the Nethermind team. They discuss the origin story of Nethermind and its role in the ecosystem today. They also delve into the cryptography research being done at Nethermind, including their work on proving the security of FRI-based protocols, identifying security issues with Fiat-Shamir, exploring topics like ZK malleability and aggregation, and building SNARKs over rings.

Here’s some additional links for this episode:

Other Nethermind Projects;

Applications are now open to attend zkHack Istanbul - Nov 10-12! Apply here: https://www.zkistanbul.com/

/////Polygon CDK is the go-to open source chain development kit for building and launching your own ZK-powered Ethereum L2.

Using Polygon CDK, build chains precisely to your specs, from level of decentralization to throughput to cost. It’s the raw material of Polygon 2.0, an ecosystem of interconnected chains that create a value layer for the internet.

Check out wiki.polygon.technology/docs/cdk to start experimenting with your own ZK powered L2 today.

If you like what we do:

Find all our links here! @ZeroKnowledge | Linktree
Subscribe to our podcast newsletter
Follow us on Twitter @zeroknowledgefm
Join us on Telegram
Catch us on YouTube

Read transcript

State of ZK – Live at zkSummit10! Sep 27, 2023

Show notes

In this special live episode, recorded at zkSummit10, host Anna Rose chats with regular co-hosts Tarun Chitra, Guillermo Angeris and Nico Mohnblatt about the state of ZK today.

They cover how the term ‘ZK’ has evolved, market trends that are relevant to the ZK community today and ZK ‘crossovers’ like ZKML or ZKFHE and their current status in the industry. They also discuss how the ZK space could grow in the future and share their predictions. Much of the conversation is fuelled by some great questions and comments from the live zk10 audience.

This is the first episode recorded live from a ZK Podcast event, so if you have any feedback, pls tweet us @zeroknowledgefm!

Here’s some additional links for this episode:

Applications are now open to attend zkHack Istanbul - Nov 10-12! Apply here: https://www.zkistanbul.com/

Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.

As Aleo is gearing up for their mainnet launch in Q4, this is an invitation to be part of a transformational ZK journey.

Dive deeper and discover more about Aleo at aleo.org

If you like what we do:

Find all our links here! @ZeroKnowledge | Linktree
Subscribe to our podcast newsletter
Follow us on Twitter @zeroknowledgefm
Join us on Telegram
Catch us on YouTube

Read transcript

MEV, Mechanism Design & the Censorship Problem with Mallesh M Pai Sep 06, 2023

Show notes

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.

Here’s some additional links for this episode:

zkSummit 10 is happening in London on September 20, 2023! Apply to attend now -> zkSummit 10 Application Form.

Bonsai, RISC Zero’s most anticipated product, allows developers to prove huge programs off-chain, roll them into one succinct proof, and verify anywhere with low amounts of gas.

Visit https://r0.link/ZKpodcast to learn more and sign up today for the Bonsai waitlist.

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

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.

If you like what we do:

Find all our links here! @ZeroKnowledge | Linktree
Subscribe to our podcast newsletter
Follow us on Twitter @zeroknowledgefm
Join us on Telegram
Catch us on YouTube

Read transcript

Exploring, Teaching and Auditing ZK with David Wong Aug 30, 2023

Show notes

This week, Anna and Guillermo chat with David Wong, author of the Real-World Cryptography book, and a cofounder zksecurity.xyz - an auditing firm focused on Zero Knowledge technology. They chat about what first got him 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. Here’s some additional links for this episode:

Check out the ZK Jobs Board for new job opportunities in the run up to the zkSummit 10! Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup. For questions, join their Discord at aleo.org/discord. If you like what we do:

Find all our links here! @ZeroKnowledge | Linktree
Subscribe to our podcast newsletter
Follow us on Twitter @zeroknowledgefm
Join us on Telegram
Catch us on YouTube

Read transcript

Penumbra Catch Up with Finch, Erwan and Jen Aug 23, 2023

Show notes

This week, host Anna Rose chats with Finch, Erwan and Jen from the Penumbra team. They share an update about Penumbra and discuss how this zk-powered project works under the hood. Specifically, how Penumbra harnesses ZK to offer new paradigms for staking, voting and trading.

Here’s some additional links for this episode:

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

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.

If you like what we do:

Find all our links here! @ZeroKnowledge | Linktree
Subscribe to our podcast newsletter
Follow us on Twitter @zeroknowledgefm
Join us on Telegram
Catch us on YouTube

Read transcript

Quantum Cryptography with Or Sattath Aug 16, 2023

Show notes

In this week’s episode, 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 with definitions of Quantum Computing and Quantum Cryptography, covering what these will mean 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.

Here’s some additional links for this episode:

More in-depth resources recommended by Or Sattath:

A recommended smbc-comics about the power of quantum computing, authored by Zack Weinersmith (the usual cartoonist) and Scott Aaronson (a quantum computing expert)
For an in-depth introduction to quantum computing, I recommend Ronald de-Wolf's lecture notes
The Bitcoin backbone protocol with a single quantum miner, by Cojocaru et al
The fingerprint of quantum mining slightly below 16 minutes by Nerem-Gaur
Some estimates regarding timelines, which we didn't discuss, are available here and here
The insecurity of quantum Bitcoin mining, and the need to change the tie-breaking rule.
The work by Lee-Ray-Santh that analyzes the equilibrium strategy for multiple quantum miners, as a simplified one-shot game.

zkSummit 10 is happening in London on September 20, 2023! Apply to attend now -> zkSummit 10 Application Form.

Polygon Labs is thrilled to announce Polygon 2.0: The Value Layer for the Internet.

Polygon 2.0 and all of our ZK tech is open-source and community-driven. Reach out to the Polygon community on Discord to learn more, contribute, or join in and build the future of Web3 together with Polygon!

If you like what we do:

Find all our links here! @ZeroKnowledge | Linktree
Subscribe to our podcast newsletter
Follow us on Twitter @zeroknowledgefm
Join us on Telegram
Catch us on YouTube

Read transcript

Gnosis catch-up with Stefan George Aug 02, 2023

Show notes

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.

Here’s some additional links for this episode:

Previous Podcast Eps

Papers

Websites

zkSummit 10 is happening in London on September 20, 2023! Apply to attend now -> zkSummit 10 Application Form.

Polygon Labs is thrilled to announce Polygon 2.0: The Value Layer for the Internet.

Bonsai, RISC Zero’s most anticipated product, allows developers to prove huge programs off-chain, roll them into one succinct proof, and verify anywhere with low amounts of gas.

Visit https://r0.link/ZKpodcast to learn more and sign up today for the Bonsai waitlist.

If you like what we do:

Find all our links here! @ZeroKnowledge | Linktree
Subscribe to our podcast newsletter
Follow us on Twitter @zeroknowledgefm
Join us on Telegram
Catch us on YouTube

Read transcript

Paris 2023 Recap with Uma, Zaki and Tarun Jul 26, 2023

Show notes

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

Here’s some additional links for this episode:

EthCC Links

Modular Summit Talks

Polygon Labs is thrilled to announce Polygon 2.0: The Value Layer for the Internet.

Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.

For questions, join their Discord at aleo.org/discord.

If you like what we do:

Find all our links here! @ZeroKnowledge | Linktree
Subscribe to our podcast newsletter
Follow us on Twitter @zeroknowledgefm
Join us on Telegram
Catch us on YouTube

Read transcript

Intents with Chris Goes from Anoma Jul 19, 2023

Show notes

This week, host Anna Rose and co-host Tarun Chitra catch up with Chris Goes from Heliax, the team behind Anoma and Namada. They start with a quick retrospective about IBC, a project he formerly worked on, and how the protocol has evolved since it launched.

They dive into the concept of 'intents', exploring their origin, evolution, and discuss the intent-based systems that exist today. As well, they 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.

Polygon Labs is thrilled to announce Polygon 2.0: The Value Layer for the Internet.

Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.

For questions, join their Discord at aleo.org/discord.

If you like what we do:

Find all our links here! @ZeroKnowledge | Linktree
Subscribe to our podcast newsletter
Follow us on Twitter @zeroknowledgefm
Join us on Telegram
Catch us on YouTube

Read transcript

Our TOPPODCAST Picks

Follow Us

Stay Connected

Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.

Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.

Bonsai, RISC Zero’s most anticipated product, allows developers to prove huge programs off-chain, roll them into one succinct proof, and verify anywhere with low amounts of gas.

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

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

Polygon Labs is thrilled to announce Polygon 2.0: The Value Layer for the Internet.

Polygon Labs is thrilled to announce Polygon 2.0: The Value Layer for the Internet.

Bonsai, RISC Zero’s most anticipated product, allows developers to prove huge programs off-chain, roll them into one succinct proof, and verify anywhere with low amounts of gas.

Polygon Labs is thrilled to announce Polygon 2.0: The Value Layer for the Internet.

Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.

Polygon Labs is thrilled to announce Polygon 2.0: The Value Layer for the Internet.

Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.

Related Podcasts

Links

Stay Connected

Our TOPPODCAST Picks

Follow Us

Stay Connected

Zero Knowledge

Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.

Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.

Bonsai, RISC Zero’s most anticipated product, allows developers to prove huge programs off-chain, roll them into one succinct proof, and verify anywhere with low amounts of gas.

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

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

Polygon Labs is thrilled to announce Polygon 2.0: The Value Layer for the Internet.

Polygon Labs is thrilled to announce Polygon 2.0: The Value Layer for the Internet.

Bonsai, RISC Zero’s most anticipated product, allows developers to prove huge programs off-chain, roll them into one succinct proof, and verify anywhere with low amounts of gas.

Polygon Labs is thrilled to announce Polygon 2.0: The Value Layer for the Internet.

Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.

Polygon Labs is thrilled to announce Polygon 2.0: The Value Layer for the Internet.

Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.

Related Podcasts

1

2

3

4

5

6