Episode 293: Exploring Security of ZK Systems with Nethermind’s Michał & Albert

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:

Previous Episodes

Episode 302: ZK for web2 interop with zkLogin & ZK Email

This week Anna and cohost Kobi chat with both Kostas Kryptos from Mysten Labs, discussing the zkLogin project and Aayush Gupta representing the ZK Email + Email Wallet projects. They explore the use case of web2 onboarding into web3, through the lens of these two different projects which emerged independently but share a lot of the same characteristics.

They discuss the way this use case problem was first identified, the solution that each project came up with independently, the decisions that each project took and the future use cases they would enable.

Episode 301: EigenLayer @ Devconnect

This week, Anna catches up with Tarun Chitra and Sreeram Kannan during a spontaneous session recorded at Devconnect 2023 in Istanbul! They cover a variety of topics seen at the event, including zk toolkits, intents and Data Availability, shedding light on how these ideas are reshaping the framework of digital interaction and governance. Their chat covers the challenges and opportunities these technologies present, highlighting their significance in the current ecosystem. Later, they explore the complexities and nuances of EigenLayer, offering detailed insights into its functionalities, applications, and potential impact on the industry.

Episode 300: A ZK Podcast Retrospective

In this week’s episode, Anna takes a look back at the last 6 years of the Zero Knowledge Podcast, how it came to be and the journey the show has been on since that very first episode in 2017. Anna reviews the highs and lows of the show, touching on episodes which made a profound impact on her own journey in the ZK space, as well as episodes she wouldn’t rush to listen to again! Discover key show learnings, how the zkSummit formed and take a trip down memory lane in the 300th episode of Zero Knowledge Podcast.

Episode 299: Catch up on zkSync with Alex G

In this week’s episode, Anna chats with Alex Gluchowski, CEO of Matter Labs & co-creator of the zkSync network. They catch up on the zkSync project since it launched in Feb 2023. They dive into recent initiatives like the ZK Stack framework, Hyperchains, and the ZK Credo mission statement. They also explore the upcoming Boojum proof system upgrade planned for zkSync Era and discuss the future of the zkSync project as a whole.

Episode 298: Mina’s zkApps and o1js with Brandon and Steve

In this week’s episode Anna Rose chats with Brandon Kase, CTO, and Steve Pack, Head of Product at O(1)Labs, focusing on the Mina Protocol. The discussion covers their journeys leading to their work on the project, developments in the Mina Protocol since the last appearance on ZK Podcast, and insights into the zkApps building environment. They delve into the technical aspects of o1js and the underlying philosophy that drives its design. The episode wraps with a forward-looking perspective on the potential applications of zero-knowledge proofs as the industry shifts from a research-centric to a builder-centric approach.

Bonus: ZK Hack Istanbul

Just a quick message to say that if you are an experienced hacker ready to jump in and build some cool zk-based applications, be sure to join our IRL hackathon on Nov 10-12. All details about ZK Hack Istanbul can be found at zkistanbul.com

Episode 297: Quantum Cryptography Part 2 with Or Sattath

In this week’s episode, Anna and Nico interview Or Sattath, Assistant Professor at the Ben-Gurion University in the Computer Science department. This is the 2nd episode with Or on this show, continuing the conversation around Quantum Cryptography. This time, he describes how we can transition from a pre-quantum to a post-quantum environment, looking at existing systems like Bitcoin and Ethereum. He covers why the methods used in the transition will be important, techniques on how this could be executed and the challenges in designing these techniques and the complications that can arise. Finally, they go on to discuss Quantum Money and recent works in this area.

Episode 296: Zeth, Bonsai and RISC Zero with Brian and Jeremy

In this week’s episode, host Anna Rose and co host Nico Mohnblatt catch up with Brian Retford and Jeremy Bruestle from RISC Zero. Together they delve into the current status of the project, breaking down the components of the stack, from the innovative RISC Zero zkVM leveraging the RISC-V instruction set architecture to the Bonsai proving service and the intriguing Type Zero zkEVM, Zeth. They also touch on their design methodology, how the system components integrate and future developments for RISC Zero.

Zk white

Subscribe

Subscribe to Zero Knowledge podcast on these links:

Join the conversation:

Newsletters:

Support: