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.