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 zkcircuit values on eval

Browse Source
This commit is contained in:
ada
2020-11-08 20:10:31 +01:00
parent 013180e43f
commit 96d391900f
1 changed files with 10 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
lisp/new.lisp
View File

@@ -2,20 +2,16 @@
(def! one "0000000000000000000000000000000000000000000000000000000000000001")
(def! bits (unpack-bits x))
(defzk! circuit ())
(def! cvalues (map (fn* [b] (eval
(add lc0 one)
)) bits))
;;(map (fn* [b] (zkcons! circuit (
;; (add lc0 one)
;; (sub lc0 b)
;; (add lc1 x))
;; )) bits)
;; 'reset-coeff-lc
;; (sub lc0 x)
;; (add lc1 one)
;; 'enforce)
;; ))
(sub lc0 b)
(add lc1 x)
enforce)
) bits))
(def! cs (concat cvalues (list
'reset-coeff-lc
(sub lc0 x)
(add lc1 one)
'enforce)))
(println "bit-dec")
(zkcons! circuit cvalues)
(zkcons! circuit cs)