Crate air_script

source ·

Modules

Structs

  • The intermediate representation of a complete AirScript program
  • 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.

Enums

Traits

  • This trait represents anything that can be run as a pass.

Functions

  • Parses the provided source and returns the AST.
  • Parses the provided source and returns the AST.