Crate air_script

source ·

Structs

  • AirIR
    AirScript intermediate representation Internal representation of an AIR.
  • CodeGenerator
    Code generation targeting Rust for the Winterfell prover CodeGenerator is used to generate a Rust implementation of the Winterfell STARK prover library’s Air trait. The generated Air expresses the constraints specified by the AirIR used to build the CodeGenerator.

Functions

  • parse
    AirScript parse method to generate an AST from AirScript source files Parses the provided source and returns the AST.