Zero Knowledge

Release Date

All Episodes

lean Ethereum Part 6: Formal Verification with Alex Hicks

https://youtu.be/9u4fu7TiZCA In this episode, Nico Mohnblatt speaks with Alex Hicks from the Ethereum Foundation about formal verification and its role in the lean Ethereum vision. This is the 6th and final episode of the lean Ethereum mini-series. Nico and Alex explore what it m ... Show more

. 57min 42sec

lean Ethereum Part 5: Devnets & Upgrade Coordination with Will and Raúl

https://youtu.be/Ul2bs8INF0k In this episode Nico Mohnblatt chats with Will Corcoran and Raúl Kripalani from the Ethereum Foundation. This is part 5 in the 6-part leanEthereum miniseries, shifting focus from the cryptographic primitives and LeanVM stack to the real-world integrat ... Show more

. 39min 6sec

lean Ethereum Part 4: leanVM, a Custom VM for Signature Aggregation

https://youtu.be/YWkyvTrwtQU In this episode of the lean Ethereum miniseries, Nico Mohnblatt speaks with Thomas Coratger and Emile from the Ethereum Foundation about the design and implementation of LeanVM, a minimal zkVM created to support post-quantum signature aggregation on E ... Show more

. 32min 55sec

lean Ethereum Part 3: Security of PQ SNARKs and an update about the Proximity Prize

https://youtu.be/v8SGKS3T-3A In this episode, Nico Mohnblatt speaks with Giacomo Fenzi from EPFL and Antonio Sanso from the Ethereum Foundation. For this 3rd instalment of the lean Ethereum miniseries, they talk about the theory and security behind post-quantum SNARKs. They dive ... Show more

. 36min 43sec

lean Ethereum Part 2: PQ Signatures and Poseidon with Dmitry and Benedikt

https://www.youtube.com/watch?v=xh8hbz1nqxQ In this episode, Nico Mohnblatt speaks with Benedikt Wagner and Dmitry Khovratovich, cryptography researchers at the Ethereum Foundation, for the second instalment of the lean Ethereum miniseries. They explore leanSig, a hash-based mult ... Show more

. 35min 11sec