Commit Graph

1475 Commits

Author SHA1 Message Date
Sean Bowe 2d4be07560
Fix group hash comment. 2018-03-06 22:26:03 -07:00
Sean Bowe ef85173df5
Fix comments in jubjub code. 2018-03-06 22:25:15 -07:00
Sean Bowe b0b3514fa7
Add bench_50 example. 2018-03-06 10:21:30 -07:00
Sean Bowe 1f65d4b353
Change tree depth to 32 in test. 2018-03-06 10:04:02 -07:00
Sean Bowe 1f2bb62657
Rename proving key to proof generation key to disambiguate from the SNARK. 2018-03-06 09:56:29 -07:00
Sean Bowe c31092ce7f
Remove unnecessary mut binding. 2018-03-06 09:39:56 -07:00
ebfull c253e51e3d
Merge pull request #35 from ebfull/primitives
WIP bundle
2018-03-06 09:10:23 -07:00
Sean Bowe 63c6830429
Cache fewer pedersen hash generators. 2018-03-06 09:03:29 -07:00
Sean Bowe 7a9879eb54
Make EdwardsPoint (x, y) not public. 2018-03-06 08:38:34 -07:00
Sean Bowe f155c01cf5
Personalize GH for each generator independently. 2018-03-06 08:30:28 -07:00
Sean Bowe b831942501
Adopt BLAKE2s personalization throughout protocol. 2018-03-05 19:32:27 -07:00
Sean Bowe d21ff08176
Group hash should use a first block containing random data as per spec. 2018-03-05 18:08:49 -07:00
Sean Bowe 058801bdfc
Switch to using the blake2-rfc crate instead. 2018-03-05 17:58:34 -07:00
Sean Bowe 2e846844e7
Perform ak group order check in Spend circuit. 2018-03-05 17:46:12 -07:00
Sean Bowe 7bb630a4b1
Use correct personalization for merkle tree. 2018-03-05 17:27:55 -07:00
Sean Bowe c6cf0c718c
Value placed in note contents should be in big endian bit order. 2018-03-05 16:10:55 -07:00
Sean Bowe b45a37febb
Add comments and reorder some generators. 2018-03-05 16:00:04 -07:00
Sean Bowe 69010d1502
Relocate Pedersen hash personalization enum. 2018-03-05 15:25:40 -07:00
Sean Bowe 8cbcd7739c
Rename into_bits and into_bits_strict to signify endianness. 2018-03-05 15:12:51 -07:00
Sean Bowe 3971ecd375
Abstract away the boolean conversion of field witnessing. 2018-03-05 10:52:56 -07:00
Sean Bowe 543f5cd49c
Change bit-endianness of into_bits/into_bits_strict. 2018-03-05 10:27:14 -07:00
Sean Bowe 3e15751fd1
Allocate the note value directly in little-endian bit order. 2018-03-05 09:37:13 -07:00
Sean Bowe e52befb58e
Introduce inputize abstractions to simplify circuit code. 2018-03-04 23:33:05 -07:00
Sean Bowe 51c35a9bcf
Adopt new versions of pairing and bellman. 2018-03-04 22:25:04 -07:00
ebfull 33feb3763f
Merge pull request #17 from plutomonkey/update-rand-dependency
Update "rand" dependency to 0.4.
2018-03-04 20:45:28 -07:00
bmerge ef7ade8c2c Auto merge of #78 - ebfull:release-0.14, r=ebfull
Release of pairing 0.14.0.

This release makes some changes in response to an audit of this library, as well as some obversations about the API that I made. Some names were changed (`divn` -> `shr`, `muln` -> `shl`) and `add_nocarry`/`sub_noborrow` no longer return anything (as their names would suggest.) Some potentially misleading comments are fixed as well.

The release also applies `rustfmt` and new lints from `clippy` to the codebase, enforced by the CI on a more recent version of the Nightly compiler.

Thanks go to @jasondavies for his contributions to this release.
2018-03-05 03:31:26 +00:00
Sean Bowe 92d2c13285
Release of pairing 0.14.0. 2018-03-04 20:01:23 -07:00
Sean Bowe c9cacc7467 Bump version and integrate pairing 0.14. 2018-03-04 19:51:03 -07:00
bmerge 6fea7e382d Auto merge of #77 - ebfull:rustfmt-application-2, r=ebfull
Apply rustfmt

Supersedes #76

I've made a change to the CI which checks `rustfmt` against the code. Let's see if it worked.
2018-03-05 02:49:40 +00:00
Sean Bowe f5370057bd Test deserialization of proofs in MiMC test example. 2018-03-04 19:41:59 -07:00
Sean Bowe 5f8747a0f4 Move MiMC example to tests. 2018-03-04 19:33:59 -07:00
Sean Bowe 86f652fa9f Some minor documentation/changes to domain. 2018-03-04 19:27:33 -07:00
Sean Bowe f7815f6e49 Remove unused tests and fix documentation. 2018-03-04 18:49:07 -07:00
Sean Bowe ab1487025f Serialization of parameters and proofs. 2018-03-04 18:49:05 -07:00
Sean Bowe 57687cf70f
Creation of the Note primitive. 2018-02-24 22:53:00 -07:00
ebfull 4f4a2d63db
Merge pull request #34 from ebfull/output-circuit
WIP circuit development
2018-02-24 17:22:42 -07:00
Sean Bowe 27674bf8ff
Derive Clone for EdwardsPoint. 2018-02-24 17:11:17 -07:00
Sean Bowe 3346fba915
Implementation of Jubjub point representation. 2018-02-24 14:11:01 -07:00
Sean Bowe 4441a0da41
Hash the constraint systems to check integrity. 2018-02-24 09:09:20 -07:00
Sean Bowe 23d17b9042
Minor adjustments. 2018-02-23 18:09:26 -07:00
Sean Bowe 7a7774d8af
Remove unused imports in Boolean. 2018-02-23 11:28:17 -07:00
Sean Bowe 8c37212645
Remove kary_and from Boolean. 2018-02-23 11:25:59 -07:00
Sean Bowe a45986ff97
Remove enforce_nand. 2018-02-23 11:24:42 -07:00
Sean Bowe 0d56c7a902
Remove enforce_in_field. 2018-02-23 11:18:39 -07:00
Sean Bowe 69abd0391f
Optimize into_bits_strict. 2018-02-23 11:15:14 -07:00
Sean Bowe 97585a30ad
Remove from_bits_strict from AllocatedNum. 2018-02-23 09:26:12 -07:00
Sean Bowe c812805b31
Slight refactor of representations 2018-02-22 18:43:07 -07:00
Sean Bowe ba7298de3f
Crappy mock-up of the circuit. 2018-02-22 11:36:44 -07:00
Sean Bowe 4b6623cf44
Add some personalization and a generator. 2018-02-22 07:29:55 -07:00
Sean Bowe 53083f4290
Apply rustfmt to the codebase. 2018-02-21 11:08:58 -07:00