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: 4ba1501498
Branche Tagy
darkfi
/
lisp
ada c40bbd9606 two circuits merged and executing the proof 5 rokov pred
..
racket fea2b6c313 added lisp files 5 rokov pred
README.md 9a099f4e36 Merge branch 'feature/lisp' of github.com:narodnik/sapvi into feature/lisp 5 rokov pred
TODO.md 61d5caa090 added public and private symbols 5 rokov pred
bits.lisp 6aaf197f6c update zklisp with cs methods 5 rokov pred
core.rs 8e06b5c00f prove without refactor 5 rokov pred
env.rs fea2b6c313 added lisp files 5 rokov pred
inverse.lisp 8e06b5c00f prove without refactor 5 rokov pred
jubjub-add.lisp e9dc84a5d2 fixing jubjub 5 rokov pred
jubjub-mul.lisp c40bbd9606 two circuits merged and executing the proof 5 rokov pred
lisp.rs c40bbd9606 two circuits merged and executing the proof 5 rokov pred
new-cs.lisp 32746d0748 adding verify on lisp 5 rokov pred
new.lisp 61d5caa090 added public and private symbols 5 rokov pred
printer.rs f72b5ea131 enforce parsing done 5 rokov pred
reader.rs fea2b6c313 added lisp files 5 rokov pred
run.sh f1d5b4d632 jj mul + double same circuit 1 5 rokov pred
types.rs f1d5b4d632 jj mul + double same circuit 1 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