We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 3bb848b commit 36f33d7Copy full SHA for 36f33d7
g16ckt/src/gadgets/bn254/pairing.rs
@@ -554,7 +554,9 @@ pub fn ell_coeffs_montgomery<C: CircuitContext>(
554
555
let (new_r, _) = add_in_place_montgomery(circuit, &r, &q3);
556
557
- // https://github.com/BitVM/BitVM/issues/191#issuecomment-2596825624
+ // Cheap subgroup check approach:
558
+ // https://eprint.iacr.org/2022/348.pdf Section 3.1.2 Remark 2
559
+ // `ark_bn254::Config::ATE_LOOP_COUNT` is `6z + 2` mentioned in the remark.
560
let is_in_sg = {
561
let z0 = new_r.z.c0();
562
0 commit comments