added func zkcons! to enable adding constraints instruction to the zkvm

2026-04-28 03:00:18 -04:00 · 2020-10-28 21:38:41 +01:00
parent 6813ad46bc
commit 25a9f66b98
1 changed files with 5 additions and 5 deletions
--- a/lisp/new.lisp
+++ b/lisp/new.lisp
@@ -2,11 +2,11 @@
 (defzk! circuit ())
 (def! bits (unpack-bits x 256))
 ;;zkcons add a constraints instruction to the circuit
-    (map (fn* [b] (zkcons! 
-                    (add 'lc0 'one) 
-                    '(sub b)
-                    '(add lc1 x)
-                    'enforce)
+    (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)