State Transition Tests: General and FuzzyVM

[yperbasis]

State Transition Tests have been proposed back in 2017, and finalized in 2021. This is a powerful tool to test various scenarios of contract execution. Most importantly, the solution is meant to be compatible with all implementations of EVM.

In 2021, Marius van der Wijden proposed using the exact mechanism for fuzzy testing. This has been successfully utlized to find bugs in Geth, Nethermind and Besu clients.

[JacekGlen]

Useful links:
https://mariusvanderwijden.github.io/blog/2021/05/02/FuzzyVM/ - original post
https://github.com/dvyukov/go-fuzz - generic fuzzy generator
https://github.com/MariusVanDerWijden/FuzzyVM - EVM test generator
https://github.com/holiman/goevmlab - test executor
ethereum/EIPs#176 - General State Tests proposal
https://ethereum-tests.readthedocs.io/en/latest/test_types/gstate_tests.html - General State Tests format
https://github.com/ethereum/tests/tree/develop/GeneralStateTests - general state test library

Initial findings:
Evmone implements state test tools: https://github.com/torquem-ch/evmone/tree/master/test/statetest. We can use the same concept and 'silkwormize' it:

• use silkworm::ExecutionProcessor
• use silkworm::InMemoryState for state management
• use silkworm::EvmHost for host wrapper