narodnik 49864a8349 sonic: add blinding factors to r(X, Y) for step zkP1 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
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
polynomial_evalrep.py 091184f005 plonk circuit setup routines 5 years ago
sonic.py cd11aecbd8 sonic: add protocol steps 5 years ago
sonic.sage 49864a8349 sonic: add blinding factors to r(X, Y) for step zkP1 5 years ago
test.py b6fe2c5457 symlink ff library for plonk impl 5 years ago