- The host architecture is
linux/amd64
with Rust 1.86.0:rustc 1.86.0 (05f9846f8 2025-03-31)
. - The guest target is
riscv32im-risc0-zkvm-elf
with Rust nightly-2025-02-14:rustc 1.86.0-nightly (a567209da 2025-02-13)
.
Reproducing a Build
To replicate a build done on the Axiom Proving API, follow the following steps. Before running them, make sure you havecargo-openvm
and Docker installed.
- Download the program source code (a
tar.gz
file) and the OpenVM config (aopenvm.toml
file) from the Axiom Proving API console program page. - Prepare the following files locally:
compile.sh
), that compiles a program and puts the output in the output
directory:
compile.sh
Dockerfile
.
Note that --platform=linux/amd64
on the first line is necessary to guarantee that the build is identical.
Dockerfile
- And then run these commands:
- Finally, download the OpenVM exe from the Axiom Proving API console and confirm that it matches what you obtained locally.