mirror of
https://github.com/darkrenaissance/darkfi.git
synced 2026-04-28 03:00:18 -04:00
322 lines
11 KiB
Common Lisp
322 lines
11 KiB
Common Lisp
(load-file "util.lisp")
|
|
|
|
(def! zk-not-small-order? (fn* [u v] (
|
|
(def! first-doubling (last (last (zk-double u v))))
|
|
(def! second-doubling (last (last
|
|
(zk-double (get first-doubling "u3") (get first-doubling "v3")))))
|
|
(def! third-doubling (last (last
|
|
(zk-double (get second-doubling "u3") (get second-doubling "v3")))))
|
|
(zk-nonzero? (get third-doubling "u3"))
|
|
)
|
|
)
|
|
)
|
|
|
|
(defmacro! zk-nonzero? (fn* [var] (
|
|
(let* [inv (gensym)
|
|
v1 (gensym)] (
|
|
`(alloc ~inv (invert ~var))
|
|
`(alloc ~v1 ~var)
|
|
`(enforce
|
|
(scalar::one ~v1)
|
|
(scalar::one ~inv)
|
|
(scalar::one cs::one)
|
|
)
|
|
)
|
|
))
|
|
))
|
|
|
|
(defmacro! zk-square (fn* [var] (
|
|
(let* [v1 (gensym)
|
|
v2 (gensym)] (
|
|
`(alloc ~v1 ~var)
|
|
`(def! output (alloc-input ~v2 (square ~var)))
|
|
`(enforce
|
|
(scalar::one ~v1)
|
|
(scalar::one ~v1)
|
|
(scalar::one ~v2)
|
|
)
|
|
`{ "v2" output }
|
|
)
|
|
))
|
|
))
|
|
|
|
(defmacro! zk-mul (fn* [val1 val2] (
|
|
(let* [v1 (gensym)
|
|
v2 (gensym)
|
|
var (gensym)] (
|
|
`(alloc ~v1 ~val1)
|
|
`(alloc ~v2 ~val2)
|
|
`(def! result (alloc-input ~var (* ~val1 ~val2)))
|
|
`(enforce
|
|
(scalar::one ~v1)
|
|
(scalar::one ~v2)
|
|
(scalar::one ~var)
|
|
)
|
|
`{ "result" result }
|
|
)
|
|
))
|
|
))
|
|
|
|
(defmacro! zk-witness (fn* [val1 val2] (
|
|
(let* [u2 (gensym)
|
|
v2 (gensym)
|
|
u2v2 (gensym)
|
|
EDWARDS_D (gensym)] (
|
|
`(def! ~EDWARDS_D (alloc-const ~EDWARDS_D (scalar "2a9318e74bfa2b48f5fd9207e6bd7fd4292d7f6d37579d2601065fd6d6343eb1")))
|
|
`(def! ~u2 (alloc ~u2 (get (nth (nth (zk-square ~val1) 0) 3) "v2")))
|
|
`(def! ~v2 (alloc ~v2 (get (nth (nth (zk-square ~val2) 0) 3) "v2")))
|
|
`(def! result (alloc-input ~u2v2 (get (last (last (zk-mul ~u2 ~v2))) "result")))
|
|
`(enforce
|
|
((scalar::one::neg ~u2) (scalar::one ~v2))
|
|
(scalar::one cs::one)
|
|
((scalar::one cs::one) (~EDWARDS_D ~u2v2))
|
|
)
|
|
`{ "result" result }
|
|
)
|
|
))
|
|
))
|
|
|
|
(defmacro! zk-double (fn* [val1 val2] (
|
|
(let* [u (gensym)
|
|
v (gensym)
|
|
u3 (gensym)
|
|
v3 (gensym)
|
|
T (gensym)
|
|
A (gensym)
|
|
C (gensym)
|
|
EDWARDS_D (gensym)] (
|
|
`(def! ~EDWARDS_D (alloc-const ~EDWARDS_D (scalar "2a9318e74bfa2b48f5fd9207e6bd7fd4292d7f6d37579d2601065fd6d6343eb1")))
|
|
`(def! ~u (alloc ~u ~val1))
|
|
`(def! ~v (alloc ~v ~val2))
|
|
`(def! ~T (alloc ~T (* (+ ~val1 ~val2) (+ ~val1 ~val2))))
|
|
`(def! ~A (alloc ~A (* ~u ~v)))
|
|
`(def! ~C (alloc ~C (* (square ~A) ~EDWARDS_D)))
|
|
`(def! ~u3 (alloc-input ~u3 (/ (double ~A) (+ scalar::one ~C))))
|
|
`(def! ~v3 (alloc-input ~v3 (/ (- ~T (double ~A)) (- scalar::one ~C))))
|
|
`(enforce
|
|
((scalar::one ~u) (scalar::one ~v))
|
|
((scalar::one ~u) (scalar::one ~v))
|
|
(scalar::one ~T)
|
|
)
|
|
`(enforce
|
|
(~EDWARDS_D ~A)
|
|
(scalar::one ~A)
|
|
(scalar::one ~C)
|
|
)
|
|
`(enforce
|
|
((scalar::one cs::one) (scalar::one ~C))
|
|
(scalar::one ~u3)
|
|
((scalar::one ~A) (scalar::one ~A))
|
|
)
|
|
`(enforce
|
|
((scalar::one cs::one) (scalar::one::neg ~C))
|
|
(scalar::one ~v3)
|
|
((scalar::one ~T) (scalar::one::neg ~A) (scalar::one::neg ~A))
|
|
)
|
|
{ "u3" u3, "v3" v3 }
|
|
)
|
|
))
|
|
))
|
|
|
|
(defmacro! conditionally-select (fn* [val1 val2 val3] (
|
|
(let* [u-prime (gensym)
|
|
v-prime (gensym)
|
|
u (gensym)
|
|
v (gensym)
|
|
condition (gensym)
|
|
] (
|
|
`(def! ~u (alloc ~u ~val1))
|
|
`(def! ~v (alloc ~v ~val2))
|
|
`(def! ~condition (alloc ~condition ~val3))
|
|
`(def! ~u-prime (alloc-input ~u-prime (* ~u ~condition)))
|
|
`(def! ~v-prime (alloc-input ~v-prime (* ~v ~condition)))
|
|
`(enforce
|
|
(scalar::one ~u)
|
|
(scalar::one ~condition)
|
|
(scalar::one ~u-prime)
|
|
)
|
|
`(enforce
|
|
(scalar::one ~v)
|
|
(scalar::one ~condition)
|
|
(scalar::one ~v-prime)
|
|
)
|
|
{ "u-prime" u-prime, "v-prime" v-prime }
|
|
)
|
|
))))
|
|
|
|
(defmacro! jj-add (fn* [param1 param2 param3 param4]
|
|
(let* [u1 (gensym) v1 (gensym) u2 (gensym) v2 (gensym)
|
|
EDWARDS_D (gensym) U (gensym) A (gensym) B (gensym)
|
|
C (gensym) u3 (gensym) v3 (gensym)] (
|
|
;; debug
|
|
;; `(println 'jj-add ~param1 ~param2 ~param3 ~param4)
|
|
`(def! ~u1 (alloc ~u1 ~param1))
|
|
`(def! ~v1 (alloc ~v1 ~param2))
|
|
`(def! ~u2 (alloc ~u2 ~param3))
|
|
`(def! ~v2 (alloc ~v2 ~param4))
|
|
`(def! ~EDWARDS_D (alloc-const ~EDWARDS_D (scalar "2a9318e74bfa2b48f5fd9207e6bd7fd4292d7f6d37579d2601065fd6d6343eb1")))
|
|
`(def! ~U (alloc ~U (* (+ ~u1 ~v1) (+ ~u2 ~v2))))
|
|
`(def! ~A (alloc ~A (* ~v2 ~u1)))
|
|
`(def! ~B (alloc ~B (* ~u2 ~v1)))
|
|
`(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))))
|
|
`(enforce
|
|
((scalar::one ~u1) (scalar::one ~v1))
|
|
((scalar::one ~u2) (scalar::one ~v2))
|
|
(scalar::one ~U)
|
|
)
|
|
`(enforce
|
|
(~EDWARDS_D ~A)
|
|
(scalar::one ~B)
|
|
(scalar::one ~C)
|
|
)
|
|
`(enforce
|
|
((scalar::one cs::one)(scalar::one ~C))
|
|
(scalar::one ~u3)
|
|
((scalar::one ~A) (scalar::one ~B))
|
|
)
|
|
`(enforce
|
|
((scalar::one cs::one) (scalar::one::neg ~C))
|
|
(scalar::one ~v3)
|
|
((scalar::one ~U) (scalar::one::neg ~A) (scalar::one::neg ~B))
|
|
)
|
|
`{ "u3" u3, "v3" v3 }
|
|
)
|
|
)
|
|
))
|
|
|
|
(defmacro! zk-boolean (fn* [val] (
|
|
(let* [var (gensym)] (
|
|
`(alloc ~var ~val)
|
|
`(enforce
|
|
(scalar::one cs::one) (scalar::one ~var)
|
|
(scalar::one ~var)
|
|
()
|
|
)
|
|
)
|
|
))))
|
|
|
|
(def! jj-mul (fn* [u v b] (
|
|
(def! result (unpack-bits b))
|
|
(eval (map zk-boolean result))
|
|
(def! val (last (last (zk-double u v))))
|
|
(def! acc 0)
|
|
(dotimes (count result) (
|
|
(def! u3 (get val "u3"))
|
|
(def! v3 (get val "v3"))
|
|
(def! r (nth result acc))
|
|
(def! cond-result (last (last (conditionally-select u3 v3 r))))
|
|
(def! u-prime (get cond-result "u-prime"))
|
|
(def! v-prime (get cond-result "v-prime"))
|
|
(def! add-result (last (jj-add u3 v3 u-prime v-prime)))
|
|
(def! u-add (get add-result "u3"))
|
|
(def! v-add (get add-result "v3"))
|
|
(def! val (last (last (zk-double u-add v-add))))
|
|
(def! acc (i+ acc 1))
|
|
))
|
|
(val)
|
|
;; { "u3" (get val "u3"), "v3" (get val "v3") }
|
|
)))
|
|
|
|
(load-file "mimc-constants.lisp")
|
|
(defmacro! mimc-macro (fn* [left-value right-value acc] (
|
|
(let* [tmp-xl (gensym2 'tmp_xl)
|
|
xl-new-value (gensym2 'xl_new_value)
|
|
cur-mimc-const (gensym2 'cur_mimc_const)
|
|
xl (gensym2 'xl)
|
|
xr (gensym2 'xr)] (
|
|
`(def! ~xl (alloc ~xl ~left-value))
|
|
`(def! ~xr (alloc ~xr ~right-value))
|
|
`(def! ~cur-mimc-const (alloc-const ~cur-mimc-const (nth mimc-constants ~acc)))
|
|
`(def! ~tmp-xl (alloc ~tmp-xl (square (+ ~cur-mimc-const ~xl))))
|
|
`(enforce
|
|
((scalar::one ~xl) (~cur-mimc-const cs::one))
|
|
((scalar::one ~xl) (~cur-mimc-const cs::one))
|
|
(scalar::one ~tmp-xl)
|
|
)
|
|
`(def! new-value (+ (* ~tmp-xl (+ ~cur-mimc-const ~xl)) ~xr))
|
|
`(if (= ~acc 321)
|
|
(def! ~xl-new-value (alloc-input ~xl-new-value new-value))
|
|
(def! ~xl-new-value (alloc ~xl-new-value new-value))
|
|
)
|
|
`(enforce
|
|
(scalar::one ~tmp-xl)
|
|
((scalar::one ~xl) (~cur-mimc-const cs::one))
|
|
((scalar::one ~xl-new-value) (scalar::one::neg ~xr))
|
|
)
|
|
`{ "left" new-value }
|
|
)
|
|
))))
|
|
|
|
(def! mimc (fn* [left right] (
|
|
(def! acc 0)
|
|
(def! xl left)
|
|
(def! xr right)
|
|
(dotimes 322 (
|
|
(def! result (mimc-macro xl xr acc))
|
|
(def! result-value (get (last (last result)) "left"))
|
|
(println acc)
|
|
(println xl xr)
|
|
(println result-value)
|
|
(def! xr xl)
|
|
(def! xl result-value)
|
|
(def! acc (i+ acc 1))
|
|
))
|
|
)))
|
|
|
|
(def! mint-contract (fn* [public-u public-v] (
|
|
(def! randomness (rnd-scalar))
|
|
(def! witness-result (zk-witness public-u public-v))
|
|
(def! not-small-order (zk-not-small-order? public-u public-v))
|
|
(def! g-vcr-u (alloc-input "g-vcr-u" public-u))
|
|
(def! g-vcr-v (alloc-input "g-vcr-v" public-v))
|
|
(def! mul-result (last (last (jj-mul g-vcr-u g-vcr-v randomness))))
|
|
(def! rcvu (alloc "rcvu" (get mul-result "u3")))
|
|
(def! rcvr (alloc "rcvr" (get mul-result "v3")))
|
|
(enforce
|
|
(scalar::one rcvu)
|
|
(scalar::one cs::one)
|
|
(scalar::one rcvu)
|
|
)
|
|
(enforce
|
|
(scalar::one rcvr)
|
|
(scalar::one cs::one)
|
|
(scalar::one rcvr)
|
|
)
|
|
)))
|
|
|
|
(prove
|
|
(
|
|
(def! param-u (scalar "6800f4fa0f001cfc7ff6826ad58004b4d1d8da41af03744e3bce3b7793664337"))
|
|
(def! param-v (scalar "6d81d3a9cb45dedbe6fb2a6e1e22ab50ad46f1b0473b803b3caefab9380b6a8b"))
|
|
(mint-contract param-u param-v)
|
|
)
|
|
)
|
|
|
|
;; following some examples
|
|
;; (def! left (scalar "15a36d1f0f390d8852a35a8c1908dd87a361ee3fd48fdf77b9819dc82d90607e"))
|
|
;; (def! right (scalar "015d8c7f5b43fe33f7891142c001d9251f3abeeb98fad3e87b0dc53c4ebf1891"))
|
|
;; (mimc left right)
|
|
;; (def! param3 (rnd-scalar))
|
|
;; (jj-mul param-u param-v param3)
|
|
;; (def! param3 (rnd-scalar))
|
|
;; (def! param-u (scalar "6800f4fa0f001cfc7ff6826ad58004b4d1d8da41af03744e3bce3b7793664337"))
|
|
;; (def! param-v (scalar "6d81d3a9cb45dedbe6fb2a6e1e22ab50ad46f1b0473b803b3caefab9380b6a8b"))
|
|
;; (jj-mul param-u param-v param3)
|
|
;; (def! param3 (rnd-scalar))
|
|
;; (println 'rnd-scalar param3)
|
|
;; (def! param-u (scalar "6800f4fa0f001cfc7ff6826ad58004b4d1d8da41af03744e3bce3b7793664337"))
|
|
;; (def! param-v (scalar "6d81d3a9cb45dedbe6fb2a6e1e22ab50ad46f1b0473b803b3caefab9380b6a8b"))
|
|
;; (println (zk-mul param1 param2))
|
|
;; (jj-mul param-u param-v param3)
|
|
;; (println (zk-mul param1 param2))
|
|
;; (def! param1 (scalar 3))
|
|
;; (def! param2 (scalar 9))
|
|
;; (println (zk-square param1))
|
|
;; (println (zk-mul param1 param2))
|
|
;; (println 'witness (zk-witness param-u param-v))
|
|
;; (println 'double (last (last (zk-double param-u param-v))))
|
|
;; (println 'nonzero (zk-nonzero? param3))
|
|
;; (println 'not-small-order? (zk-not-small-order? param-u param-v))
|