## 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
```