github/darkfi
1
1
Fork 0
mirror of https://github.com/darkrenaissance/darkfi.git synced 2026-04-28 03:00:18 -04:00
Code Issues Packages Projects Releases Wiki Activity

organizing

Browse Source
This commit is contained in:
plato
2021-02-17 08:24:03 +01:00
parent 06378da693
commit 605b067924
1 changed files with 6 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
lisp/jubjub-mul.lisp
View File

@@ -8,14 +8,12 @@
(setup
(prove
(
(def! double (fn* [val1 val2] (
(def! u11 (alloc "u11" (scalar val1)))
(def! v11 (alloc "v11" (scalar val2)))
(def! U1 (alloc-input "U1" (* u11 v11)))
(def! square (fn* [var] (
(def! result (alloc "square-var" square var))
(enforce
(scalar::one u11)
(scalar::one v11)
(scalar::one U1)
(scalar::one square-var)
(scalar::one square-var)
(scalar::one result)
)
)
))
@@ -31,7 +29,7 @@
(def! C (alloc "C" (* EDWARDS_D (* A B))))
(def! u3 (alloc-input "u3" (/ (+ A B) (+ scalar::one C))))
(def! v3 (alloc-input "v3" (/ (- (- U A) B) (- scalar::one C))))
(double param1 param1)
(square param1)
(
(enforce
((scalar::one u1) (scalar::one v1))