From f89e24d286bf472b9a574a939b871e0ea2373ecd Mon Sep 17 00:00:00 2001
From: ada <a@a.a>
Date: Wed, 23 Dec 2020 16:27:16 +0100
Subject: [PATCH] changing zkcircuit ref

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

diff --git a/lisp/lisp.rs b/lisp/lisp.rs
index 61ea71872..b3e2701b5 100644
--- a/lisp/lisp.rs
+++ b/lisp/lisp.rs
@@ -365,6 +365,30 @@ fn eval(mut ast: MalVal, mut env: Env) -> MalRet {
 
     ret
 }
+
+pub fn env_circuit(mut env: Env) -> MalVal {
+    let s = ZK_CIRCUIT_ENV_KEY;
+    match env_find(&env, s) {
+        Some(e) => match env_get(&e, &Str(s.to_string())) {
+            Ok(v) => v,
+            _ => MalVal::Zk(LispCircuit {
+                params: vec![],
+                allocs: vec![],
+                alloc_inputs: vec![],
+                constraints: vec![],
+                env: env.clone(),
+            }),
+        },
+        _ => MalVal::Zk(LispCircuit {
+            params: vec![],
+            allocs: vec![],
+            alloc_inputs: vec![],
+            constraints: vec![],
+            env: env.clone(),
+        }),
+    }
+}
+
 pub fn setup(ast: &MalVal, mut env: Env) -> MalRet {
     println!("{:?}", ast);
     // TODO get params from ast