On this week’s episode, Anna Rose (https://twitter.com/annarrose) interviews Michał Zając (https://twitter.com/mpfzajac) and Albert Garreta (https://twitter.com/0xAlbertG) from the Nethermind (https://nethermind.io/) 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:
Fiat-Shamir Security of FRI and Related SNARKs by Block, Garreta, Katz, Thaler, Tiwari and Zając (https://eprint.iacr.org/2023/1071.pdf)
On Soundness Notions for Interactive Oracle Proofs by Block, Garreta, Tiwari and Zając (https://eprint.iacr.org/2023/1256.pdf)
NIZKs with an Untrusted CRS: Security in the Face of Parameter Subversion by Bellare, Fuchsbauer and Scafuro (https://link.springer.com/chapter/10.1007/978-3-662-53890-6_26)
Mathematical Problems By Professor David Hilbert (http://aleph0.clarku.edu/~djoyce/hilbert/problems.html)
A summary on the FRI low degree test by Ulrich Haböck (https://eprint.iacr.org/2022/1216.pdf)
DEEP-FRI: Sampling Outside the Box Improves Soundness by Ben-Sasson, Goldberg, Kopparty, and Saraf (https://eprint.iacr.org/2019/336)
Fiat-Shamir Transformation of Multi-Round Interactive Proofs by Attema, Fehr and Klooss (https://eprint.iacr.org/2021/1377.pdf)
Other Nethermind Projects;
Lido: A proposal for partnering with Nethermind to design a mechanism for a good validator set maintenance. Phase II. (https://research.lido.fi/t/a-proposal-for-partnering-with-nethermind-to-design-a-mechanism-for-good-validator-set-maintenance-phase-2/3668/23)
Looking Forward: Obol V2 (https://blog.obol.tech/looking-forward-obol-v2/)
Applications are now open to attend zkHack Istanbul - Nov 10-12! Apply here: https://www.zkistanbul.com/ (https://www.zkistanbul.com/)
/////Polygon CDK (https://wiki.polygon.technology/docs/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 (https://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 (https://linktr.ee/zeroknowledge)
* Subscribe to our podcast newsletter (https://zeroknowledge.substack.com)
* Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm)
* Join us on Telegram (https://zeroknowledge.fm/telegram)
* Catch us on YouTube (https://zeroknowledge.fm/)