From 8e77d3a53dfffc13a5e7f2ba9f3e1a527b59e05c Mon Sep 17 00:00:00 2001
From: querolita <anais.querol@gmail.com>
Date: Tue, 28 Jan 2025 12:45:06 +0100
Subject: [PATCH] tests for adding same point equals doubling

---
 src/lib/provable/test/twisted-curve.unit-test.ts | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/src/lib/provable/test/twisted-curve.unit-test.ts b/src/lib/provable/test/twisted-curve.unit-test.ts
index 443da04ed..b96e2b2d4 100644
--- 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`
+  );
 }