Verkle testing updates

(VIC - 2024-08-26)

execution-spec-tests repo

• The main branch is verkle/main
• Verkle tests are under tests/verkle folder
• EIP-6800 tests examples
• EIP-4762 tests examples
• Latest release

geth verkle fork (infra)

• Changes in evm [t8n/blocktest]
• New CI pipeline for filling & consuming
• Filling run & consumption run
• Uploads generated fixtures 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