ghassmo
4c7493acf8
downgrade clap crate to 2.33.3 version
|
há 4 anos atrás | |
|---|---|---|
| .. | ||
| examples | há 5 anos atrás | |
| racket | há 5 anos atrás | |
| README.md | há 5 anos atrás | |
| TODO.md | há 5 anos atrás | |
| core.rs | há 5 anos atrás | |
| env.rs | há 5 anos atrás | |
| lisp.rs | há 4 anos atrás | |
| printer.rs | há 5 anos atrás | |
| reader.rs | há 5 anos atrás | |
| run.sh | há 5 anos atrás | |
| types.rs | há 5 anos atrás | |
README.md
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