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

added constant on jubjubadd sample

Browse Source
This commit is contained in:
ada
2021-02-06 17:34:58 +01:00
parent 7bc1b95982
commit a0427cb3e1
1 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
lisp/jubjub-add.lisp
View File

@@ -2,7 +2,7 @@
;; Compute U = (u1 + v1) * (v2 - EDWARDS_A*u2)
;; = (u1 + v1) * (u2 + v2)
( (let* [
EDWARDS_A (scalar "73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000")
EDWARDS_D (scalar "2a9318e74bfa2b48f5fd9207e6bd7fd4292d7f6d37579d2601065fd6d6343eb1")
u1 (alloc "u1" (scalar "15a36d1f0f390d8852a35a8c1908dd87a361ee3fd48fdf77b9819dc82d90607e"))
v1 (alloc "v1" (scalar "015d8c7f5b43fe33f7891142c001d9251f3abeeb98fad3e87b0dc53c4ebf1891"))
u2 (alloc "u2" (scalar "15a36d1f0f390d8852a35a8c1908dd87a361ee3fd48fdf77b9819dc82d90607e"))
@@ -10,7 +10,7 @@
U (alloc-input "U" (* (+ u1 u2) (+ v1 v2)))
A (alloc-input "A" (* v2 u1))
B (alloc-input "B" (* u2 v1))
C (alloc-input "C" (* EDWARDS_A (* A B)))
C (alloc-input "C" (* EDWARDS_D (* A B)))
]
(prove
(setup
@@ -26,9 +26,14 @@
)
(scalar::one U)
)
(enforce
(EDWARDS_D A)
(scalar::one B)
(scalar::one C)
)
)
)
)
)
)
;; (println 'verify (MyCircuit (scalar 27)))