Skip to content

Commit

Permalink
Merge pull request #2303 from cx19981114/feat/varuna/annotation
Browse files Browse the repository at this point in the history
fix varuna selector annotation
  • Loading branch information
howardwu authored Jan 20, 2024
2 parents 329af73 + 91c2679 commit da68deb
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion algorithms/src/snark/varuna/ahp/selectors.rs
Original file line number Diff line number Diff line change
Expand Up @@ -85,7 +85,7 @@ pub(crate) fn apply_randomized_selector<F: PrimeField>(
// This removes a mul and div by v_H operation over each circuit's (target_domain - src_domain)
// We have two scenario's: either we return a remainder witness or there is none.
if !remainder_witness {
// Substituting in s_i, we get that poly_i * s_i / v_H = poly_i / v_H * (H_i.size() / H.size());
// Substituting in s_i, we get that poly_i * s_i / v_H = poly_i / v_H_i * (H_i.size() / H.size());
let selector_time = start_timer!(|| "Compute selector without remainder witness");

let (mut h_i, remainder) = poly.divide_by_vanishing_poly(*src_domain)?;
Expand Down

0 comments on commit da68deb

Please sign in to comment.