Blog¶

Specs as Models: Applying Category-Partition Testing to Ethereum's Consensus Layer

Leo Lara · June 11, 2026 · 40 min read

Reading the executable consensus specs as a formal model to systematically enumerate test scenarios — and the new tests and spec bug it found.

Felix · November 27, 2025 · 4 min read

How execution-specs tested Osaka on mainnet

Guru · November 4, 2025 · 4 min read

execution-spec-tests has successfully merged into execution-specs. We're ready for contributions!

Felix · September 15, 2025 · 3 min read

A brief summary of how we ensure that clients use the same configuration.

danceratopz · September 8, 2025 · 3 min read

In Q4 2025, execution-spec-tests is moving to execution-specs.