 ada
|
c304c68e3e
added zn* function definition
|
6 years ago |
|
ada
|
be8378d44d
update zklisp with cs methods
|
6 years ago |
|
ada
|
eec38d5c3f
added lib.rs and bits.lisp
|
6 years ago |
|
ada
|
1c0cc4721b
refactoring lisp code
|
6 years ago |
|
ada
|
10b140bf91
upgrading jubjub to mal language
|
6 years ago |
|
ada
|
a8ca6b0c81
added lisp files
|
6 years ago |
|
ada
|
a1d5f0cc38
added mal lisp and jubjub unfinished sample
|
6 years ago |
|
ada
|
9e52cb7304
exploring read function
|
6 years ago |
|
ada
|
ae3399a826
prototyping lisp v0
|
6 years ago |
|
ada
|
7068ca4ab0
prototyping lisp v0
|
6 years ago |
|
ada
|
2e6c6857e9
prototyping lisp v0
|
6 years ago |
|
ada
|
616a540513
prototyping lisp v0
|
6 years ago |
|
rachel-rose
|
39672e1bed
command line tool
|
6 years ago |
|
rachel-rose
|
7c6c63ba53
removed trailing whitespace
|
6 years ago |
|
narodnik
|
9062c409c1
jubjub save and load proof
|
6 years ago |
|
narodnik
|
1099a62eb4
add save and load trusted setup stuff
|
6 years ago |
|
narodnik
|
7a419fdf0a
fix broken import: s/vm/compile/
|
6 years ago |
|
narodnik
|
b6a898a95c
split zk functions from jj.rkt
|
6 years ago |
|
narodnik
|
6048079efc
exit if lisp script error
|
6 years ago |
|
narodnik
|
f29282a357
switch proof generation from jinja to lisp/racket
|
6 years ago |
|
narodnik
|
6d9e5a0411
added proofs/jubjub.params
|
6 years ago |
|
narodnik
|
04ec9dc059
zkvm spec
|
6 years ago |
|
narodnik
|
5845602ca4
added TODO list
|
6 years ago |
|
narodnik
|
16ebe6dc78
add missing run_mimc.sh script
|
6 years ago |
|
narodnik
|
15dffe950d
rename lcX_add_one_coeff to lcX_add_constant, and add mimc example
|
6 years ago |
|
narodnik
|
f55ba1569f
improve compiler output
|
6 years ago |
|
narodnik
|
403760bb13
show lines in compiler output
|
6 years ago |
|
narodnik
|
3c2d281cd0
move all old files in src to old/
|
6 years ago |
|
narodnik
|
67d906c72e
begin moving old files in src
|
6 years ago |
|
narodnik
|
918992b57a
remove unused headers in jj.rs
|
6 years ago |
