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

[pauldowman]

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