Commit Graph

  • c31092ce7f Remove unnecessary mut binding. Sean Bowe 2018-03-06 09:39:56 -07:00
  • c253e51e3d Merge pull request #35 from ebfull/primitives ebfull 2018-03-06 09:10:23 -07:00
  • 63c6830429 Cache fewer pedersen hash generators. Sean Bowe 2018-03-06 09:03:29 -07:00
  • 7a9879eb54 Make EdwardsPoint (x, y) not public. Sean Bowe 2018-03-06 08:38:34 -07:00
  • f155c01cf5 Personalize GH for each generator independently. Sean Bowe 2018-03-06 08:30:28 -07:00
  • b831942501 Adopt BLAKE2s personalization throughout protocol. Sean Bowe 2018-03-05 19:21:41 -07:00
  • d21ff08176 Group hash should use a first block containing random data as per spec. Sean Bowe 2018-03-05 18:08:49 -07:00
  • 058801bdfc Switch to using the blake2-rfc crate instead. Sean Bowe 2018-03-05 17:58:34 -07:00
  • 2e846844e7 Perform ak group order check in Spend circuit. Sean Bowe 2018-03-05 17:46:12 -07:00
  • 7bb630a4b1 Use correct personalization for merkle tree. Sean Bowe 2018-03-05 17:27:55 -07:00
  • c6cf0c718c Value placed in note contents should be in big endian bit order. Sean Bowe 2018-03-05 16:10:55 -07:00
  • b45a37febb Add comments and reorder some generators. Sean Bowe 2018-03-05 16:00:04 -07:00
  • 69010d1502 Relocate Pedersen hash personalization enum. Sean Bowe 2018-03-05 15:25:40 -07:00
  • 8cbcd7739c Rename into_bits and into_bits_strict to signify endianness. Sean Bowe 2018-03-05 15:12:51 -07:00
  • 3971ecd375 Abstract away the boolean conversion of field witnessing. Sean Bowe 2018-03-05 10:52:56 -07:00
  • 543f5cd49c Change bit-endianness of into_bits/into_bits_strict. Sean Bowe 2018-03-05 10:27:14 -07:00
  • 3e15751fd1 Allocate the note value directly in little-endian bit order. Sean Bowe 2018-03-05 09:37:13 -07:00
  • e52befb58e Introduce inputize abstractions to simplify circuit code. Sean Bowe 2018-03-04 23:33:05 -07:00
  • 51c35a9bcf Adopt new versions of pairing and bellman. Sean Bowe 2018-03-04 22:25:04 -07:00
  • 33feb3763f Merge pull request #17 from plutomonkey/update-rand-dependency ebfull 2018-03-04 20:45:28 -07:00
  • ef7ade8c2c Auto merge of #78 - ebfull:release-0.14, r=ebfull bmerge 2018-03-05 03:31:26 +00:00
  • 92d2c13285 Release of pairing 0.14.0. Sean Bowe 2018-03-04 20:01:23 -07:00
  • c9cacc7467 Bump version and integrate pairing 0.14. Sean Bowe 2018-03-04 19:51:03 -07:00
  • 6fea7e382d Auto merge of #77 - ebfull:rustfmt-application-2, r=ebfull bmerge 2018-03-05 02:49:40 +00:00
  • f5370057bd Test deserialization of proofs in MiMC test example. Sean Bowe 2018-03-04 19:41:59 -07:00
  • 5f8747a0f4 Move MiMC example to tests. Sean Bowe 2018-03-04 19:33:59 -07:00
  • 86f652fa9f Some minor documentation/changes to domain. Sean Bowe 2018-03-04 19:27:33 -07:00
  • f7815f6e49 Remove unused tests and fix documentation. Sean Bowe 2018-03-04 17:59:11 -07:00
  • ab1487025f Serialization of parameters and proofs. Sean Bowe 2018-03-04 17:49:05 -07:00
  • 57687cf70f Creation of the Note primitive. Sean Bowe 2018-02-24 22:53:00 -07:00
  • 4f4a2d63db Merge pull request #34 from ebfull/output-circuit ebfull 2018-02-24 17:22:42 -07:00
  • 27674bf8ff Derive Clone for EdwardsPoint. Sean Bowe 2018-02-24 17:11:17 -07:00
  • 3346fba915 Implementation of Jubjub point representation. Sean Bowe 2018-02-24 14:11:01 -07:00
  • 4441a0da41 Hash the constraint systems to check integrity. Sean Bowe 2018-02-24 08:01:16 -07:00
  • 23d17b9042 Minor adjustments. Sean Bowe 2018-02-23 18:09:26 -07:00
  • 7a7774d8af Remove unused imports in Boolean. Sean Bowe 2018-02-23 11:28:17 -07:00
  • 8c37212645 Remove kary_and from Boolean. Sean Bowe 2018-02-23 11:25:59 -07:00
  • a45986ff97 Remove enforce_nand. Sean Bowe 2018-02-23 11:24:42 -07:00
  • 0d56c7a902 Remove enforce_in_field. Sean Bowe 2018-02-23 11:18:39 -07:00
  • 69abd0391f Optimize into_bits_strict. Sean Bowe 2018-02-23 11:15:14 -07:00
  • 97585a30ad Remove from_bits_strict from AllocatedNum. Sean Bowe 2018-02-23 09:26:12 -07:00
  • c812805b31 Slight refactor of representations Sean Bowe 2018-02-22 18:43:07 -07:00
  • ba7298de3f Crappy mock-up of the circuit. Sean Bowe 2018-02-22 11:36:44 -07:00
  • 4b6623cf44 Add some personalization and a generator. Sean Bowe 2018-02-22 07:29:55 -07:00
  • 53083f4290 Apply rustfmt to the codebase. Sean Bowe 2018-02-21 11:08:58 -07:00
  • d51a5b0122 Auto merge of #73 - plutomonkey:update-rand-dependency, r=ebfull bmerge 2018-02-21 16:33:33 +00:00
  • da717f4472 Auto merge of #75 - ebfull:primerepr-fixes, r=ebfull bmerge 2018-02-21 15:56:41 +00:00
  • 1a89b3a486 Merge pull request #33 from ebfull/general-improvements ebfull 2018-02-20 18:39:02 -07:00
  • e8480a2b2c Utility for witnessing points on the curve. Sean Bowe 2018-02-20 18:36:53 -07:00
  • c221bc9126 Rename mont to ecc in circuit code. Sean Bowe 2018-02-20 18:18:29 -07:00
  • a1c749e6a0 Change fixed-base exponentiation API to handle scalars better. Sean Bowe 2018-02-20 18:12:27 -07:00
  • 88bdff6ce9 Pedersen hashes with full optimization Sean Bowe 2018-02-20 17:22:00 -07:00
  • 4fa73efc1e Remove conditional negation implementation from AllocatedNum. Sean Bowe 2018-02-20 16:41:33 -07:00
  • c89d47bb07 Remove Montgomery point doubling implementation in the circuit. Sean Bowe 2018-02-20 16:38:44 -07:00
  • 1610bcfbcf Perform the y-coordinate conditional negation and lookup simultaneously. Sean Bowe 2018-02-20 16:31:27 -07:00
  • 6f66fd3f9d Express x and y coordinates from lookup as linear combinations. Sean Bowe 2018-02-20 16:11:48 -07:00
  • b37d9b11cb More efficient implementation of Edwards doubling in the circuit. Sean Bowe 2018-02-20 15:38:28 -07:00
  • 6e80c12365 Add TODO Sean Bowe 2018-02-20 14:31:06 -07:00
  • d779f31ccd Force personalization of Pedersen hashes. Sean Bowe 2018-02-20 13:16:41 -07:00
  • 39175a0c2a Remove unneeded imports Sean Bowe 2018-02-20 12:54:26 -07:00
  • 5118fd5008 Add new fixed generators for the output circuit Sean Bowe 2018-02-20 12:54:14 -07:00
  • ec7323159c Booleanize u64 objects. Sean Bowe 2018-02-19 19:27:03 -07:00
  • 1df7fbeeff Refactor "booleanization" of objects. Sean Bowe 2018-02-19 18:56:53 -07:00
  • 8d633db82b Merge pull request #29 from ebfull/pedersen-chunks ebfull 2018-02-20 15:09:59 -07:00
  • c091e274ee Merge pull request #32 from ebfull/bellman-update ebfull 2018-02-16 09:09:27 -07:00
  • 2f95a9094a Refactor to handle changes to ConstraintSystem API (no more Variable associated type, one is now static method). Sean Bowe 2018-02-13 12:38:06 -07:00
  • 814cfef769 Use more descriptive synthesis errors now available in bellman. Sean Bowe 2018-02-07 16:52:24 -07:00
  • 683aa93b44 Account for change in bellman's API for enforcement to use closures. Sean Bowe 2018-02-07 16:26:57 -07:00
  • 749d6ceed4 Bump version Sean Bowe 2018-02-15 22:22:50 -07:00
  • cb53708767 New implementation of library API. Sean Bowe 2018-02-14 12:31:43 -07:00
  • 541fda7580 Fix misleading comments on write_be and read_be. Sean Bowe 2018-02-13 17:14:17 -07:00
  • b971bdedda Rename divn/muln to shr/shl. Sean Bowe 2018-02-13 17:07:10 -07:00
  • 7b6e13bcb9 Auto merge of #74 - plutomonkey:clippy, r=ebfull bmerge 2018-02-14 00:03:26 +00:00
  • a0fcf717c8 add_nocarry and sub_noborrow should no longer return anything. Sean Bowe 2018-02-13 16:41:10 -07:00
  • bce9f5d639 Update clippy and fix code indentation. Jason Davies 2018-02-13 16:02:30 +00:00
  • 2338174244 Update "rand" dependency to 0.4. Jason Davies 2018-02-13 15:51:16 +00:00
  • 137b410196 Update "rand" dependency to 0.4. Jason Davies 2018-02-13 15:43:35 +00:00
  • 821d22261e Raise the number of chunks in Pedersen hashes to 63. Sean Bowe 2018-02-11 12:59:57 -07:00
  • 52829af6d8 Fix test for pedersen hash chunks per generator. Sean Bowe 2018-02-11 12:38:17 -07:00
  • c8cc190781 Merge pull request #21 from ebfull/gh-revisions ebfull 2018-02-10 11:24:11 -07:00
  • 73e73d7c8c Remove TODOs by creating tickets. Sean Bowe 2018-02-07 13:55:34 -07:00
  • edc4adc32c Implementation of fixed-base Edwards scalar multiplication in the circuit. Sean Bowe 2018-02-07 13:33:09 -07:00
  • 69833e5162 Start initializing generators for various components in the protocol. Sean Bowe 2018-02-06 11:08:17 -07:00
  • 55b8f7a575 Dynamic base twisted Edwards scalar multiplication in the circuit. Sean Bowe 2018-02-02 14:24:18 -07:00
  • f2c74a4b98 Implement conditional reversal of two allocated numbers. Sean Bowe 2018-02-02 11:57:49 -07:00
  • d49c0b0b0d Implement Edwards doubling in the circuit. Sean Bowe 2018-02-02 10:01:33 -07:00
  • 67f2cea200 Move window table lookup logic into its own module. Sean Bowe 2018-02-02 09:50:59 -07:00
  • ba3ef9c84c Implementation of 3-bit window table lookups. Sean Bowe 2018-02-02 09:41:44 -07:00
  • 9d49a60f48 Replace Montgomery point interpretation with twisted Edwards. Sean Bowe 2018-01-29 10:38:18 -07:00
  • f00e8a8292 Change group_hash to output points in the twisted Edwards form. Sean Bowe 2018-01-29 08:56:58 -07:00
  • 55598e4d4f Define get_for_y for twisted Edwards points. Sean Bowe 2018-01-29 08:32:06 -07:00
  • bfda59f80b Remove group hash implementation from inside the circuit, as it is no longer necessary. Sean Bowe 2018-01-29 07:24:59 -07:00
  • 7d590491bd Merge pull request #15 from ebfull/pedersen-hashes ebfull 2018-01-29 06:06:52 -07:00
  • 42514e7c47 Remove TODO's in favor of github issues. Sean Bowe 2018-01-29 06:06:10 -07:00
  • 7211d98c1e Implement linear combination addition with coefficient. Sean Bowe 2018-01-07 11:31:35 -07:00
  • 6841763ae7 Add TODO for improving lookup performance. Sean Bowe 2017-12-28 16:10:19 -07:00
  • 849f330441 Add test to monitor the number of constraints consumed by the pedersen hash (in the context of a merkle tree). Sean Bowe 2017-12-28 12:00:22 -07:00
  • e9c9618ef4 Implement pedersen hashes inside and outside of the circuit. Sean Bowe 2017-12-28 11:06:05 -07:00
  • 07f2e553a7 Implement twisted Edwards point conversion and addition in the circuit. Sean Bowe 2017-12-22 11:51:00 -07:00
  • 8e3bef80a4 Bump version of bellman. Sean Bowe 2017-12-22 03:13:42 -07:00