A Lean-Checked Ethereum Verification Benchmark

Lean-checked tasks turn Ethereum verification into a benchmark you can actually trust

Coding benchmarks did not match what we were seeing when using LLMs for formal verification. So we built our own. Today we’re releasing the Ethereum Verification Benchmark: 135 fresh smart-contract verification tasks checked by the Lean 4
Ranked #1 on backlist 2026-06-24 (24 Jun 2026 UTC) · by (th0rgal) ·

How it ranks: Backlist reads my Twitter/X timeline, scores every tweet for substance with an LLM rubric (not engagement), and publishes the daily top picks with a one-line takeaway. Curated by Surya Dantuluri.