You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
arnaucube d3f43ce1a0 Refactor circuits, update prover & verifier tests 4 years ago
..
verifier.go Fix mutation of inputs in Verify 4 years ago
verifier_test.go Refactor circuits, update prover & verifier tests 4 years ago