Skip to content

Commit

Permalink
Arrabiata/doc: small update
Browse files Browse the repository at this point in the history
The homogeneisation will be later, using mvpoly, and also for the cross-terms
  • Loading branch information
dannywillems committed Sep 17, 2024
1 parent 81d49de commit 405afeb
Showing 3 changed files with 4 additions and 7 deletions.
7 changes: 2 additions & 5 deletions arrabiata/src/interpreter.rs
Original file line number Diff line number Diff line change
@@ -701,11 +701,8 @@ pub fn run_app<E: InterpreterEnv>(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<E: InterpreterEnv>(env: &mut E, instr: Instruction) {
match instr {
Instruction::SixteenBitsDecomposition => {
2 changes: 1 addition & 1 deletion arrabiata/src/prover.rs
Original file line number Diff line number Diff line change
@@ -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;
2 changes: 1 addition & 1 deletion arrabiata/src/verifier.rs
Original file line number Diff line number Diff line change
@@ -1 +1 @@
//! A verifier for the Nova recursive SNARK.
//! A verifier for the folding/accumulation scheme

0 comments on commit 405afeb

Please sign in to comment.