 narodnik
|
1099a62eb4
add save and load trusted setup stuff
|
5 lat temu |
|
narodnik
|
7a419fdf0a
fix broken import: s/vm/compile/
|
5 lat temu |
|
narodnik
|
b6a898a95c
split zk functions from jj.rkt
|
5 lat temu |
|
narodnik
|
6048079efc
exit if lisp script error
|
5 lat temu |
|
narodnik
|
f29282a357
switch proof generation from jinja to lisp/racket
|
5 lat temu |
|
narodnik
|
6d9e5a0411
added proofs/jubjub.params
|
5 lat temu |
|
narodnik
|
04ec9dc059
zkvm spec
|
5 lat temu |
|
narodnik
|
5845602ca4
added TODO list
|
5 lat temu |
|
narodnik
|
16ebe6dc78
add missing run_mimc.sh script
|
5 lat temu |
|
narodnik
|
15dffe950d
rename lcX_add_one_coeff to lcX_add_constant, and add mimc example
|
5 lat temu |
|
narodnik
|
f55ba1569f
improve compiler output
|
5 lat temu |
|
narodnik
|
403760bb13
show lines in compiler output
|
5 lat temu |
|
narodnik
|
3c2d281cd0
move all old files in src to old/
|
5 lat temu |
|
narodnik
|
67d906c72e
begin moving old files in src
|
5 lat temu |
|
narodnik
|
918992b57a
remove unused headers in jj.rs
|
5 lat temu |
|
narodnik
|
b46dfcd322
rename supervisor to simply contract
|
5 lat temu |
|
narodnik
|
12df113e35
clean up a bit
|
5 lat temu |
|
narodnik
|
b317ad6fdc
comments for jj.rs
|
5 lat temu |
|
narodnik
|
c3cfc3e4dc
finished migration to new API for mint as well
|
5 lat temu |
|
narodnik
|
2f4983f97a
migrate to new API
|
5 lat temu |
|
narodnik
|
d1384e2b7d
fix typo s/public/parameter/
|
5 lat temu |
|
narodnik
|
90666d4df4
migrated run_mint.sh to mint2.psm from jubjub.psm
|
5 lat temu |
|
narodnik
|
b82f1d5e44
add missing jubjub.rs
|
5 lat temu |
|
narodnik
|
c7bece1788
working set_param function in visor
|
5 lat temu |
|
narodnik
|
1094a2234d
cleanup proofs directory
|
5 lat temu |
|
narodnik
|
38b93fe60b
create jubjub specific tests
|
5 lat temu |
|
narodnik
|
d3909756ee
clean up old scripts
|
5 lat temu |
|
narodnik
|
102bbfac79
switch mint3 to jubjub temporarily
|
5 lat temu |
|
narodnik
|
7e9ed3210f
.gitignore
|
5 lat temu |
|
narodnik
|
edb07be158
cargo fmt
|
5 lat temu |
