This project is inspired by ZVMlab, which was written in Python. ZVMlab featured a minimal "compiler", along with some tooling to view traces in a UI, and execute scripts against ZVMs (gzond).
This is a golang rewrite from scratch of that same project, this time in go-lang to be more stable and nice to use.
So far, it only contains
- a minimal "compiler", which is not a proper compiler, but it can be used to create ZVM bytecode and do some basic higher level operations.
- Some infrastructure for writing ZVM-based fuzzers
See [examples/calltree](the calltree example) to get an idea of how to use this thing, along with an analysis done using this framework.
There are a few different utilities in this repo, based on this library.
Tracediff allows you to load evm (jsonl) files and find differences.
Traceview allows you to analyse an evm trace file
Bugs found via the fuzzer or via tests generated using go-evmlab in general
- Nethermind erroneous gas in BLS-multiexp: NethermindEth/nethermind#2208
- Geth error calculating BLS gas: ethereum/go-ethereum#21253
- Besu error on EIP-2929 bug and fix