Type Alias VerifierPublicValuesConstraintFolder 

pub type VerifierPublicValuesConstraintFolder<'a, C> = GenericVerifierPublicValuesConstraintFolder<'a, <C as IopCtx>::F, <C as IopCtx>::EF, <C as IopCtx>::F, <C as IopCtx>::EF, <C as IopCtx>::EF>;

A folder for verifier constraints on public values.

Aliased Type

pub struct VerifierPublicValuesConstraintFolder<'a, C> {
    pub perm_challenges: (&'a <C as IopCtx>::EF, &'a [<C as IopCtx>::EF]),
    pub alpha: <C as IopCtx>::EF,
    pub accumulator: <C as IopCtx>::EF,
    pub public_values: &'a [<C as IopCtx>::F],
    pub local_interaction_digest: <C as IopCtx>::EF,
    pub _marker: PhantomData<(<C as IopCtx>::F, <C as IopCtx>::EF)>,
}

Fields

perm_challenges: (&'a <C as IopCtx>::EF, &'a [<C as IopCtx>::EF])

The challenges for the permutation.

alpha: <C as IopCtx>::EF

The constraint folding challenge.

accumulator: <C as IopCtx>::EF

The accumulator for the constraint folding.

public_values: &'a [<C as IopCtx>::F]

The public values.

local_interaction_digest: <C as IopCtx>::EF

The local interaction digests.

_marker: PhantomData<(<C as IopCtx>::F, <C as IopCtx>::EF)>

The marker type.