Struct folding::instance_witness::ExtendedInstance

pub struct ExtendedInstance<G: CommitmentCurve, I: Instance<G>> {
    pub instance: I,
    pub extended: Vec<PolyComm<G>>,
}

An extended instance is an instance that has been extended with extra columns by quadraticization. The original instance is stored in the instance field. The extra columns are stored in the extended field. For instance, if the original instance has n columns, and the system is described by a degree 3 polynomial, an additional column will be added, and extended will contain 1 commitment.

Fields

instance: I

The original instance.

extended: Vec<PolyComm<G>>

Commitments to the extra columns added by quadraticization

Trait Implementations

impl<G: Clone + CommitmentCurve, I: Clone + Instance<G>> Clone for ExtendedInstance<G, I>

fn clone(&self) -> ExtendedInstance<G, I>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<G: CommitmentCurve, I: Instance<G>> Foldable<<G as AffineRepr>::ScalarField> for ExtendedInstance<G, I>

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, I: Instance<G>> Instance<G> for ExtendedInstance<G, I>

fn to_absorb(&self) -> (Vec<G::ScalarField>, Vec<G>)

Return the elements to be absorbed by the sponge

The commitments to the additional columns created by quadriticization are appended to the existing commitments of the initial instance to be absorbed. The scalars are unchanged.

fn get_blinder(&self) -> G::ScalarField

Returns the blinder value. It is the same as the one of the original

fn get_alphas(&self) -> &Alphas<G::ScalarField>

Returns the alphas values for the instance

impl<G: PartialEq + CommitmentCurve, I: PartialEq + Instance<G>> PartialEq<ExtendedInstance<G, I>> for ExtendedInstance<G, I>

fn eq(&self, other: &ExtendedInstance<G, I>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<G: Eq + CommitmentCurve, I: Eq + Instance<G>> Eq for ExtendedInstance<G, I>

impl<G: CommitmentCurve, I: Instance<G>> StructuralEq for ExtendedInstance<G, I>

impl<G: CommitmentCurve, I: Instance<G>> StructuralPartialEq for ExtendedInstance<G, I>