fault-proofs: Fix VM State layout (#46)

ethereum-optimism · Feb 15, 2024 · a9a5d15 · a9a5d15
1 parent eb25a12
commit a9a5d15
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/specs/experimental/fault-proof/cannon-fault-proof-vm.md b/specs/experimental/fault-proof/cannon-fault-proof-vm.md
@@ -49,8 +49,9 @@ It consists of the following fields:
 7. `hi` - 32-bit MIPS HI special register.
 8. `heap` - 32-bit base address of the most recent memory allocation via mmap.
 9. `exitCode` - 8-bit exit code.
-10. `exited` - 1-bit indicator that the VM has exited.
-11. `registers` - General-purpose MIPS32 registers. Each register is a 32-bit value.
+10. `exited` - 8-bit indicator that the VM has exited.
+11. `step` - 8-byte step counter.
+12. `registers` - General-purpose MIPS32 registers. Each register is a 32-bit value.
 
 The state is represented by packing the above fields, in order, into a 226-byte buffer.