README.md 227 B
zklisp
This is a DSL for ZkVmCircuit from drk language.
It uses the mal (lisp) version of rust with some modifications to interact with bellman backend and also drk vm.
run
cargo run --bin lisp load new.lisp