Specifications and tests for Ethereum [EL] + [CL]¶
We write the specifications of Ethereum's execution and consensus layers as executable code, and generate the reference tests from them. We help researchers turn EIPs into precise specs, and provide client developers with test vectors and frameworks to verify their implementations.
Specs [EL]
Execution layer. The EVM and state transition in ethereum/execution-specs, its test fixtures, and the tools that run them against clients.
Specs [CL]
Consensus layer. The beacon chain and fork choice in ethereum/consensus-specs, its reference tests, and the c-kzg-4844 library.