 narodnik
|
918992b57a
remove unused headers in jj.rs
|
6 anos atrás |
|
narodnik
|
b46dfcd322
rename supervisor to simply contract
|
6 anos atrás |
|
narodnik
|
12df113e35
clean up a bit
|
6 anos atrás |
|
narodnik
|
b317ad6fdc
comments for jj.rs
|
6 anos atrás |
|
narodnik
|
c3cfc3e4dc
finished migration to new API for mint as well
|
6 anos atrás |
|
narodnik
|
2f4983f97a
migrate to new API
|
6 anos atrás |
|
narodnik
|
d1384e2b7d
fix typo s/public/parameter/
|
6 anos atrás |
|
narodnik
|
90666d4df4
migrated run_mint.sh to mint2.psm from jubjub.psm
|
6 anos atrás |
|
narodnik
|
b82f1d5e44
add missing jubjub.rs
|
6 anos atrás |
|
narodnik
|
c7bece1788
working set_param function in visor
|
6 anos atrás |
|
narodnik
|
1094a2234d
cleanup proofs directory
|
6 anos atrás |
|
narodnik
|
38b93fe60b
create jubjub specific tests
|
6 anos atrás |
|
narodnik
|
d3909756ee
clean up old scripts
|
6 anos atrás |
|
narodnik
|
102bbfac79
switch mint3 to jubjub temporarily
|
6 anos atrás |
|
narodnik
|
7e9ed3210f
.gitignore
|
6 anos atrás |
|
narodnik
|
edb07be158
cargo fmt
|
6 anos atrás |
|
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 anos atrás |
|
narodnik
|
9220a363a1
unpack_u64 fn
|
6 anos atrás |
|
narodnik
|
dd0ae8616e
working jj mul
|
6 anos atrás |
|
narodnik
|
d16f68b9f0
half working jj mul
|
6 anos atrás |
|
narodnik
|
7f11f30021
jj conditional select working
|
6 anos atrás |
|
narodnik
|
1ef6264de9
begin setup for VCR mul calc
|
6 anos atrás |
|
narodnik
|
945789c182
not small order
|
6 anos atrás |
|
narodnik
|
0902abc58e
begin to add mint2 contract
|
6 anos atrás |
|
narodnik
|
bfd48c077f
improve bits proof program
|
6 anos atrás |
|
narodnik
|
7158df6a29
show binary repr of -1 mod q
|
6 anos atrás |
|
narodnik
|
6db00eac33
fix original mimc example
|
6 anos atrás |
|
narodnik
|
ae181b1da3
add mimc hash function
|
6 anos atrás |
|
narodnik
|
6ec9ff9d82
remove unused constants from bits.psm
|
6 anos atrás |
|
narodnik
|
cb8851df17
bit decomposition
|
6 anos atrás |
