Struct ivc::plonkish_lang::PlonkishWitnessGeneric

pub struct PlonkishWitnessGeneric<const N_COL: usize, const N_FSEL: usize, F: Field, Evals> {
    pub witness: GenericWitness<N_COL, Evals>,
    pub fixed_selectors: GenericWitness<N_FSEL, Evals>,
    pub phantom: PhantomData<F>,
}

Fields

witness: GenericWitness<N_COL, Evals>

fixed_selectors: GenericWitness<N_FSEL, Evals>

phantom: PhantomData<F>

Trait Implementations

impl<const N_COL: usize, const N_FSEL: usize, F: Clone + Field, Evals: Clone> Clone for PlonkishWitnessGeneric<N_COL, N_FSEL, F, Evals>

fn clone(&self) -> PlonkishWitnessGeneric<N_COL, N_FSEL, F, Evals>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<const N_COL: usize, const N_FSEL: usize, F: Debug + Field, Evals: Debug> Debug for PlonkishWitnessGeneric<N_COL, N_FSEL, F, Evals>

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

Formats the value using the given formatter.

impl<const N_COL: usize, const N_FSEL: usize, F: Field, Evals: CombinableEvals<F>> Foldable<F> for PlonkishWitnessGeneric<N_COL, N_FSEL, F, Evals>

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

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

impl<const N_COL: usize, const N_FSEL: usize, F: Hash + Field, Evals: Hash> Hash for PlonkishWitnessGeneric<N_COL, N_FSEL, F, Evals>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<const N_COL: usize, const N_FSEL: usize, F: FftField, Evals: CombinableEvals<F>> Index<Column> for PlonkishWitnessGeneric<N_COL, N_FSEL, F, Evals>

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

Map a column alias to the corresponding witness column.

type Output = [F]

The returned type after indexing.

impl<const N_COL: usize, const N_FSEL: usize, F: PartialEq + Field, Evals: PartialEq> PartialEq<PlonkishWitnessGeneric<N_COL, N_FSEL, F, Evals>> for PlonkishWitnessGeneric<N_COL, N_FSEL, F, Evals>

fn eq(&self, other: &PlonkishWitnessGeneric<N_COL, N_FSEL, F, Evals>) -> 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<const N_COL: usize, const N_FSEL: usize, F: Eq + Field, Evals: Eq> Eq for PlonkishWitnessGeneric<N_COL, N_FSEL, F, Evals>

impl<const N_COL: usize, const N_FSEL: usize, F: Field, Evals> StructuralEq for PlonkishWitnessGeneric<N_COL, N_FSEL, F, Evals>

impl<const N_COL: usize, const N_FSEL: usize, F: Field, Evals> StructuralPartialEq for PlonkishWitnessGeneric<N_COL, N_FSEL, F, Evals>

impl<const N_COL: usize, const N_FSEL: usize, Curve: CommitmentCurve, Evals: CombinableEvals<Curve::ScalarField>> Witness<Curve> for PlonkishWitnessGeneric<N_COL, N_FSEL, Curve::ScalarField, Evals>