AirScript currently comes bundled with two backends:
- Winterfell backend which outputs
Airtrait implementation for the Winterfell prover (Rust).
- Miden assembly backend which outputs constraint evaluation code for the Miden VM recursive verifier.
These backends can be used programmatically as crates. They can also be used via AirScript CLI by specifying
For example, the following will output Winterfell
Air trait implementation for AIR constraints described in
./target/release/airc transpile examples/example.air --target winterfell
While the following will output constraint evaluation code for the same constraints in Miden assembly.
./target/release/airc transpile examples/example.air --target masm
In both cases we assumed that the CLI has been compiled as described here.