Struct BaseExpWitness

pub struct BaseExpWitness<'a, P: PackedField, FBase: Field> {
    pub exponent: Vec<MultilinearWitness<'a, P>>,
    pub single_bit_output_layers_data: Vec<MultilinearWitness<'a, P>>,
    pub base: BaseWitness<'a, P, FBase>,
}

Fields

exponent: Vec<MultilinearWitness<'a, P>>

Multilinears that represent an integers by its bits.

single_bit_output_layers_data: Vec<MultilinearWitness<'a, P>>

Circuit layer-multilinears

base: BaseWitness<'a, P, FBase>

The base to be used for exponentiation.

Implementations

impl<'a, P, FBase> BaseExpWitness<'a, P, FBase>

where P: PackedField, FBase: BinaryField,

pub fn new_with_constant_base<PBits, PBase>( exponent: Vec<MultilinearWitness<'a, P>>, base: PBase::Scalar, ) -> Result<Self, Error>

where PBits: PackedField<Scalar = BinaryField1b>, PBase: PackedField<Scalar = FBase> + PackedExtension<PBits::Scalar, PackedSubfield = PBits>, P: PackedExtension<PBits::Scalar, PackedSubfield = PBits> + PackedExtension<PBase::Scalar, PackedSubfield = PBase>, P::Scalar: ExtensionField<PBase::Scalar>,

Constructs a witness where the base is the constant BinaryField.

pub fn new_with_dynamic_base<PBits, PBase>( exponent: Vec<MultilinearWitness<'a, P>>, base: MultilinearWitness<'a, P>, ) -> Result<Self, Error>

where PBits: PackedField<Scalar = BinaryField1b>, PBase: PackedField<Scalar = FBase> + PackedExtension<PBits::Scalar, PackedSubfield = PBits>, P: PackedExtension<PBits::Scalar, PackedSubfield = PBits> + PackedExtension<PBase::Scalar, PackedSubfield = PBase>, P::Scalar: ExtensionField<PBase::Scalar>,

Constructs a witness with a specified multilinear base.

pub const fn uses_dynamic_base(&self) -> bool

pub fn n_vars(&self) -> usize

pub fn exponentiation_result_witness(&self) -> MultilinearWitness<'a, P>

Returns the multilinear that corresponds to the exponentiation of the base to an integers.

Trait Implementations

impl<'a, P: Clone + PackedField, FBase: Clone + Field> Clone for BaseExpWitness<'a, P, FBase>

fn clone(&self) -> BaseExpWitness<'a, P, FBase>

Returns a copy of the value.

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

Performs copy-assignment from source.