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