|
lisp
|
b6a898a95c
split zk functions from jj.rkt
|
5 éve |
|
proofs
|
3214e223be
changed value names
|
5 éve |
|
scripts
|
e875ee3e77
4.8 example computation
|
5 éve |
|
src
|
59177163cb
commented out jubjub specific check
|
5 éve |
|
.gitignore
|
7e9ed3210f
.gitignore
|
5 éve |
|
Cargo.toml
|
250d61ffc0
moved zkvm to bin
|
5 éve |
|
README.md
|
fc3adebaee
update outdated README
|
5 éve |
|
TODO.md
|
5845602ca4
added TODO list
|
5 éve |
|
run_jubjub.sh
|
6048079efc
exit if lisp script error
|
5 éve |
|
run_jubjub2.sh
|
816e46ceff
removed redudant line
|
5 éve |
|
run_mimc.sh
|
16ebe6dc78
add missing run_mimc.sh script
|
5 éve |
|
run_mimc2.sh
|
f51ddea3fd
bash script for mimc on zkvm
|
5 éve |
|
run_mint.sh
|
c3cfc3e4dc
finished migration to new API for mint as well
|
5 éve |
|
zkvm.md
|
04ec9dc059
zkvm spec
|
5 éve |