 narodnik
|
d1384e2b7d
fix typo s/public/parameter/
|
6 years ago |
|
narodnik
|
90666d4df4
migrated run_mint.sh to mint2.psm from jubjub.psm
|
6 years ago |
|
narodnik
|
b82f1d5e44
add missing jubjub.rs
|
6 years ago |
|
narodnik
|
c7bece1788
working set_param function in visor
|
6 years ago |
|
narodnik
|
1094a2234d
cleanup proofs directory
|
6 years ago |
|
narodnik
|
38b93fe60b
create jubjub specific tests
|
6 years ago |
|
narodnik
|
d3909756ee
clean up old scripts
|
6 years ago |
|
narodnik
|
102bbfac79
switch mint3 to jubjub temporarily
|
6 years ago |
|
narodnik
|
7e9ed3210f
.gitignore
|
6 years ago |
|
narodnik
|
edb07be158
cargo fmt
|
6 years ago |
|
narodnik
|
d0a30306e5
added the Supervisor which gives us VM serialization, and added a plugin to the compiler to export binary data for the supervisor
|
6 years ago |
|
narodnik
|
9220a363a1
unpack_u64 fn
|
6 years ago |
|
narodnik
|
dd0ae8616e
working jj mul
|
6 years ago |
|
narodnik
|
d16f68b9f0
half working jj mul
|
6 years ago |
|
narodnik
|
7f11f30021
jj conditional select working
|
6 years ago |
|
narodnik
|
1ef6264de9
begin setup for VCR mul calc
|
6 years ago |
|
narodnik
|
945789c182
not small order
|
6 years ago |
|
narodnik
|
0902abc58e
begin to add mint2 contract
|
6 years ago |
|
narodnik
|
bfd48c077f
improve bits proof program
|
6 years ago |
|
narodnik
|
7158df6a29
show binary repr of -1 mod q
|
6 years ago |
|
narodnik
|
6db00eac33
fix original mimc example
|
6 years ago |
|
narodnik
|
ae181b1da3
add mimc hash function
|
6 years ago |
|
narodnik
|
6ec9ff9d82
remove unused constants from bits.psm
|
6 years ago |
|
narodnik
|
cb8851df17
bit decomposition
|
6 years ago |
|
narodnik
|
930a1cc712
add public values in comments
|
6 years ago |
|
narodnik
|
1d5ef0d17e
reveal public values
|
6 years ago |
|
narodnik
|
0bfe462401
replace {{prefix}} with {{P}}
|
6 years ago |
|
narodnik
|
90c255aa0b
working point addition
|
6 years ago |
|
narodnik
|
051d87fb18
create local variables in crypto ops section
|
6 years ago |
|
narodnik
|
6e07c8c3fd
improve help text
|
6 years ago |
