Commit Graph

  • 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