Zero Knowledge
Exploring Security of ZK Systems with Nethermind’s Michał & Albert
Oct 4, 2023
Michał Zając and Albert Garreta from the Nethermind team discuss the origin story of Nethermind, cryptography research on FRI-based protocols, identifying security issues with Fiat-Shamir, exploring ZK malleability and aggregation, and building SNARKs over rings.
55:13
Episode guests
AI Summary
AI Chapters
Episode notes
Podcast summary created with Snipd AI
Quick takeaways
- The research conducted by the Nethermind team highlights the limitations and security implications of using Fry as a polynomial commitment scheme.
- The Nethermind team emphasizes the importance of non-malleable proof systems to enhance the security and trustworthiness of applications like Tornado Cash.
Deep dives
Research on Security of Fry-Based Protocols
The podcast episode discusses the research conducted by the Nethermind team on the security of Fry-based protocols. Fry is a commonly used polynomial commitment scheme in snarks and starks. The team explored the limitations and security implications of using Fry as a polynomial commitment scheme. They discovered that Fry is not a perfect polynomial commitment scheme, and there can be security loss when using it in certain scenarios, such as parallel repetition of protocols. The team aims to provide a better understanding of Fry's security properties and shed light on the considerations for designing secure protocols using Fry.
Remember Everything You Learn from Podcasts
Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
