Skip to content

Commit

Permalink
removed extra reduce and added comment
Browse files Browse the repository at this point in the history
  • Loading branch information
erabinov authored and jtguibas committed Aug 20, 2024
1 parent 6d38087 commit 6dc9353
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion crates/recursion/circuit/src/fri.rs
Original file line number Diff line number Diff line change
Expand Up @@ -204,8 +204,9 @@ pub fn verify_query<C: Config>(
let index_sibling: Var<_> = builder.eval(one - index_bits.clone()[offset]);
let index_pair = &index_bits[(offset + 1)..];

// Reduce folded_eval (mod the BabyBear prime) since it gets used multiple times below and
// the reductions will be repeated.
builder.reduce_e(folded_eval);
builder.reduce_e(step.sibling_value);

let evals_ext = [
builder.select_ef(index_sibling, folded_eval, step.sibling_value),
Expand Down

0 comments on commit 6dc9353

Please sign in to comment.