Struct Ast 

pub struct Ast<Expr, ExprExt> { /* private fields */ }

Ast for the constraint compiler.

Implementations

impl<F: Field, EF: ExtensionField<F>> Ast<ExprRef<F>, ExprExtRef<EF>>

pub fn new() -> Self

Constructs a new AST.

pub fn alloc(&mut self) -> ExprRef<F>

Allocate a new ExprRef and assign the result of the next operation to it.

In practice, this usually means after calling Self::alloc you would have to push an OpExpr. For example, when a = b + c, call Self::alloc to allocate the LHS, and then push the OpExpr representing b + c to self.operations.

pub fn alloc_array<const N: usize>(&mut self) -> [ExprRef<F>; N]

Allocate an array of ExprRef of constant size using Self::alloc and assign all of them to the next operation.

pub fn assign(&mut self, a: ExprRef<F>, b: ExprRef<F>)

Push an assignment operation.

pub fn alloc_ext(&mut self) -> ExprExtRef<EF>

Same as Self::alloc but for ExprExtRef

pub fn assert_zero(&mut self, x: ExprRef<F>)

Push an operation that asserts ExprRef x is zero.

pub fn assert_ext_zero(&mut self, x: ExprExtRef<EF>)

Same for Self::assert_zero but for ExprExtRef.

pub fn bin_op(&mut self, op: BinOp, a: ExprRef<F>, b: ExprRef<F>) -> ExprRef<F>

Records a binary operation and returns a new ExprRef that represents the result of this operation.

pub fn negate(&mut self, a: ExprRef<F>) -> ExprRef<F>

Same with Self::bin_op but specifically for negation.

pub fn bin_op_ext( &mut self, op: BinOp, a: ExprExtRef<EF>, b: ExprExtRef<EF>, ) -> ExprExtRef<EF>

Same with Self::bin_op but for ExprExtRef.

pub fn bin_op_base_ext( &mut self, op: BinOp, a: ExprExtRef<EF>, b: ExprRef<F>, ) -> ExprExtRef<EF>

Same with Self::bin_op but for ExprExtRef and ExprRef.

pub fn neg_ext(&mut self, a: ExprExtRef<EF>) -> ExprExtRef<EF>

Same with [Self::neg] but for ExprExtRef

pub fn ext_from_base(&mut self, a: ExprRef<F>) -> ExprExtRef<EF>

Get an ExprExtRef from ExprRef

pub fn send( &mut self, message: AirInteraction<ExprRef<F>>, scope: InteractionScope, )

Records a send AirInteraction

pub fn receive( &mut self, message: AirInteraction<ExprRef<F>>, scope: InteractionScope, )

Records a receive AirInteraction

pub fn to_string_pretty(&self, prefix: &str) -> String

A String of all the operations with [prefix] padding in the front.

pub fn call_operation( &mut self, name: String, inputs: Vec<(String, Attribute, Shape<ExprRef<F>, ExprExtRef<EF>>)>, output: Shape<ExprRef<F>, ExprExtRef<EF>>, )

Records an operation that represents a function call.

pub fn to_lean_components( &self, mapping: &HashMap<usize, String>, ) -> (Vec<String>, Vec<String>, usize)

Go through the AST and returns a tuple that contains:

1. All the evaluation steps and function calls.
2. All the constraints.
3. Number of calls.

Trait Implementations

impl<Expr: Clone, ExprExt: Clone> Clone for Ast<Expr, ExprExt>

fn clone(&self) -> Ast<Expr, ExprExt>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<Expr: Debug, ExprExt: Debug> Debug for Ast<Expr, ExprExt>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<F: Field, EF: ExtensionField<F>> Default for Ast<ExprRef<F>, ExprExtRef<EF>>

fn default() -> Self

Returns the “default value” for a type.

impl<'de, Expr, ExprExt> Deserialize<'de> for Ast<Expr, ExprExt>

where Expr: Deserialize<'de>, ExprExt: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<Expr, ExprExt> Serialize for Ast<Expr, ExprExt>

where Expr: Serialize, ExprExt: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.