Asterisc Task Tracker

[pcw109550]

This issue gives an overview to taking Asterisc to the current Cannon's level. Expected to be a superset of proto's TODOs: #7.

Cannon-compatible CLI commands

• feat: Cannon-compatible binary #8
• feat: Support metadata for symbol lookup #15
• rvgo:Add stopAtPreimage flag #56

Contracts integration

• feat: Local Context #9
• feat: Local Preimage Support #10
• fix: PreimageOracle off-by-one #11
• feat: Fetch PreimageOracle from upstream #13
• feat: Rename Step.sol to RISCV.sol #17
• feat: Proper contract ABI for RISCV.sol #19
• feat: Asterisc contracts VM tests - FFI #20
• Contracts deploy script #26
• rvsol: Import VMStatus from DisputeTypes.sol #30

VM Fixes

• Fix fast VM storeMemUnaligned() #32
• Allow misaligned clock_gettime syscall #33
• Implicit ignore unsupported syscalls #52
• rvsol: RISCV.sol Compatibility with MIPS.sol #54
• TODO: Check op-program complied using go 1.22 can be run at asterisc. Cannon failed with error cannot open standard fds.

Add more tests

• feat: Asterisc contracts VM tests - Forge Test  #22
• Syscall fuzz test #21
• More syscall fuzz test #23
• rvgo: Step revert test #31
• rvsol: Add rvsol revert test cases #34
• More syscall fuzz test (reopen) #29
• rvgo: Upload rvgo coverage to Codecov #42
• test: Devnet Alloc for local testing #55

CI

• rvgo: Lint CI job #28
• rvsol: Lint CI job #27
• ci: make absolute prestate for asterisc #40
• rvsol: Dump post state after asterisc deployment on devnet #39
• ci: Devnet alloc after asterisc deployment #47
• op-program-test CI workflow #53
• op-e2e: ci: asterisc fault proof tests #51

Test op-program using asterisc

• Fix for running op-program #16
• More op-program tests with prod chain data: Sampling 8% blocks of op-mainnet.

Deployment

• Contracts deploy script #26
• Reproducible absolute prestate of op-program #67
• Reproducible absolute prestate of op-program 1.0.0 #70
• Stage 1.4 Sepolia Deployment Artifacts #72

Misc

• Implement basic make command for build and test #25
• rvgo: Generate contract bindings #43
• Support stop at precompile preimage type #49
• rvgo: Fix inverted hint writing conditional check #61