Anonymous. Uncensored. Sovereign. https://dark.fi

ada 13366f74c1 prototyping lisp v0 5 年之前
lisp b6a898a95c split zk functions from jj.rkt 5 年之前
proofs 3214e223be changed value names 5 年之前
scripts 7a419fdf0a fix broken import: s/vm/compile/ 5 年之前
src 59177163cb commented out jubjub specific check 5 年之前
.gitignore 7e9ed3210f .gitignore 5 年之前
Cargo.toml 13366f74c1 prototyping lisp v0 5 年之前
README.md fc3adebaee update outdated README 5 年之前
TODO.md 5845602ca4 added TODO list 5 年之前
run_jubjub.sh 6048079efc exit if lisp script error 5 年之前
run_jubjub2.sh 816e46ceff removed redudant line 5 年之前
run_mimc.sh 16ebe6dc78 add missing run_mimc.sh script 5 年之前
run_mimc2.sh f51ddea3fd bash script for mimc on zkvm 5 年之前
run_mint.sh c3cfc3e4dc finished migration to new API for mint as well 5 年之前
zkvm.md 04ec9dc059 zkvm spec 5 年之前

README.md

./run_jubjub2.sh