Backends

AirScript currently comes bundled with two backends:

• Winterfell backend which outputs Air trait 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 --target flag.

For example, the following will output Winterfell Air trait implementation for AIR constraints described in example.air file:

./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.