---
# System prepended metadata

title: Verkle - Spec tests summary
tags: [testing, verkle-trees]

---

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)
