Asterisc Task Tracker #18
Description
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.soltoRISCV.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
- Check
op-programcomplied usinggo 1.22can be run at asterisc. Cannon failed with errorcannot open standard fds: Add support for F_GETFD in order to support go1.22+ #84
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