Commit Graph

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