24 Commits (bebcc9490448e6e6b3ab31fceffc73e08195a9f3)

Author SHA1 Message Date
  porcuquine 648eb0bb6e
Fix CS::one() bug in solver. (#24) 2 years ago
  Srinath Setty e47b6148f4
Verifier circuit (#23) 2 years ago
  Srinath Setty 6797e1e042
fix loop bound (#20) 2 years ago
  Srinath Setty e55d4f680b
remove test feature (we don't seem to use it) (#17) 2 years ago
  porcuquine 853ab90f7c
Use pasta_curves 0.3.0. (#15) 2 years ago
  porcuquine 338fbff9ac Add missing doc comments. 3 years ago
  Srinath Setty 8027bcf056 cargo fmt 3 years ago
  Srinath Setty ff885c4d5d fix bellperson path; address minor clippy-suggested edit 3 years ago
  porcuquine efb73ef325 Rename Prover and ProvingAssignment. 3 years ago
  porcuquine 3b668e7ac6 Add support for using bellperson to generate R1CS. 3 years ago
  porcuquine 3e80c5c8ba
Derive more traits. (#7) 3 years ago
  porcuquine cf5d708202 Add InputOutputMismatch error. 3 years ago
  Srinath Setty f87f9a0580 minor nits 3 years ago
  Srinath Setty 61ef5fc0b1 This commit introduces the following changes: 3 years ago
  porcuquine de5b8d6598
Support Pasta curves. (#4) 3 years ago
  Srinath Setty 25913f659a update package name; make modules public and add docs 3 years ago
  Srinath Setty 7020d7a714 address clippy 3 years ago
  Srinath Setty 4b22ef2476 small cleanup 3 years ago
  dignifiedquire 3ba8fd28aa refactor: bring back compressed snark 3 years ago
  Srinath Setty 732d937b09 generic traits for prime field elements and group elements 3 years ago
  Srinath Setty 06b1c4d415 remove asserts 3 years ago
  Srinath Setty 6075165c54 add acks and references 3 years ago
  Srinath Setty d52be5cf4a small fixes 3 years ago
  Srinath Setty ba3a1e3922 initial commit 3 years ago