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

ada 3121f3f879 fixing new dsl for cs 5 lat temu
lisp 3121f3f879 fixing new dsl for cs 5 lat temu
proofs 3214e223be changed value names 6 lat temu
scripts 7a419fdf0a fix broken import: s/vm/compile/ 6 lat temu
src 3e2c62c0bf cleaning code 5 lat temu
.gitignore 7e9ed3210f .gitignore 6 lat temu
Cargo.toml 427bfcfe15 cleaning code 5 lat temu
README.md fc3adebaee update outdated README 6 lat temu
TODO.md 5845602ca4 added TODO list 6 lat temu
run_jubjub.sh 6048079efc exit if lisp script error 6 lat temu
run_jubjub2.sh 816e46ceff removed redudant line 6 lat temu
run_mimc.sh 16ebe6dc78 add missing run_mimc.sh script 6 lat temu
run_mimc2.sh f51ddea3fd bash script for mimc on zkvm 6 lat temu
run_mint.sh c3cfc3e4dc finished migration to new API for mint as well 6 lat temu
zkvm.md 04ec9dc059 zkvm spec 6 lat temu

README.md

./run_jubjub2.sh