We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 6cae8af commit 2ad2370Copy full SHA for 2ad2370
src/backends/plonky2/primitives/ec/curve.rs
@@ -420,8 +420,8 @@ impl CircuitBuilderElliptic for CircuitBuilder<GoldilocksField, 2> {
420
let u = FieldTarget::new(outputs[10..15].try_into().unwrap());
421
let t = FieldTarget::new(outputs[15..20].try_into().unwrap());
422
let b1 = self.constant(Point::B1);
423
- let z = self.nnf_add_scalar_times_generator_power(b1, 0, &z);
424
- let t = self.nnf_add_scalar_times_generator_power(b1, 0, &t);
+ let z = self.nnf_add_scalar_times_generator_power(b1, 1, &z);
+ let t = self.nnf_add_scalar_times_generator_power(b1, 1, &t);
425
let xq = self.nnf_div(&x, &z);
426
let uq = self.nnf_div(&u, &t);
427
PointTarget { x: xq, u: uq }
0 commit comments