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

가입 March 2021

51 팔로잉 중 1.4K 팬

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.