added variables from lisp to zkcircuit

This commit is contained in:
ada
2020-10-30 00:49:59 +01:00
parent e653290e3e
commit dd6d00f1a3

View File

@@ -281,11 +281,12 @@ fn eval(mut ast: MalVal, mut env: Env) -> MalRet {
Add(b1, b2) => {
println!("Add {:?} {:?}", b1, b2);
zk.private.push(Scalar::from_string(&b2.pr_str(false).to_string()));
env_set(&env, l[1].clone(), zk.clone());
println!("{:?}", zk);
env_set(&env, a1.clone(), types::MalVal::Zk(zk.clone()));
}
Sub(b1, b2) => {
println!("Sub {:?} {:?}", b1, b2);
zk.private.push(Scalar::from_string(&b2.pr_str(false).to_string()));
env_set(&env, a1.clone(), types::MalVal::Zk(zk.clone()));
}
_ => {
println!("not mapped");