| .. |
|
bootle16.py
|
824c822131
added r1cs to bootle16 example
|
%!s(int64=5) %!d(string=hai) anos |
|
finite_fields
|
b6fe2c5457
symlink ff library for plonk impl
|
%!s(int64=5) %!d(string=hai) anos |
|
groth_inner_product.sage
|
b907aaf5f3
groth inner product zero knowledge argument of knowledge
|
%!s(int64=5) %!d(string=hai) anos |
|
groth_poly_commit.py
|
d76c2836de
comment out test in groth_poly_commit.py
|
%!s(int64=5) %!d(string=hai) anos |
|
groth_poly_commit.sage
|
181108ca90
mostly working halo1 impl
|
%!s(int64=5) %!d(string=hai) anos |
|
halo1.sage
|
181108ca90
mostly working halo1 impl
|
%!s(int64=5) %!d(string=hai) anos |
|
misc.py
|
b6fe2c5457
symlink ff library for plonk impl
|
%!s(int64=5) %!d(string=hai) anos |
|
multipoly.py
|
8663911041
remove hardcoded fp
|
%!s(int64=5) %!d(string=hai) anos |
|
pasta.py
|
f28ec92099
EC addition function
|
%!s(int64=5) %!d(string=hai) anos |
|
plonk-simple.sage
|
e5d0ca1d16
plonk "simple" example
|
%!s(int64=5) %!d(string=hai) anos |
|
plonk.sage
|
354c4ffd99
get root of unity for 2-adic subgroup within vesta base field Fq, which has an order of 32
|
%!s(int64=5) %!d(string=hai) anos |
|
plonk_naive.sage
|
3d2f35c26a
renamed: plonk.sage -> plonk_naive.sage
|
%!s(int64=5) %!d(string=hai) anos |
|
polynomial_evalrep.py
|
091184f005
plonk circuit setup routines
|
%!s(int64=5) %!d(string=hai) anos |
|
sonic.py
|
cd11aecbd8
sonic: add protocol steps
|
%!s(int64=5) %!d(string=hai) anos |
|
sonic.sage
|
181108ca90
mostly working halo1 impl
|
%!s(int64=5) %!d(string=hai) anos |
|
test.py
|
b6fe2c5457
symlink ff library for plonk impl
|
%!s(int64=5) %!d(string=hai) anos |
narodnik
e5d0ca1d16
plonk "simple" example