ada
d88ffd49db
create allocations malval type to store allocs to the circuit
|
5 năm trước cách đây | |
|---|---|---|
| .. | ||
| racket | 6 năm trước cách đây | |
| README.md | 6 năm trước cách đây | |
| TODO.md | 5 năm trước cách đây | |
| bits.lisp | 6 năm trước cách đây | |
| core.rs | 5 năm trước cách đây | |
| env.rs | 6 năm trước cách đây | |
| jubjub.lisp | 5 năm trước cách đây | |
| lisp-cheat-sheet.png | 5 năm trước cách đây | |
| lisp.rs | 5 năm trước cách đây | |
| new-cs.lisp | 5 năm trước cách đây | |
| new.lisp | 5 năm trước cách đây | |
| printer.rs | 5 năm trước cách đây | |
| reader.rs | 6 năm trước cách đây | |
| run.sh | 5 năm trước cách đây | |
| types.rs | 5 năm trước cách đây | |
README.md
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