proof-systems
proof-systems copied to clipboard
Limit the external dependencies to be used during the E2E testing (reuse oracle / block data)
Plan
- Run the o1vm once in default mode to generate the required configs and to fetch all the required external data;
- Execute the VM with the
STOP_ATandSNAPSHOT_STATE_ATenvars enabled;O1VM_FLAVOR="pickles" STOP_AT="=10500000" SNAPSHOT_STATE_AT="=10000000" ./run-code.sh.
- Pack and publish the resulting data set into the GCP/AWS storage bucket or Docker Image;
- Implement the
PreImageOracleTtrait forOnDiskPreImageOracleto be used during the tests; - Update codebase and configure CI to run the E2E tests with the "oracles" reuse.
The procedure was slightly changed but keeps the same idea.