 ada
|
ae3399a826
prototyping lisp v0
|
5 years ago |
|
ada
|
7068ca4ab0
prototyping lisp v0
|
5 years ago |
|
ada
|
2e6c6857e9
prototyping lisp v0
|
5 years ago |
|
ada
|
616a540513
prototyping lisp v0
|
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 |
|
narodnik
|
b317ad6fdc
comments for jj.rs
|
5 years ago |
|
narodnik
|
c3cfc3e4dc
finished migration to new API for mint as well
|
5 years ago |
|
narodnik
|
2f4983f97a
migrate to new API
|
5 years ago |
|
narodnik
|
d1384e2b7d
fix typo s/public/parameter/
|
5 years ago |
|
narodnik
|
90666d4df4
migrated run_mint.sh to mint2.psm from jubjub.psm
|
5 years ago |
|
narodnik
|
b82f1d5e44
add missing jubjub.rs
|
5 years ago |
