Struct ivc::plonkish_lang::PlonkishInstance

pub struct PlonkishInstance<G: CommitmentCurve, const N_COL: usize, const N_CHALS: usize, const N_ALPHAS: usize> {
    pub commitments: [G; N_COL],
    pub challenges: [G::ScalarField; N_CHALS],
    pub alphas: Alphas<G::ScalarField>,
    pub blinder: G::ScalarField,
}

Fields

commitments: [G; N_COL]

challenges: [G::ScalarField; N_CHALS]

alphas: Alphas<G::ScalarField>

blinder: G::ScalarField

Implementations

impl<G: CommitmentCurve, const N_COL: usize, const N_ALPHAS: usize> PlonkishInstance<G, N_COL, 3, N_ALPHAS>

pub fn from_witness<EFqSponge: FqSponge<G::BaseField, G, G::ScalarField>, Srs: SRS<G> + Sync>( w: &GenericWitness<N_COL, Evaluations<G::ScalarField, R2D<G::ScalarField>>>, fq_sponge: &mut EFqSponge, srs: &Srs, domain: R2D<G::ScalarField> ) -> Self

pub fn verify_from_witness<EFqSponge: FqSponge<G::BaseField, G, G::ScalarField>>( &self, fq_sponge: &mut EFqSponge ) -> Result<(), String>

Trait Implementations

impl<G: Clone + CommitmentCurve, const N_COL: usize, const N_CHALS: usize, const N_ALPHAS: usize> Clone for PlonkishInstance<G, N_COL, N_CHALS, N_ALPHAS>where G::ScalarField: Clone,

fn clone(&self) -> PlonkishInstance<G, N_COL, N_CHALS, N_ALPHAS>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<G: Debug + CommitmentCurve, const N_COL: usize, const N_CHALS: usize, const N_ALPHAS: usize> Debug for PlonkishInstance<G, N_COL, N_CHALS, N_ALPHAS>where G::ScalarField: Debug,

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

Formats the value using the given formatter.

impl<G: CommitmentCurve, const N_COL: usize, const N_CHALS: usize, const N_ALPHAS: usize> Foldable<<G as AffineRepr>::ScalarField> for PlonkishInstance<G, N_COL, N_CHALS, N_ALPHAS>

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, const N_COL: usize, const N_ALPHAS: usize> Index<PlonkishChallenge> for PlonkishInstance<G, N_COL, 3, N_ALPHAS>

type Output = <G as AffineRepr>::ScalarField

The returned type after indexing.

fn index(&self, index: PlonkishChallenge) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<G: CommitmentCurve, const N_COL: usize, const N_CHALS: usize, const N_ALPHAS: usize> Instance<G> for PlonkishInstance<G, N_COL, N_CHALS, N_ALPHAS>

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

This method returns the scalars and commitments that must be absorbed by the sponge. It is not supposed to do any absorption itself, and the user is responsible for calling the sponge absorb methods with the elements returned by this method. When called on a RelaxedInstance, elements will be returned in the following order, for given instances L and R

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

Returns the alphas values for the instance

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

Return the blinder that can be used while committing to polynomials.

impl<G: PartialEq + CommitmentCurve, const N_COL: usize, const N_CHALS: usize, const N_ALPHAS: usize> PartialEq<PlonkishInstance<G, N_COL, N_CHALS, N_ALPHAS>> for PlonkishInstance<G, N_COL, N_CHALS, N_ALPHAS>where G::ScalarField: PartialEq,

fn eq(&self, other: &PlonkishInstance<G, N_COL, N_CHALS, N_ALPHAS>) -> 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, const N_COL: usize, const N_CHALS: usize, const N_ALPHAS: usize> Eq for PlonkishInstance<G, N_COL, N_CHALS, N_ALPHAS>where G::ScalarField: Eq,

impl<G: CommitmentCurve, const N_COL: usize, const N_CHALS: usize, const N_ALPHAS: usize> StructuralEq for PlonkishInstance<G, N_COL, N_CHALS, N_ALPHAS>

impl<G: CommitmentCurve, const N_COL: usize, const N_CHALS: usize, const N_ALPHAS: usize> StructuralPartialEq for PlonkishInstance<G, N_COL, N_CHALS, N_ALPHAS>