improve zkcircuit integration. added setup groth16 CS

2026-04-28 03:00:18 -04:00 · 2020-12-16 23:22:54 +01:00
parent 2abd8a905b
commit 5bea34947c
1 changed files with 3 additions and 0 deletions
--- a/lisp/lisp.rs
+++ b/lisp/lisp.rs
@@ -286,6 +286,9 @@ fn eval(mut ast: MalVal, mut env: Env) -> MalRet {
                    }
                    Sym(ref a0sym) if a0sym == "setup" => {
                        let a1 = l[1].clone();
+                        let circuit = setup(&ast)?;
+                        println!("{:?}", a1); 
+                        env_sets(&env, &a1.pr_str(false), circuit);
                        eval(a1.clone(), env.clone())
                    }
                    //Sym(ref a0sym) if a0sym == "prove" => {