laconicd/x/evm/spec/03_state_transitions.md