Struct BabyBearExt4Chip 

pub struct BabyBearExt4Chip {
    pub base: BabyBearChip,
}

Fields

base: BabyBearChip

Implementations

impl BabyBearExt4Chip

pub fn new(base_chip: BabyBearChip) -> Self

pub fn load_witness( &self, ctx: &mut Context<Fr>, value: BabyBearExt4, ) -> BabyBearExt4Wire

Loads each BabyBear coefficient and constrains only that its assigned advice cell fits in 31 bits.

The Rust input is canonicalized for the honest witness assignment, but the circuit does not prove each advice cell is < p. Use load_reduced_witness for transcript/hash inputs.

pub fn load_reduced_witness( &self, ctx: &mut Context<Fr>, value: BabyBearExt4, ) -> ReducedBabyBearExt4Wire

Loads each coefficient and constrains it to the canonical BabyBear range.

pub fn load_reduced_constant( &self, ctx: &mut Context<Fr>, value: BabyBearExt4, ) -> ReducedBabyBearExt4Wire

Loads canonical BabyBear constants for each coefficient and returns them with reduced type evidence.

pub fn load_constant( &self, ctx: &mut Context<Fr>, value: BabyBearExt4, ) -> BabyBearExt4Wire

pub fn add( &self, ctx: &mut Context<Fr>, a: BabyBearExt4Wire, b: BabyBearExt4Wire, ) -> BabyBearExt4Wire

pub fn neg( &self, ctx: &mut Context<Fr>, a: BabyBearExt4Wire, ) -> BabyBearExt4Wire

pub fn sub( &self, ctx: &mut Context<Fr>, a: BabyBearExt4Wire, b: BabyBearExt4Wire, ) -> BabyBearExt4Wire

pub fn scalar_mul( &self, ctx: &mut Context<Fr>, a: BabyBearExt4Wire, b: BabyBearWire, ) -> BabyBearExt4Wire

pub fn scalar_mul_add( &self, ctx: &mut Context<Fr>, a: BabyBearExt4Wire, b: BabyBearWire, c: BabyBearExt4Wire, ) -> BabyBearExt4Wire

Fused a * b + c where b is a base-field scalar. Uses mul_add gates to save cells vs separate scalar_mul + add.

pub fn select( &self, ctx: &mut Context<Fr>, cond: SafeBool<Fr>, a: BabyBearExt4Wire, b: BabyBearExt4Wire, ) -> BabyBearExt4Wire

pub fn assert_zero(&self, ctx: &mut Context<Fr>, a: BabyBearExt4Wire)

pub fn assert_equal( &self, ctx: &mut Context<Fr>, a: BabyBearExt4Wire, b: BabyBearExt4Wire, )

pub fn mul( &self, ctx: &mut Context<Fr>, a: BabyBearExt4Wire, b: BabyBearExt4Wire, ) -> BabyBearExt4Wire

pub fn div( &self, ctx: &mut Context<Fr>, a: BabyBearExt4Wire, b: BabyBearExt4Wire, ) -> BabyBearExt4Wire

pub fn reduce_max_bits( &self, ctx: &mut Context<Fr>, a: BabyBearExt4Wire, ) -> BabyBearExt4Wire

pub fn base(&self) -> &BabyBearChip

pub fn range(&self) -> &RangeChip<Fr>

pub fn zero(&self, ctx: &mut Context<Fr>) -> BabyBearExt4Wire

pub fn from_base_const( &self, ctx: &mut Context<Fr>, value: BabyBear, ) -> BabyBearExt4Wire

pub fn from_base_var( &self, ctx: &mut Context<Fr>, value: BabyBearWire, ) -> BabyBearExt4Wire

pub fn mul_base_const( &self, ctx: &mut Context<Fr>, a: BabyBearExt4Wire, c: BabyBear, ) -> BabyBearExt4Wire

pub fn square( &self, ctx: &mut Context<Fr>, a: BabyBearExt4Wire, ) -> BabyBearExt4Wire

pub fn pow_power_of_two( &self, ctx: &mut Context<Fr>, a: BabyBearExt4Wire, n: usize, ) -> BabyBearExt4Wire

Trait Implementations

impl Clone for BabyBearExt4Chip

fn clone(&self) -> BabyBearExt4Chip

Returns a duplicate of the value.

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

Performs copy-assignment from source.