Commit Graph

  • e282bc095a Auto merge of #13 - ebfull:fix-comment, r=ebfull homu-tmp auto bmerge 2017-06-19 22:40:09 +0000
  • 9c94216a87 Fix comment about sqrt. Sean Bowe 2017-06-19 13:58:30 -0600
  • be1961124c Auto merge of #12 - ebfull:version-bump, r=ebfull bmerge 2017-06-19 18:38:01 +0000
  • d842d51441 Auto merge of #11 - ebfull:version-bump, r=<try> try bmerge 2017-06-19 18:17:53 +0000
  • 5ca9341aeb Version bump Sean Bowe 2017-06-19 12:17:10 -0600
  • 8ff6ce741a Auto merge of #10 - ebfull:remove-travis, r=ebfull bmerge 2017-06-19 17:40:12 +0000
  • c9677d8bd2 Remove travis CI. Sean Bowe 2017-06-19 11:31:32 -0600
  • 732af319fe Auto merge of #9 - ebfull:various-improvements, r=ebfull bmerge 2017-06-19 05:55:32 +0000
  • e9dee9de16 Move `domain` to `curves`. Sean Bowe 2017-06-17 20:53:26 -0600
  • fd3774118a Move BitIterator into root of crate. Sean Bowe 2017-06-17 19:46:40 -0600
  • 5cf6acd21a Clean up prime field representation. Sean Bowe 2017-06-17 18:57:56 -0600
  • d4903f19fe Refactoring of multiexp/wnaf. Sean Bowe 2017-06-17 17:04:14 -0600
  • 8f6a5737c0 Avoid the use of dynamic dispatch during verification. Sean Bowe 2017-06-15 17:39:07 -0600
  • 97d58c7954 Add batchexp utility function to Engine. Sean Bowe 2017-05-16 16:41:31 -0600
  • 33dd0de661 Parallelism improvements. Sean Bowe 2017-05-16 12:06:59 -0600
  • bb73258ce9 Parallel FFTs. Sean Bowe 2017-05-14 19:37:02 -0600
  • 669853de99 Make domain evaluations public. Sean Bowe 2017-05-07 18:27:48 -0600
  • 750131f0a1 Allow evaluation domain to act over all groups. Sean Bowe 2017-05-07 18:25:49 -0600
  • 1434ad7b28 Introduce `Group` for generic group operations. Sean Bowe 2017-05-07 18:15:33 -0600
  • 56c75c0c8a Rename Group to Curve. Sean Bowe 2017-05-07 18:07:35 -0600
  • d95a9b0b29 Update to serde 1.0/bincode 0.8. Sean Bowe 2017-05-07 10:24:54 -0600
  • a98e84e09a Move Cow/Convert out of curves module. Sean Bowe 2017-05-07 09:39:01 -0600
  • 72a386ec34 Version bump. Sean Bowe 2017-04-04 00:28:36 -0600
  • f1903133ed Rename "groth" to "groth16". Sean Bowe 2017-04-04 14:44:20 -0600
  • d228257da6 Rename to "Input"/"InputMap" Sean Bowe 2017-04-04 14:24:49 -0600
  • c9fbf490dc Implementation of Jens Groth's generic group zk-SNARK proving system. Sean Bowe 2017-04-03 21:42:22 -0600
  • 9a3743c7c4 Various improvements to BLS implementation: Sean Bowe 2017-04-03 21:41:38 -0600
  • f835556ffb The current year is 2017! Sean Bowe 2017-03-13 20:30:09 -0600
  • 25375ee819 Update licenses. Sean Bowe 2017-03-13 20:28:56 -0600
  • 9c3f6fb92f Change travis to nightly. Sean Bowe 2017-03-10 08:52:40 -0700
  • 2321ead995 In with the new. Sean Bowe 2017-01-08 00:08:49 -0700
  • c506c48c91 Out with the old... Sean Bowe 2017-01-07 20:30:09 -0700
  • e24fcfdc5c Added primitive circuit abstraction, tests for sha3. Sean Bowe 2016-01-28 20:37:54 -0700
  • 67003a471b Fixed type error Sean Bowe 2016-01-26 14:45:04 -0700
  • da373758e5 Minor improvements Sean Bowe 2016-01-26 14:18:01 -0700
  • ececc2b60b Implement raw constraints for Bit Sean Bowe 2016-01-24 01:42:29 -0700
  • 506ef75e3c Make macro compatible with more recent version of Rust Sean Bowe 2016-01-23 02:17:43 -0700
  • 5d49abcf62 Fix tinysnark test Sean Bowe 2016-01-22 21:21:40 -0700
  • d0b589749a Force FieldT alignment Sean Bowe 2016-01-22 21:18:52 -0700
  • 710059b779 Relicensed as Apache/MIT dual license. Closes #1. Sean Bowe 2016-01-12 14:14:06 -0700
  • b4d4331926 Refactor bit implementation (small improvements in number of constraints) Sean Bowe 2016-01-10 03:26:54 -0700
  • b82a2f60f7 Reorganize and remove (temporary) unsafe witnessing Sean Bowe 2016-01-03 03:45:20 -0700
  • 7415d5ff3c Added unconstrained zk-SNARK implementation for SHA3 Sean Bowe 2016-01-03 02:13:25 -0700
  • bc77a837df More cleanup Sean Bowe 2015-12-28 04:08:01 -0700
  • 8445bb4bb7 Cleanup Sean Bowe 2015-12-28 04:02:22 -0700
  • 75533e5e97 Abstract away the binary mapping from xor/notand. Sean Bowe 2015-12-28 02:21:52 -0700
  • 774c4375ee Remove old chunks interface Sean Bowe 2015-12-28 02:17:11 -0700
  • f84e4449a5 Add test vector that tests endianness. Sean Bowe 2015-12-28 02:15:15 -0700
  • 5b40589bc0 Made this more idiomatic Sean Bowe 2015-12-28 02:13:31 -0700
  • 316b65514c Massive refactor of keccakf Sean Bowe 2015-12-28 02:08:05 -0700
  • 4eac6417c3 Completely functional implementation with tests Sean Bowe 2015-12-28 00:45:11 -0700
  • a0d56f3451 getting there Sean Bowe 2015-12-28 00:15:16 -0700
  • 0a3d848cbb broken test Sean Bowe 2015-12-27 23:24:39 -0700
  • 007b55a843 Clean up warnings Sean Bowe 2015-12-27 20:24:45 -0700
  • ca289581a8 Clean up implementation to use vectors. We'll use arrays when Rust doesn't suck at them. Sean Bowe 2015-12-27 19:33:36 -0700
  • 5fa9d9f438 Moved this to src/ Sean Bowe 2015-12-27 17:40:11 -0700
  • 38767db686 WIP implementation of keccak with bellman Sean Bowe 2015-12-26 16:17:46 -0700
  • 86146ddad7 Rearranged tests, added XOR example. Sean Bowe 2015-12-26 10:18:44 -0700
  • ab33ff017b Remove cs from proof api Sean Bowe 2015-12-25 11:21:11 -0700
  • fc1bdf2148 Added r1cs ppzksnark proving scheme and some tests. Sean Bowe 2015-12-25 05:52:14 -0700
  • a66c21fe11 Update travis configuration Sean Bowe 2015-12-25 00:40:53 -0700
  • 1e5d4b40e7 Don't include benchmarking stuff for now. Sean Bowe 2015-12-25 00:39:44 -0700
  • 02eb93d5d2 Test the right things Sean Bowe 2015-12-25 00:37:52 -0700
  • 0b8b52cb41 Add basic field arithmetic. Sean Bowe 2015-12-25 00:30:10 -0700
  • 8e0af61ba4 Add dockerfile Sean Bowe 2015-12-24 03:22:56 -0700
  • 8e350f6b6a Update readme with travis build image Sean Bowe 2015-12-24 03:19:30 -0700
  • b554e93f72 Add travis-ci configuration Sean Bowe 2015-12-24 03:04:43 -0700
  • 45111d6576 Initial commit Sean Bowe 2015-12-24 02:58:38 -0700