Merge branch 'feature/lisp' of github.com:narodnik/sapvi into feature/lisp

lisp/README.md

@@ -0,0 +1,12 @@
+## zklisp
+
+This is a DSL for ZKVMCircuit from sapvi language.
+
+It uses the mal (lisp) version of rust with some modifications to interact with bellman backend and also sapvi vm.
+
+## run
+
+
+```
+cargo run --bin lisp load new.lisp
+```

lisp/lisp.rs

@@ -267,7 +267,6 @@ fn eval(mut ast: MalVal, mut env: Env) -> MalRet {
                     }
                     Sym(ref a0sym) if a0sym == "zk*" => {
                         let (a1, a2) = (l[1].clone(), l[2].clone());
-                        println!("---> {:?} {:?}", a1, a2);
                         let zk_circuit = ZKCircuit{  
                             name: a1.pr_str(true),
                             constraints: Vec::new(),