Struct folding::instance_witness::ExtendedWitness

pub struct ExtendedWitness<G: CommitmentCurve, W: Witness<G>> {
    pub witness: W,
    pub extended: BTreeMap<usize, Evaluations<G::ScalarField, Radix2EvaluationDomain<G::ScalarField>>>,
}

This structure represents a witness extended with extra columns that are added by quadraticization

Fields

witness: W

This is the original witness, without quadraticization

extended: BTreeMap<usize, Evaluations<G::ScalarField, Radix2EvaluationDomain<G::ScalarField>>>

Extra columns added by quadraticization to lower the degree of expressions to 2

Implementations

impl<G: CommitmentCurve, W: Witness<G>> ExtendedWitness<G, W>

pub fn is_extended(&self) -> bool

Return true if the no extra columns are added by quadraticization

Can be used to know if the extended witness columns are already computed, to avoid overriding them

Trait Implementations

impl<G: Clone + CommitmentCurve, W: Clone + Witness<G>> Clone for ExtendedWitness<G, W>where G::ScalarField: Clone,

fn clone(&self) -> ExtendedWitness<G, W>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<G: Debug + CommitmentCurve, W: Debug + Witness<G>> Debug for ExtendedWitness<G, W>where G::ScalarField: Debug,

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

Formats the value using the given formatter.

impl<G: CommitmentCurve, W: Witness<G>> Foldable<<G as AffineRepr>::ScalarField> for ExtendedWitness<G, W>

fn combine(a: Self, b: Self, challenge: G::ScalarField) -> Self

Combine two objects ‘a’ and ‘b’ into a new object using the challenge.

impl<G: CommitmentCurve, W: Witness<G>> Witness<G> for ExtendedWitness<G, W>