darkrenaissance/darkfi: Anonymous. Uncensored. Sovereign. https://dark.fi @ 6813ad46bcc47ea9f9972eb2e111ef5527072b4d

ada 6813ad46bc added func zkcons! to enable adding constraints instruction to the zkvm		5 سال پیش
..
racket	fea2b6c313 added lisp files	5 سال پیش
README.md	9a099f4e36 Merge branch 'feature/lisp' of github.com:narodnik/sapvi into feature/lisp	5 سال پیش
TODO.md	f4dd5cf7ad added readme	5 سال پیش
bits.lisp	6aaf197f6c update zklisp with cs methods	5 سال پیش
core.rs	6813ad46bc added func zkcons! to enable adding constraints instruction to the zkvm	5 سال پیش
env.rs	fea2b6c313 added lisp files	5 سال پیش
jubjub.lisp	cd67a8c8c7 refactoring lisp code	5 سال پیش
lisp.rs	6813ad46bc added func zkcons! to enable adding constraints instruction to the zkvm	5 سال پیش
new.lisp	6813ad46bc added func zkcons! to enable adding constraints instruction to the zkvm	5 سال پیش
printer.rs	97c99c75ea added zn* function definition	5 سال پیش
reader.rs	fea2b6c313 added lisp files	5 سال پیش
types.rs	7ed771ba5b added zkcircuit to env	5 سال پیش

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.

cargo run --bin lisp load new.lisp