Merge pull request #1758 from o1-labs/feature/infinity-flag

Update AffineCurve equal method to account for points at infinity
o1-labs · Jul 29, 2024 · 6afeb16 · 6afeb16
2 parents 0ce380a + 99082a1
commit 6afeb16
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/src/bindings b/src/bindings
diff --git a/src/lib/provable/gadgets/elliptic-curve.ts b/src/lib/provable/gadgets/elliptic-curve.ts
@@ -11,6 +11,7 @@ import {
 } from '../../../bindings/crypto/bigint-helpers.js';
 import {
   CurveAffine,
+  GroupAffine,
   affineAdd,
   affineDouble,
 } from '../../../bindings/crypto/elliptic-curve.js';
@@ -393,7 +394,7 @@ function multiScalarMulConstant(
   // TODO dedicated MSM
   let s = scalars.map(Field3.toBigint);
   let P = points.map(Point.toBigint);
-  let sum = Curve.zero;
+  let sum: GroupAffine = Curve.zero;
   for (let i = 0; i < n; i++) {
     if (useGlv) {
       sum = Curve.add(sum, Curve.Endo.scale(P[i], s[i]));

diff --git a/src/mina b/src/mina