From 5bea34947c3ab2907dff416e353dc94a44129eb8 Mon Sep 17 00:00:00 2001
From: ada <a@a.a>
Date: Wed, 16 Dec 2020 23:22:54 +0100
Subject: [PATCH] improve zkcircuit integration. added setup groth16 CS

---
 lisp/lisp.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/lisp/lisp.rs b/lisp/lisp.rs
index 22d3200c4..613371b63 100644
--- 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" => {