tests for adding same point equals doubling

o1-labs · Jan 28, 2025 · 8e77d3a · 8e77d3a
1 parent 3dd6b5a
commit 8e77d3a
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/src/lib/provable/test/twisted-curve.unit-test.ts b/src/lib/provable/test/twisted-curve.unit-test.ts
@@ -80,4 +80,17 @@ for (let Curve of curves) {
     (p, s) => CurveTwisted.scale(s, p, Curve),
     `${Curve.name} scale`
   );
+
+  // test adding same point equals doubling
+  equivalentProvable({ from: [point], to: point, verbose: true })(
+    (p) => Curve.add(p, p),
+    (p) => CurveTwisted.double(p, Curve),
+    `${Curve.name} adding same point equals doubling`
+  );
+
+  equivalentProvable({ from: [point], to: point, verbose: true })(
+    (p) => Curve.double(p),
+    (p) => CurveTwisted.add(p, p, Curve),
+    `${Curve.name} doubling equals adding same point`
+  );
 }