Function o1vm::proof::fold

source ·

pub fn fold<const N: usize, G: KimchiCurve, OpeningProof: OpenProof<G>, EFqSponge: Clone + FqSponge<G::BaseField, G, G::ScalarField>, EFrSponge: FrSponge<G::ScalarField>>(
    domain: EvaluationDomains<G::ScalarField>,
    srs: &OpeningProof::SRS,
    accumulator: &mut ProofInputs<N, G::ScalarField, LookupTableIDs>,
    inputs: &Witness<N, Vec<G::ScalarField>>
)where
    <OpeningProof as OpenProof<G>>::SRS: Sync,

Expand description

FIXME: DUMMY FOLD FUNCTION THAT ONLY KEEPS THE LAST INSTANCE