TODOs

[protolambda]

Original Asterisc TODO tracker:

• [ ] Go:
  • [ ] update state model to track multiple copies of registers state and PC
  • [ ] Parse MIPS_ABIFLAGS section to see metadata from Go
  • [x] Validate abi offset values in vm
  • [ ] support syscalls
  • [ ] extend w/ threading clone/futex/gettid/tgkil/tkill (see Cannon [multi-threading draft PR]
  • [x] memory brk/mmap
  • [x] exit
  • [x] read/write/fcntl/openat
  • [x] Go syscalls compat (https://github.com/ethereum-optimism/optimism/pull/7281))
  • [x] read/write syscall based pre-image oracle
  • [x] Pass RISC-V test vectors (RV64 I, M, A)
  • [x] Implement yul opcodes in Go
  • [x] fast/slow u256
  • [x] fast u64
  • [x] slow u64 (u256 backed)
  • [x] Implement merkleized state loading/storing state-machine
  • [x] Implement ALU + load/store parts of RISC-V
  • [x] Implement state merkleization
  • [x] Implement access-list collecter shim and db
  • [x] change Go step code to use uint256 words
  • [x] split Go into fast and slow mode
• [x] Sol:
  • [x] Forge solidity testing setup
  • [x] Forge solidity test VM step on snapshotted proof data
  • [x] Complete port of Go slow-mode emu to solidity/Yul
  • [x] Pass RISC-V test vectors
  • [x] read/write syscall based pre-image oracle
• [ ] Misc:
  • [ ] CLI command to verify proof, in EVM and Go mode
  • [x] analyze Go runtime/compiler
  • [x] CLI command to build VM snapshot from ELF
  • [x] CLI command to transition VM snapshot N steps with interval snapshots
  • [x] CLI command to produce proof for snapshot
  • [x] Go-Sol differential fuzzing
  • [x] Test basic Go programs

[pauldowman]

@protolambda Are any of these things still planned? Or should we close this?