darkrenaissance/darkfi: Anonymous. Uncensored. Sovereign. https://dark.fi @ 0d340cdedfdec2adcea6ce9e5921a0061a250ca1

plato 0d340cdedf prove needs scoping to execute more than one expression		5 년 전
..
racket	fea2b6c313 added lisp files	6 년 전
README.md	9a099f4e36 Merge branch 'feature/lisp' of github.com:narodnik/sapvi into feature/lisp	6 년 전
TODO.md	61d5caa090 added public and private symbols	5 년 전
bits.lisp	6aaf197f6c update zklisp with cs methods	6 년 전
core.rs	0d340cdedf prove needs scoping to execute more than one expression	5 년 전
env.rs	fea2b6c313 added lisp files	6 년 전
inverse.lisp	8e06b5c00f prove without refactor	5 년 전
jubjub-add.lisp	e9dc84a5d2 fixing jubjub	5 년 전
jubjub-mul.lisp	50cc8db1f9 added comment on jubjub-mul about variable names colision	5 년 전
lisp.rs	c9ace8c383 added macros.lisp sample	5 년 전
macros.lisp	0d340cdedf prove needs scoping to execute more than one expression	5 년 전
new-cs.lisp	8e06b5c00f prove without refactor	5 년 전
new.lisp	61d5caa090 added public and private symbols	5 년 전
printer.rs	f72b5ea131 enforce parsing done	5 년 전
reader.rs	fea2b6c313 added lisp files	6 년 전
run.sh	c9ace8c383 added macros.lisp sample	5 년 전
types.rs	05881c9380 brute force merge env and now it work	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