 narodnik
|
fc3adebaee
update outdated README
|
5 years ago |
|
rachel-rose
|
13a7264649
rm file zkvm.rs
|
5 years ago |
|
rachel-rose
|
3214e223be
changed value names
|
5 years ago |
|
rachel-rose
|
816e46ceff
removed redudant line
|
5 years ago |
|
rachel-rose
|
d3c51f74af
bash script for zkvm command line tool
|
5 years ago |
|
rachel-rose
|
b502f5802a
fixed param bug
|
5 years ago |
|
rachel-rose
|
96034a0b89
changed verify asset to if/else check
|
5 years ago |
|
rachel-rose
|
2bc5862d04
removed hardcoding, reads from command line args
|
5 years ago |
|
rachel-rose
|
3d904dcebf
moved to /bin
|
5 years ago |
|
rachel-rose
|
250d61ffc0
moved zkvm to bin
|
5 years ago |
|
rachel-rose
|
39672e1bed
command line tool
|
5 years ago |
|
rachel-rose
|
7c6c63ba53
removed trailing whitespace
|
5 years ago |
|
narodnik
|
9062c409c1
jubjub save and load proof
|
5 years ago |
|
narodnik
|
1099a62eb4
add save and load trusted setup stuff
|
5 years ago |
|
narodnik
|
7a419fdf0a
fix broken import: s/vm/compile/
|
5 years ago |
|
narodnik
|
b6a898a95c
split zk functions from jj.rkt
|
5 years ago |
|
narodnik
|
6048079efc
exit if lisp script error
|
5 years ago |
|
narodnik
|
f29282a357
switch proof generation from jinja to lisp/racket
|
5 years ago |
|
narodnik
|
6d9e5a0411
added proofs/jubjub.params
|
5 years ago |
|
narodnik
|
04ec9dc059
zkvm spec
|
5 years ago |
|
narodnik
|
5845602ca4
added TODO list
|
5 years ago |
|
narodnik
|
16ebe6dc78
add missing run_mimc.sh script
|
5 years ago |
|
narodnik
|
15dffe950d
rename lcX_add_one_coeff to lcX_add_constant, and add mimc example
|
5 years ago |
|
narodnik
|
f55ba1569f
improve compiler output
|
5 years ago |
|
narodnik
|
403760bb13
show lines in compiler output
|
5 years ago |
|
narodnik
|
3c2d281cd0
move all old files in src to old/
|
5 years ago |
|
narodnik
|
67d906c72e
begin moving old files in src
|
5 years ago |
|
narodnik
|
918992b57a
remove unused headers in jj.rs
|
5 years ago |
|
narodnik
|
b46dfcd322
rename supervisor to simply contract
|
5 years ago |
|
narodnik
|
12df113e35
clean up a bit
|
5 years ago |
