# 2024 research topics

## Fork Choice compliance testing

Implemented test generator (initial phase).
Test suites are generated: tiny (135 tests), small (1472 tests) and standard (13240 tests).

Next steps:
- performance improvements
- test generator improvements
- coverage-guided fuzz testing

## Other Eth spec testing

Estimate demand for Ethereum execution spec test generation:
- compliance testing
- EVM implementation testing
- zkEVM formal verification and testing

## Pyspec transpiler

- support execution specs
- support 3ssf specs
- add remerkleable support/workarounds to MyPy type-checking
- execution specs test generation

## Consensus specs

Message processing specs
Consensus specs decomposition (abstract spec)