Struct folding::instance_witness::RelaxedWitness

pub struct RelaxedWitness<G: CommitmentCurve, W: Witness<G>> {
    pub extended_witness: ExtendedWitness<G, W>,
    pub error_vec: Evaluations<G::ScalarField, Radix2EvaluationDomain<G::ScalarField>>,
}

Fields

extended_witness: ExtendedWitness<G, W>

The original witness, extended with the columns added by quadriticization.

error_vec: Evaluations<G::ScalarField, Radix2EvaluationDomain<G::ScalarField>>

The error vector, introduced when homogenizing the polynomials. For degree 3 folding, it is E1 - c T1 - c^2 T2 + c^3 E2

Implementations

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

pub fn get_extended_column( &self, i: &usize ) -> Option<&Evaluations<G::ScalarField, Radix2EvaluationDomain<G::ScalarField>>>

Provides access to the extra columns added by quadraticization

Trait Implementations

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

fn clone(&self) -> RelaxedWitness<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 RelaxedWitness<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 RelaxedWitness<G, W>

A relaxed/homogenized witness can be folded.

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>> RelaxableWitness<G, W> for RelaxedWitness<G, W>

fn relax( self, _zero_poly: &Evaluations<G::ScalarField, Radix2EvaluationDomain<G::ScalarField>> ) -> RelaxedWitness<G, W>