darkfi/lisp/jubjub.lisp

(def! a_u "15a36d1f0f390d8852a35a8c1908dd87a361ee3fd48fdf77b9819dc82d90607e")
(def! a_v "015d8c7f5b43fe33f7891142c001d9251f3abeeb98fad3e87b0dc53c4ebf1891")
(def! b_u "15a36d1f0f390d8852a35a8c1908dd87a361ee3fd48fdf77b9819dc82d90607e")
(def! b_v "015d8c7f5b43fe33f7891142c001d9251f3abeeb98fad3e87b0dc53c4ebf1891")
(def! a "73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000")
(def! d "2a9318e74bfa2b48f5fd9207e6bd7fd4292d7f6d37579d2601065fd6d6343eb1")
(def! one "0000000000000000000000000000000000000000000000000000000000000001")
(defzk! circuit ())
(def! U (fn* [x1 y1 x2 y2] (+ (+ x1 y1) (+ x2 y2))))
(def! jubjub-add (fn* [x1 y1 x2 y2] (zkcons! circuit (
                    (add lc0 x1)
                    (add lc0 y1)
                    (add lc1 x2)
                    (add lc1 y2)
                    (add lc2 (U x1 y1 x2 y2))
                    enforce
                    ))))
(println (jubjub-add a_u a_v b_u b_v))
(println circuit)