Struct Builder

pub struct Builder<C: Config> {
    pub operations: TracedVec<DslIr<C>>,
    pub flags: BuilderFlags,
    pub is_sub_builder: bool,
    /* private fields */
}

A builder for the DSL.

Can compile to both assembly and a set of constraints.

Fields

operations: TracedVec<DslIr<C>>

flags: BuilderFlags

is_sub_builder: bool

Implementations

impl<F: PrimeField32 + TwoAdicField, EF: ExtensionField<F> + TwoAdicField> Builder<AsmConfig<F, EF>>

pub fn compile_isa(self) -> Program<F>

pub fn compile_isa_with_options(self, options: CompilerOptions) -> Program<F>

impl<C: Config> Builder<C>

pub fn num2bits_v( &mut self, num: Var<C::N>, num_bits: u32, ) -> Array<C, Var<C::N>>

Converts a variable to bits.

pub fn num2bits_v_circuit( &mut self, num: Var<C::N>, bits: usize, ) -> Vec<Var<C::N>>

Converts a variable to bits inside a circuit.

pub fn num2bits_f( &mut self, num: Felt<C::F>, num_bits: u32, ) -> Array<C, Var<C::N>>

Converts a felt to bits.

pub fn num2bits_f_circuit(&mut self, num: Felt<C::F>) -> Vec<Var<C::N>>

Converts a felt to bits inside a circuit.

pub fn bits2num_v(&mut self, bits: &Array<C, Var<C::N>>) -> Var<C::N>

Convert bits to a variable.

pub fn bits2num_v_circuit(&mut self, bits: &[Var<C::N>]) -> Var<C::N>

Convert bits to a variable inside a circuit.

pub fn bits2num_f( &mut self, bits: &Array<C, Var<C::N>>, num_bits: u32, ) -> Felt<C::F>

Convert bits to a felt.

pub fn reverse_bits_len( &mut self, index_bits: &Array<C, Var<C::N>>, bit_len: impl Into<RVar<C::N>>, ) -> Array<C, Var<C::N>>

Reverse a list of bits.

SAFETY: calling this function with bit_len greater [NUM_BITS] will result in undefined behavior.

Reference: [p3_util::reverse_bits_len]

pub fn reverse_bits_len_circuit( &mut self, index_bits: Vec<Var<C::N>>, bit_len: usize, ) -> Vec<Var<C::N>>

Reverse a list of bits inside a circuit.

SAFETY: calling this function with bit_len greater [NUM_BITS] will result in undefined behavior.

Reference: [p3_util::reverse_bits_len]

impl<C: Config> Builder<C>

pub fn create_sub_builder(&self) -> Self

Creates a new builder with a given number of counts for each type.

pub fn set_static_loops(&mut self, static_loop: bool)

Set whether all loops must be static and unrolled

pub fn push(&mut self, op: DslIr<C>)

Pushes an operation to the builder.

pub fn trace_push(&mut self, op: DslIr<C>)

Pushes an operation to the builder and records a trace if RUST_BACKTRACE=1.

pub fn uninit<V: Variable<C>>(&mut self) -> V

Creates an uninitialized variable.

pub fn eval<V: Variable<C>, E: Into<V::Expression>>(&mut self, expr: E) -> V

Evaluates an expression and returns a variable.

pub fn eval_expr(&mut self, expr: impl Into<SymbolicVar<C::N>>) -> RVar<C::N>

Evaluates an expression and returns a right value.

pub fn inc(&mut self, u: &Usize<C::N>)

Increments Usize by one.

pub fn constant<V: FromConstant<C>>(&mut self, value: V::Constant) -> V

Evaluates a constant expression and returns a variable.

pub fn assign<V: Variable<C>, E: Into<V::Expression>>( &mut self, dst: &V, expr: E, )

Assigns an expression to a variable.

pub fn cast_felt_to_var(&mut self, felt: Felt<C::F>) -> Var<C::N>

Casts a Felt to a Var.

pub fn unsafe_cast_var_to_felt(&mut self, var: Var<C::N>) -> Felt<C::F>

Casts a Var to a Felt.

pub fn assert_eq<V: Variable<C>>( &mut self, lhs: impl Into<V::Expression>, rhs: impl Into<V::Expression>, )

Asserts that two expressions are equal.

pub fn assert_ne<V: Variable<C>>( &mut self, lhs: impl Into<V::Expression>, rhs: impl Into<V::Expression>, )

Asserts that two expressions are not equal.

pub fn assert_var_eq<LhsExpr: Into<SymbolicVar<C::N>>, RhsExpr: Into<SymbolicVar<C::N>>>( &mut self, lhs: LhsExpr, rhs: RhsExpr, )

Assert that two vars are equal.

pub fn assert_var_ne<LhsExpr: Into<SymbolicVar<C::N>>, RhsExpr: Into<SymbolicVar<C::N>>>( &mut self, lhs: LhsExpr, rhs: RhsExpr, )

Assert that two vars are not equal.

pub fn assert_felt_eq<LhsExpr: Into<SymbolicFelt<C::F>>, RhsExpr: Into<SymbolicFelt<C::F>>>( &mut self, lhs: LhsExpr, rhs: RhsExpr, )

Assert that two felts are equal.

pub fn assert_felt_ne<LhsExpr: Into<SymbolicFelt<C::F>>, RhsExpr: Into<SymbolicFelt<C::F>>>( &mut self, lhs: LhsExpr, rhs: RhsExpr, )

Assert that two felts are not equal.

pub fn assert_ext_eq<LhsExpr: Into<SymbolicExt<C::F, C::EF>>, RhsExpr: Into<SymbolicExt<C::F, C::EF>>>( &mut self, lhs: LhsExpr, rhs: RhsExpr, )

Assert that two exts are equal.

pub fn assert_ext_ne<LhsExpr: Into<SymbolicExt<C::F, C::EF>>, RhsExpr: Into<SymbolicExt<C::F, C::EF>>>( &mut self, lhs: LhsExpr, rhs: RhsExpr, )

Assert that two exts are not equal.

pub fn assert_var_array_eq( &mut self, lhs: &Array<C, Var<C::N>>, rhs: &Array<C, Var<C::N>>, )

Assert that two arrays are equal.

pub fn lt<LhsExpr: Into<SymbolicVar<C::N>>, RhsExpr: Into<SymbolicVar<C::N>>>( &mut self, lhs: LhsExpr, rhs: RhsExpr, ) -> RVar<C::N>

Compares two variables.

pub fn if_eq<LhsExpr: Into<SymbolicVar<C::N>>, RhsExpr: Into<SymbolicVar<C::N>>>( &mut self, lhs: LhsExpr, rhs: RhsExpr, ) -> IfBuilder<'_, C>

Evaluate a block of operations if two expressions are equal.

pub fn if_ne<LhsExpr: Into<SymbolicVar<C::N>>, RhsExpr: Into<SymbolicVar<C::N>>>( &mut self, lhs: LhsExpr, rhs: RhsExpr, ) -> IfBuilder<'_, C>

Evaluate a block of operations if two expressions are not equal.

pub fn range( &mut self, start: impl Into<RVar<C::N>>, end: impl Into<RVar<C::N>>, ) -> RangeBuilder<'_, C>

Evaluate a block of operations over a range from start to end.

pub fn do_loop( &mut self, f: impl FnMut(&mut Builder<C>) -> Result<(), BreakLoop>, )

Evaluate a block of operations repeatedly (until a break).

pub fn break_loop(&mut self) -> Result<(), BreakLoop>

Break out of a loop.

pub fn print_debug(&mut self, val: usize)

pub fn print_v(&mut self, dst: Var<C::N>)

Print a variable.

pub fn print_f(&mut self, dst: Felt<C::F>)

Print a felt.

pub fn print_e(&mut self, dst: Ext<C::F, C::EF>)

Print an ext.

pub fn hint_var(&mut self) -> Var<C::N>

pub fn hint_felt(&mut self) -> Felt<C::F>

pub fn hint_ext(&mut self) -> Ext<C::F, C::EF>

pub fn hint_vars(&mut self) -> Array<C, Var<C::N>>

Hint a vector of variables.

Writes the next element of the witness stream into memory and returns it.

pub fn hint_felts(&mut self) -> Array<C, Felt<C::F>>

Hint a vector of felts.

pub fn hint_exts(&mut self) -> Array<C, Ext<C::F, C::EF>>

Hint a vector of exts.

Emits two hint opcodes: the first for the number of exts, the second for the list of exts themselves.

pub fn witness_var(&mut self) -> Var<C::N>

pub fn witness_felt(&mut self) -> Felt<C::F>

pub fn witness_ext(&mut self) -> Ext<C::F, C::EF>

pub fn error(&mut self)

Throws an error.

pub fn materialize(&mut self, num: RVar<C::N>) -> Var<C::N>

Materializes a usize into a variable.

pub fn static_commit_public_value(&mut self, index: usize, val: Var<C::N>)

Commits a Var as public value. This value will be constrained when verified. This method should only be used in static mode.

pub fn commit_public_value(&mut self, val: Felt<C::F>)

Register and commits a felt as public value. This value will be constrained when verified.

pub fn commit_public_values(&mut self, vals: &Array<C, Felt<C::F>>)

Commits an array of felts in public values.

pub fn commit_vkey_hash_circuit(&mut self, var: Var<C::N>)

pub fn commit_commited_values_digest_circuit(&mut self, var: Var<C::N>)

pub fn cycle_tracker_start(&mut self, name: &str)

pub fn cycle_tracker_end(&mut self, name: &str)

pub fn halt(&mut self)

impl<C: Config> Builder<C>

pub fn array<V: MemVariable<C>>( &mut self, len: impl Into<RVar<C::N>>, ) -> Array<C, V>

Initialize an array of fixed length len. The entries will be uninitialized.

pub fn vec<V: MemVariable<C>>(&mut self, v: Vec<V>) -> Array<C, V>

Creates an array from a vector.

pub fn uninit_fixed_array<V: Variable<C>>(&mut self, len: usize) -> Array<C, V>

Create an uninitialized Array::Fixed.

pub fn dyn_array<V: MemVariable<C>>( &mut self, len: impl Into<RVar<C::N>>, ) -> Array<C, V>

Creates a dynamic array for a length.

pub fn get<V: MemVariable<C>, I: Into<RVar<C::N>>>( &mut self, slice: &Array<C, V>, index: I, ) -> V

pub fn get_ptr<V: MemVariable<C>, I: Into<RVar<C::N>>>( &mut self, slice: &Array<C, Array<C, V>>, index: I, ) -> Ptr<C::N>

Returns a pointer to the array at the specified index within the given slice.

pub fn get_ref<V: MemVariable<C>, I: Into<RVar<C::N>>>( &mut self, slice: &Array<C, V>, index: I, ) -> Ref<C, V>

pub fn set<V: MemVariable<C>, I: Into<RVar<C::N>>, Expr: Into<V::Expression>>( &mut self, slice: &Array<C, V>, index: I, value: Expr, )

pub fn set_value<V: MemVariable<C>, I: Into<RVar<C::N>>>( &mut self, slice: &Array<C, V>, index: I, value: V, )

impl<C: Config> Builder<C>

pub fn fri_single_reduced_opening_eval( &mut self, alpha: Ext<C::F, C::EF>, curr_alpha_pow: Ext<C::F, C::EF>, at_x_array: &Array<C, Felt<C::F>>, at_z_array: &Array<C, Ext<C::F, C::EF>>, ) -> Ext<C::F, C::EF>

impl<C: Config> Builder<C>

pub fn poseidon2_permute( &mut self, array: &Array<C, Felt<C::F>>, ) -> Array<C, Felt<C::F>>

Applies the Poseidon2 permutation to the given array.

Reference: [p3_poseidon2::Poseidon2]

pub fn poseidon2_permute_mut(&mut self, array: &Array<C, Felt<C::F>>)

Applies the Poseidon2 permutation to the given array.

Reference: [p3_poseidon2::Poseidon2]

pub fn poseidon2_compress( &mut self, left: &Array<C, Felt<C::F>>, right: &Array<C, Felt<C::F>>, ) -> Array<C, Felt<C::F>>

Applies the Poseidon2 compression function to the given array.

Reference: [p3_symmetric::TruncatedPermutation]

pub fn poseidon2_compress_x( &mut self, result: &Array<C, Felt<C::F>>, left: &Array<C, Felt<C::F>>, right: &Array<C, Felt<C::F>>, )

Applies the Poseidon2 compression to the given array.

Reference: [p3_symmetric::TruncatedPermutation]

pub fn poseidon2_hash( &mut self, array: &Array<C, Felt<C::F>>, ) -> Array<C, Felt<C::F>>

Applies the Poseidon2 permutation to the given array.

Reference: [p3_symmetric::PaddingFreeSponge]

pub fn poseidon2_hash_x( &mut self, array: &Array<C, Array<C, Felt<C::F>>>, ) -> Array<C, Felt<C::F>>

pub fn poseidon2_hash_ext( &mut self, array: &Array<C, Array<C, Ext<C::F, C::EF>>>, ) -> Array<C, Felt<C::F>>

impl<C: Config> Builder<C>

pub fn alloc(&mut self, len: impl Into<RVar<C::N>>, size: usize) -> Ptr<C::N>

Allocates an array on the heap.

pub fn load<V: MemVariable<C>>( &mut self, var: V, ptr: Ptr<C::N>, index: MemIndex<C::N>, )

Loads a value from memory.

pub fn store<V: MemVariable<C>>( &mut self, ptr: Ptr<C::N>, index: MemIndex<C::N>, value: V, )

Stores a value to memory.

pub fn load_heap_ptr(&mut self) -> Ptr<C::N>

pub fn store_heap_ptr(&mut self, ptr: Ptr<C::N>)

impl<C: Config> Builder<C>

pub fn new_ref<V: MemVariable<C>>(&mut self) -> Ref<C, V>

Initialize a new instance of type T. The entries will be uninitialized.

pub fn deref<V: MemVariable<C>>(&mut self, ptr: &Ref<C, V>) -> V

Copies the referenced data onto the stack

pub fn set_to_expr<V: MemVariable<C>, Expr: Into<V::Expression>>( &mut self, ptr: &mut Ref<C, V>, value: Expr, )

pub fn set_to_value<V: MemVariable<C>>(&mut self, ptr: &mut Ref<C, V>, value: V)

impl<C: Config> Builder<C>

pub fn generator(&mut self) -> Felt<C::F>

The generator for the field.

Reference: [p3_baby_bear::BabyBear]

pub fn select_v( &mut self, cond: Var<C::N>, a: Var<C::N>, b: Var<C::N>, ) -> Var<C::N>

Select a variable based on a condition.

pub fn select_f( &mut self, cond: Var<C::N>, a: Felt<C::F>, b: Felt<C::F>, ) -> Felt<C::F>

Select a felt based on a condition.

pub fn select_ef( &mut self, cond: Var<C::N>, a: Ext<C::F, C::EF>, b: Ext<C::F, C::EF>, ) -> Ext<C::F, C::EF>

Select an extension based on a condition.

pub fn exp_power_of_2<V: Variable<C>, E: Into<V::Expression>>( &mut self, e: E, power_log: usize, ) -> V

where V::Expression: MulAssign<V::Expression> + Clone,

Exponentiates a variable to a power of two.

pub fn exp_bits<V>(&mut self, x: V, power_bits: &Array<C, Var<C::N>>) -> V

where V::Expression: AbstractField, V: Copy + Mul<Output = V::Expression> + Variable<C>,

Exponentiates a variable to an array of bits in little endian.

pub fn exp_f_bits( &mut self, x: Felt<C::F>, power_bits: Vec<Var<C::N>>, ) -> Felt<C::F>

Exponentiates a felt to a list of bits in little endian.

pub fn exp_e_bits( &mut self, x: Ext<C::F, C::EF>, power_bits: Vec<Var<C::N>>, ) -> Ext<C::F, C::EF>

Exponentiates a extension to a list of bits in little endian.

pub fn exp_reverse_bits_len<V>( &mut self, x: V, power_bits: &Array<C, Var<C::N>>, bit_len: impl Into<RVar<C::N>>, ) -> V

where V::Expression: AbstractField, V: Copy + Mul<Output = V::Expression> + Variable<C> + CanSelect<C>,

Exponentiates a variable to a list of reversed bits with a given length.

Reference: [p3_util::reverse_bits_len]

pub fn exp_power_of_2_v<V>( &mut self, base: impl Into<V::Expression>, power_log: impl Into<RVar<C::N>>, ) -> V

where V: Variable<C> + Copy + Mul<Output = V::Expression>,

Exponentiates a variable to a list of bits in little endian.

pub fn exp_power_of_2_v_circuit<V>( &mut self, base: impl Into<V::Expression>, power_log: usize, ) -> V

where V: Copy + Mul<Output = V::Expression> + Variable<C>,

Exponentiates a variable to a list of bits in little endian inside a circuit.

pub fn sll<V>(&mut self, base: impl Into<V::Expression>, shift: RVar<C::N>) -> V

where V: Variable<C> + Clone + Add<Output = V::Expression>,

Multiplies base by 2^{log_power}.

pub fn ext_from_base_slice(&mut self, arr: &[Felt<C::F>]) -> Ext<C::F, C::EF>

Creates an ext from a slice of felts.

pub fn felts2ext(&mut self, felts: &[Felt<C::F>]) -> Ext<C::F, C::EF>

pub fn ext2felt(&mut self, value: Ext<C::F, C::EF>) -> Array<C, Felt<C::F>>

Converts an ext to a slice of felts.

pub fn ext2felt_circuit(&mut self, value: Ext<C::F, C::EF>) -> [Felt<C::F>; 4]

Converts an ext to a slice of felts inside a circuit.

Trait Implementations

impl<C: Clone + Config> Clone for Builder<C>

where C::N: Clone,

fn clone(&self) -> Builder<C>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<C: Debug + Config> Debug for Builder<C>

where C::N: Debug,

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

Formats the value using the given formatter.

impl<C: Default + Config> Default for Builder<C>

where C::N: Default,

fn default() -> Builder<C>

Returns the “default value” for a type.