Generate your first proof with the Axiom Proving API in under 5 minutes
cargo-axiom
using the following command. You should first make sure
you have installed the necessary Prerequisites, notably
including cargo-openvm
.
AXIOM_API_KEY
environment variable in a .env
file.
cargo axiom register
should be run in the directory containing the .env
file.
Cargo.toml
and adds openvm
dependencies for you.
The openvm
version used depends on your local cargo openvm
version, so make sure cargo openvm
is up to date.
config-id = cfg_01k3w1spnpnxzry017g5jzcy97
.
program-id
and display the project information. You can check the build status with:
--wait
will poll the status automatically.
"fibonacci"
and unique project IDs like prj_01k3r5vxwn4f1r3ekna6vs7ppd
."bulky-piculet"
and program IDs like prg_01k3r5vx20szgmn225k11hw8ez
.cargo axiom build
, the CLI will prompt you for a project name and create the project accordingly.
The project-id
is stored locally at .axiom/project-id
. On subsequent runs in the same directory, the CLI will reuse this project-id
so new programs are added to the same project.
To add a program to an existing project, add --project-id <ID>
to your build command.
proof-id
. You can check the status of the proving job with:
--wait
polls the proving status automatically
cargo-axiom
, make sure you have the following packages installed: