Overview
This theme covers our work on improving the security of Ethereum's consensus protocol along three complementary lines: formal analysis of in-flight EIPs, protocol-level changes that strengthen the guarantees the chain provides, and formal verification of consensus specifications.
Why it matters
The consensus protocol secures tens of billions of dollars of value; its guarantees should be stated precisely, checked mechanically, and strengthened where the current design falls short. Reviewing EIPs before they ship catches gaps early. Verifying specifications guards against drift between intended behavior and deployed code. And where new protocol properties can be added — accountable safety being one example — that work belongs here too.