darkfi/lisp/new.lisp

(def! x "73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000")
(defzk! circuit ())
(def! bits (unpack-bits x 256))
;;zkcons add a constraints instruction to the circuit
    (map (fn* [b] (zkcons! circuit 
                    (add lc0 one) 
                    (sub lc0 b)
                    (add lc1 x)
                    enforce)
              ) bits)
   (map (fn* [b] (quote '(add lc0 b) 
                          'double-coeff-lc)
             ) bits)
   (println 'reset-coeff-lc
   '(sub lc0 x)
   '(add lc1 one)
   'enforce)