Type Alias DebugPublicValuesConstraintFolder 

pub type DebugPublicValuesConstraintFolder<'a, F> = GenericDebugPublicValuesConstraintFolder<'a, F, F, F, F, F>;

A folder for verifier constraints on public values.

Aliased Type

pub struct DebugPublicValuesConstraintFolder<'a, F> {
    pub perm_challenges: (&'a F, &'a [F]),
    pub alpha: F,
    pub accumulator: F,
    pub public_values: &'a [F],
    pub interactions: Vec<(InteractionKind, InteractionScope, Vec<F>, F)>,
    pub _marker: PhantomData<(F, F, F)>,
}

Fields

perm_challenges: (&'a F, &'a [F])

The challenges for the permutation.

alpha: F

The constraint folding challenge.

accumulator: F

The accumulator for the constraint folding.

public_values: &'a [F]

The public values.

interactions: Vec<(InteractionKind, InteractionScope, Vec<F>, F)>

The interactions.

_marker: PhantomData<(F, F, F)>

The marker type.