From 405afebf1f4f761ff4d22668bbe3d981b59159d6 Mon Sep 17 00:00:00 2001 From: Danny Willems Date: Tue, 17 Sep 2024 19:21:26 +0200 Subject: [PATCH] Arrabiata/doc: small update The homogeneisation will be later, using mvpoly, and also for the cross-terms --- arrabiata/src/interpreter.rs | 7 ++----- arrabiata/src/prover.rs | 2 +- arrabiata/src/verifier.rs | 2 +- 3 files changed, 4 insertions(+), 7 deletions(-) diff --git a/arrabiata/src/interpreter.rs b/arrabiata/src/interpreter.rs index b108541563..cc276727b9 100644 --- a/arrabiata/src/interpreter.rs +++ b/arrabiata/src/interpreter.rs @@ -701,11 +701,8 @@ pub fn run_app(env: &mut E) { /// A row must be created to generate a challenge to combine the constraints /// later. The challenge will be also accumulated over time. /// -/// FIXME: homogeneize -/// FIXME: compute error terms -/// FIXME: the resulting constraints do not include the selectors. We decided to -/// use this design to only keep in the constraints the columns that are not -/// fixed by the relation. +/// FIXME: the resulting constraints do not include the selectors, yet. The +/// resulting constraints must be multiplied by the corresponding selectors. pub fn run_ivc(env: &mut E, instr: Instruction) { match instr { Instruction::SixteenBitsDecomposition => { diff --git a/arrabiata/src/prover.rs b/arrabiata/src/prover.rs index d8c56627e8..9838a060f0 100644 --- a/arrabiata/src/prover.rs +++ b/arrabiata/src/prover.rs @@ -1,4 +1,4 @@ -//! A prover for the Nova recursive SNARK. +//! A prover for the folding/accumulation scheme use crate::proof::Proof; use ark_ec::AffineCurve; diff --git a/arrabiata/src/verifier.rs b/arrabiata/src/verifier.rs index 2ec0352de2..96fe150143 100644 --- a/arrabiata/src/verifier.rs +++ b/arrabiata/src/verifier.rs @@ -1 +1 @@ -//! A verifier for the Nova recursive SNARK. +//! A verifier for the folding/accumulation scheme