Backends

AirScript currently comes bundled with two backends:

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.


Last update: December 15, 2023
Authors: kmurphypolygon