Struct air_codegen_winter::CodeGenerator
source · pub struct CodeGenerator { /* private fields */ }Expand description
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.
Implementations
sourceimpl CodeGenerator
impl CodeGenerator
sourcepub fn new(ir: &AirIR) -> Self
pub fn new(ir: &AirIR) -> Self
Builds a new Rust scope that represents a Winterfell Air trait implementation for the provided AirIR.
sourcepub fn generate(&self) -> String
pub fn generate(&self) -> String
Returns a string of Rust code containing a Winterfell Air implementation for the AirIR with which this CodeGenerator was instantiated.
Auto Trait Implementations
impl RefUnwindSafe for CodeGenerator
impl Send for CodeGenerator
impl Sync for CodeGenerator
impl Unpin for CodeGenerator
impl UnwindSafe for CodeGenerator
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more