George Kadianakis(@asn_d6):What does end-to-end formal verification of an Ethereum client look like? With @kevaundray, we enumerated the available options, from translating Rust into Lean to verified compilers. As we gear up to commit to an approach, we hope this post serves as a reference and a discussion point.

George Kadianakis

@asn_d6

Thoughtleading central. EF Research

Joined March 2021

51 Following 1.4K Followers

George Kadianakis@asn_d6

2026.09.25 10:15

What does end-to-end formal verification of an Ethereum client look like? With @kevaundray, we enumerated the available options, from translating Rust into Lean to verified compilers. As we gear up to commit to an approach, we hope this post serves as a reference and a discussion point.