Verkle testing updates (VIC - 2024-08-26) --- ### `execution-spec-tests` repo - The main branch is [`verkle/main`](https://github.com/ethereum/execution-spec-tests/tree/verkle/main) - Verkle tests are under [`tests/verkle`](https://github.com/ethereum/execution-spec-tests/tree/verkle/main/tests/verkle) folder - [EIP-6800 tests examples](https://github.com/ethereum/execution-spec-tests/tree/verkle/main/tests/verkle/eip6800_genesis_verkle_tree) - [EIP-4762 tests examples](https://github.com/ethereum/execution-spec-tests/blob/verkle/main/tests/verkle/eip4762_verkle_gas_witness) - [Latest release](https://github.com/ethereum/execution-spec-tests/releases/tag/verkle@v0.0.3) --- ### geth verkle fork (infra) - Changes in `evm [t8n/blocktest]` - New [CI pipeline](https://github.com/gballet/go-ethereum/blob/kaustinen-with-shapella/.github/workflows/spec-tests.yml) for filling & consuming - [Filling run](https://github.com/gballet/go-ethereum/actions/runs/10560098743/job/29252938368?pr=476) & [consumption run](https://github.com/gballet/go-ethereum/actions/runs/10560098743/job/29253964815?pr=476) - [Uploads generated fixtures](https://github.com/gballet/go-ethereum/actions/runs/10560098743) for each run - CI now: check filling tests aren't broken & test branch-self-coherency. - CI soon: Add running stable fixtures (i.e: catch regressions) --- ### geth verkle fork (fixtures) - Verkle-genesis (all state in a VKT): - EIP-(6800/4762/etc) test vectors (~161) - "Backfilling" already existing tests (~330) - Overlay-tree (pre-state in MPT, block-run in VKT): - Dummy-ish multi-block test (~1) - "Backfilling" already existing tests (~600) - Filling & consuming tests from previous forks (i.e: check pre-Verkle execution isn't broken) --- ### geth verkle fork (next steps) - `execution-spec-tests`: - Support for _witness assertions_ - Re-enable post-state output in fixtures - verkle `devnet7` path?: - Run EIP-6800 tests (~23) is a good start - Run "backfilled" tests (~300) - Witness assertions ready? >100 fixtures mostly targeting EIP-4762 - Greedy? run everything (~>600), noisy - [Implement designed state-conversion tests](https://hackmd.io/@jsign/verkle-state-conversion-test-vectors)