Domovská stránka Prehľadávať Pomoc
Prihlásiť sa
darkrenaissance
/
darkfi
2
0
Fork 0
Súbory Issues 0 Pull requesty 0 Wiki
Strom: 13221177b5
Branche Tagy
darkfi
/
lisp
ada 13221177b5 reorganizing lisp eval for setup, enforce and prove 5 rokov pred
..
racket fea2b6c313 added lisp files 6 rokov pred
README.md 9a099f4e36 Merge branch 'feature/lisp' of github.com:narodnik/sapvi into feature/lisp 6 rokov pred
TODO.md 61d5caa090 added public and private symbols 5 rokov pred
bits.lisp 6aaf197f6c update zklisp with cs methods 6 rokov pred
core.rs bd28f5e4d5 improve circuit, adding alloc 5 rokov pred
env.rs fea2b6c313 added lisp files 6 rokov pred
jubjub.lisp 2aa8e13e8e improvement on zklisp 5 rokov pred
lisp-cheat-sheet.png 013180e43f added zkcircuit values on eval 5 rokov pred
lisp.rs 13221177b5 reorganizing lisp eval for setup, enforce and prove 5 rokov pred
new-cs.lisp 13221177b5 reorganizing lisp eval for setup, enforce and prove 5 rokov pred
new.lisp 61d5caa090 added public and private symbols 5 rokov pred
printer.rs 1892933189 improving zklisp. adding zkscalar 5 rokov pred
reader.rs fea2b6c313 added lisp files 6 rokov pred
run.sh b09adcd438 start adding the groth16 constraint circuit and setup method 5 rokov pred
types.rs 1892933189 improving zklisp. adding zkscalar 5 rokov pred

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