.

ed25519.l

@@ -55,7 +55,6 @@
       (% *By *Q) ) )
 
 (de edwards (P Q)
-   (println 'ed 'P P 'Q Q)
    (let
       (X1 (car P)
          Y1 (cdr P)
@@ -73,14 +72,14 @@
                (inv (- 1 (* *D X1 X2 Y1 Y2))) )
             *Q ) ) ) )
 (de scalarmult (P E)
-   (println 'P P 'E E)
+   (println 'sc 'P P 'E E)
    (let Q (cons 0 1)
       (for I (steps E)
          (and
             (setq Q (edwards Q Q))
             (bit? 1 I)
             (setq Q (edwards Q P)) ) )
-      (wait 1000)
+      # (wait 1000)
       (println 'Q Q)
       Q ) )
 (de isoncurve (P)
@@ -181,3 +180,10 @@
                PK
                M ) ) )
       (= (scalarmult *Bxy S) (edwards R (scalarmult A H))) ) )
+
+(println
+   (edwards (0 . 1) (1234567890 . 0)) )
+(msg 'ok)
+(bye)
+
+

scalarmult.l

@@ -81,6 +81,13 @@ Q (38815646466658113194383306759739515082307681141926459231621296960732224964046
          (when (bit? 1 E)
             (setq Q (edwards Q P)) )
          Q ) ) )
+
+# (test
+   # 25284030307275072399323765781911808870808430628110464498231579031341677944106
+   # (inv 123456) )
+(println
+   (edwards (cons 0 1) (cons 0 1)) )
+
 # (trace 'scalarmult)
 (println
    (scalarmult
@@ -88,5 +95,6 @@ Q (38815646466658113194383306759739515082307681141926459231621296960732224964046
       36144925721603087658594284515452164870581325872720374094707712194495455132720 ) )
 
 
+
 (msg 'ok)
 (bye)