Commit Graph

78 Commits

Author SHA1 Message Date
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
Sean Bowe a98e84e09a Move Cow/Convert out of curves module. 2017-05-07 09:39:01 -06:00
Sean Bowe 72a386ec34 Version bump. 2017-04-04 14:45:10 -06:00
Sean Bowe f1903133ed Rename "groth" to "groth16". 2017-04-04 14:45:10 -06:00
Sean Bowe d228257da6 Rename to "Input"/"InputMap" 2017-04-04 14:45:10 -06:00
Sean Bowe c9fbf490dc Implementation of Jens Groth's generic group zk-SNARK proving system. 2017-04-03 21:42:22 -06:00
Sean Bowe 9a3743c7c4 Various improvements to BLS implementation:
* Switch from rayon to crossbeam
* Allow windows to be reused per batch exp
* Allow batchexp to take vector by value
* Allow access to thread-local engine context
* Allow cloning of Engine
* Clean up wNAF abstractions to reduce heap allocation
2017-04-03 21:41:38 -06:00
Sean Bowe f835556ffb The current year is 2017! 2017-03-13 20:30:09 -06:00
Sean Bowe 25375ee819 Update licenses. 2017-03-13 20:28:56 -06:00
Sean Bowe 9c3f6fb92f Change travis to nightly. 2017-03-10 08:52:40 -07:00
Sean Bowe 2321ead995 In with the new. 2017-02-27 13:39:30 -07:00
Sean Bowe c506c48c91 Out with the old... 2017-01-07 20:30:09 -07:00
Sean Bowe e24fcfdc5c Added primitive circuit abstraction, tests for sha3. 2016-01-28 20:37:54 -07:00
Sean Bowe 67003a471b Fixed type error 2016-01-26 14:45:04 -07:00
Sean Bowe da373758e5 Minor improvements 2016-01-26 14:18:01 -07:00
Sean Bowe ececc2b60b Implement raw constraints for Bit 2016-01-24 01:42:38 -07:00
Sean Bowe 506ef75e3c Make macro compatible with more recent version of Rust 2016-01-23 02:17:43 -07:00
Sean Bowe 5d49abcf62 Fix tinysnark test 2016-01-22 21:21:40 -07:00
Sean Bowe d0b589749a Force FieldT alignment 2016-01-22 21:18:52 -07:00
Sean Bowe 710059b779 Relicensed as Apache/MIT dual license. Closes #1. 2016-01-12 14:14:06 -07:00