Sean Bowe a37c926a89 Address clippy lints		2020-09-20 13:09:03 -06:00
..
circuit.rs	Various changes, including restoring permutation argument to advice wires only for now.	2020-09-19 13:31:56 -06:00
prover.rs	Address clippy lints	2020-09-20 13:09:03 -06:00
srs.rs	Rename ConstraintSystem to Assignment, and MetaCircuit to ConstraintSystem.	2020-09-13 10:30:02 -06:00
verifier.rs	Return errors from verifier instead of assuming points aren't at infinity in the proof.	2020-09-19 13:47:37 -06:00