Struct BaseExpWitness

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

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>

The base to be used for exponentiation.

Implementations

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

where P: PackedField,

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

where P: RepackedExtension<PExpBase>, PExpBase::Scalar: BinaryField, PExpBase: PackedField,

Constructs a witness where the base is the static BinaryField.

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

where P: RepackedExtension<PExpBase>, P::Scalar: BinaryField + ExtensionField<PExpBase::Scalar>, PExpBase::Scalar: BinaryField, PExpBase: PackedField,

Constructs a witness with a specified multilinear base.

Requirements

• base have packed_evals() is Some

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> Clone for BaseExpWitness<'a, P>

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

Returns a copy of the value.

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

Performs copy-assignment from source.