Commit Graph

247 Commits

Author SHA1 Message Date
Sean Bowe ab1487025f Serialization of parameters and proofs. 2018-03-04 18:49:05 -07:00
Sean Bowe 749d6ceed4 Bump version 2018-02-15 22:22:50 -07:00
Sean Bowe cb53708767 New implementation of library API. 2018-02-14 12:31:43 -07:00
Jason Davies 137b410196
Update "rand" dependency to 0.4. 2018-02-13 15:43:35 +00:00
Sean Bowe 7211d98c1e Implement linear combination addition with coefficient. 2018-01-07 11:31:35 -07:00
Sean Bowe dc981e6abc Allow linear combinations to be added together. 2017-12-14 16:11:24 -07:00
Sean Bowe 70a588ceee Version bump 2017-12-02 23:31:37 -07:00
ebfull 3163e801b9
Merge pull request #16 from ebfull/recode
Part one of recoding bellman
2017-12-02 23:30:57 -07:00
Sean Bowe 5a88b4f818 Guarantee inheritance of variable type for public constraint system contexts. 2017-12-02 23:30:23 -07:00
Sean Bowe 1fc640e88f Guarantee that we inherit the correct variable type. 2017-11-24 10:14:11 -07:00
Sean Bowe 92029393f6 Guarantee that variables are Copy+Clone. 2017-11-22 22:55:32 -07:00
Sean Bowe 1d394e00f6 Allow linear combination terms to be inspected for downstream evaluation. 2017-11-22 21:11:41 -07:00
Sean Bowe e54c4bc1b3 Rename to `namespace_public`. 2017-11-21 14:00:00 -07:00
Sean Bowe af91dcda33 Infrastructure for public input namespacing. 2017-11-21 13:44:56 -07:00
Sean Bowe b7f2f9e409 Part one of Bellman being recoded. 2017-11-21 01:59:49 -07:00
Sean Bowe 6d55a4052a Move everything into `oldsrc`. 2017-11-20 23:01:15 -07:00
Sean Bowe 945d86fe7d Make the namespacing not introduce too much indirection. 2017-11-20 15:50:41 -07:00
Sean Bowe a1e1aa30b5 More infrastructure for test development. 2017-11-18 20:10:47 -07:00
Sean Bowe 3ee1a576f4 Bump version 2017-11-13 01:36:54 -07:00
Sean Bowe 7df272b349 Make license files/copyright identical to `pairing` crate. 2017-11-12 15:56:03 -07:00
Sean Bowe 13a5cbf9d5 Modify the public api surrounding multiexp. 2017-11-12 15:52:10 -07:00
Sean Bowe e4c62180d7 Use a basic heuristic to choose c for multiexp. 2017-11-12 15:50:34 -07:00
Sean Bowe b15f5f6f43 Fix some warnings and TODO's. 2017-11-12 13:45:13 -07:00
Sean Bowe d616362884 Add `TestConstraintSystem` 2017-11-12 13:26:03 -07:00
Sean Bowe bc19c76326 Change API to support constraint/variable annotation. 2017-11-11 04:50:30 -07:00
Sean Bowe 3bb6596507 Don't make u128-support a default feature anymore. 2017-11-05 19:35:28 -07:00
Sean Bowe 326996139e Update to use the latest version of pairing library. 2017-10-22 05:45:26 -06:00
Sean Bowe 2042876fcf Disable default features for pairing. 2017-08-22 20:45:45 -06:00
Sean Bowe 3148662234 Reimplementation of groth16 using `pairing` library. 2017-08-22 16:03:04 -06:00
Sean Bowe bf03be0b9d Starting fresh... 2017-08-07 07:43:39 -06:00
bmerge e282bc095a Auto merge of #13 - ebfull:fix-comment, r=ebfull
Fix comment about sqrt.

Still just testing CI stuff.
2017-06-19 22:40:09 +00:00
Sean Bowe 9c94216a87 Fix comment about sqrt. 2017-06-19 13:58:30 -06:00
bmerge be1961124c Auto merge of #12 - ebfull:version-bump, r=ebfull
Version bump
2017-06-19 18:38:01 +00:00
Sean Bowe 5ca9341aeb Version bump 2017-06-19 12:17:10 -06:00
bmerge 8ff6ce741a Auto merge of #10 - ebfull:remove-travis, r=ebfull
Remove travis CI.
2017-06-19 17:40:12 +00:00
Sean Bowe c9677d8bd2 Remove travis CI. 2017-06-19 11:31:32 -06:00
bmerge 732af319fe Auto merge of #9 - ebfull:various-improvements, r=ebfull
Various improvements to project structure and implementation

This makes wNAF/multiexp more modularized and abstract (for use later in remodeling groth) and starts moving other things around.

Also, good chance to start working on buildbot.
2017-06-19 05:55:32 +00:00
Sean Bowe e9dee9de16 Move `domain` to `curves`. 2017-06-17 20:53:26 -06:00
Sean Bowe fd3774118a Move BitIterator into root of crate. 2017-06-17 19:46:40 -06:00
Sean Bowe 5cf6acd21a Clean up prime field representation. 2017-06-17 18:57:56 -06:00
Sean Bowe d4903f19fe Refactoring of multiexp/wnaf. 2017-06-17 17:04:14 -06:00
Sean Bowe 8f6a5737c0 Avoid the use of dynamic dispatch during verification. 2017-06-15 17:40:06 -06:00
Sean Bowe 97d58c7954 Add batchexp utility function to Engine. 2017-05-16 16:41:31 -06:00
Sean Bowe 33dd0de661 Parallelism improvements. 2017-05-16 12:06:59 -06:00
Sean Bowe bb73258ce9 Parallel FFTs. 2017-05-14 19:37:02 -06:00
Sean Bowe 669853de99 Make domain evaluations public. 2017-05-07 18:27:48 -06:00
Sean Bowe 750131f0a1 Allow evaluation domain to act over all groups. 2017-05-07 18:25:49 -06:00
Sean Bowe 1434ad7b28 Introduce `Group` for generic group operations. 2017-05-07 18:15:33 -06:00
Sean Bowe 56c75c0c8a Rename Group to Curve. 2017-05-07 18:07:35 -06:00
Sean Bowe d95a9b0b29 Update to serde 1.0/bincode 0.8. 2017-05-07 10:24:54 -06:00