lean Ethereum Part 1: Introduction with Justin Drake

In this episode of "Zero Knowledge," Justin Drake from the Ethereum Foundation discusses Lean Ethereum, which is structured into three layers: Consensus, Data, and Execution (C, D, E). He emphasizes the importance of ZKEVMs at the execution layer to improve throughput and gas limits, while the consensus and data layers focus on post-quantum cryptography to enhance transaction inclusion speed and finality.

Drake introduces the concept of "end game finality" to accelerate transaction speeds and highlights the ambition to rewrite the consensus layer to eliminate technical debt and update specifications. He discusses the integration of ZK technology across both execution and consensus layers, noting the challenges posed by larger post-quantum signatures and the need for aggregation to save bandwidth and reduce verification time.

Proposed solutions include SNOX to address segregation issues and LeanVM for the consensus layer, which could also be applied to data and execution layers. LeanVM is designed for hash-based cryptography and aims to tackle execution challenges for Ethereum and other blockchains. Drake warns that moving to a post-quantum system without aggregation could significantly impact performance metrics.

The Ethereum Foundation is positioned to lead in addressing these challenges, with Snarks enabling efficient proof of multiple valid signatures without public sharing, enhancing scalability. LeanVM features a custom instruction set architecture optimized for hashing, focusing on minimizing processing time.

Drake discusses the importance of formal verification for system security, supported by funding initiatives aimed at addressing complex mathematical challenges. He highlights a $1 million bounty for bridging conjectured to provable proximity gaps in the blockchain industry and emphasizes the need for end-to-end formal verification in developing a Zero-Knowledge Virtual Machine (ZKVM).

The episode also covers the introduction of LeanVM, which will undergo formal verification, and the candidate hash function Poseidon2, noted for its performance improvements over traditional options. The community is encouraged to adapt to new hash functions, with a timeline of about eight years for comfort, supported by workshops and a bounty program for cryptanalysis.

Challenges in formally verifying Poseidon's security are acknowledged, particularly regarding computational assumptions in cryptography. The discussion touches on the implications of broken hash functions and the potential for a safe migration window to alternative solutions.

Drake addresses the rollout of ScenarX signatures over Poseidon and the goal of maintaining network throughput while increasing validator numbers. The transition to post-quantum blobs in the data layer is part of the linear theorem upgrade, with proposed solutions involving erasure coding and merkle hashing. Future podcast topics will include signatures, post-quantum security, LeanVM implementation, and formal verification, with an emphasis on the role of a lean team and AI in development.