b6e1b52a44
Fix comment about Montgomery curve selection
2018-03-08 13:03:07 -07:00
db28ff7ba1
Simplify the Output witness.
2018-03-08 01:49:27 -07:00
9998400117
Relocate structs for cleanliness.
2018-03-08 01:37:55 -07:00
512a394b30
Simplify witness for Spend statement.
2018-03-08 01:36:16 -07:00
3fbbd933cf
Simplify value commitment abstraction.
2018-03-08 01:16:21 -07:00
d6d86737c8
Remove some code duplication for value commitment witnessing.
2018-03-08 01:01:00 -07:00
f61cc88a71
More comment improvements.
2018-03-08 00:51:53 -07:00
b6ef12b077
General code quality improvements.
2018-03-08 00:41:47 -07:00
896b144a7d
Move first block of group hash to constants submodule.
2018-03-08 00:09:34 -07:00
c7c8d3c039
Move personalization constants to submodule.
2018-03-08 00:06:53 -07:00
25a8050df8
Remaining tests for input circuit
2018-03-07 23:59:04 -07:00
b998190f9e
Disable this, for now.
2018-03-07 23:45:08 -07:00
0242ed35ab
Add some circuit tests for inputs.
2018-03-07 12:19:56 -07:00
2d4be07560
Fix group hash comment.
2018-03-06 22:26:03 -07:00
ef85173df5
Fix comments in jubjub code.
2018-03-06 22:25:15 -07:00
b0b3514fa7
Add bench_50 example.
2018-03-06 10:21:30 -07:00
1f65d4b353
Change tree depth to 32 in test.
2018-03-06 10:04:02 -07:00
1f2bb62657
Rename proving key to proof generation key to disambiguate from the SNARK.
2018-03-06 09:56:29 -07:00
c31092ce7f
Remove unnecessary mut binding.
2018-03-06 09:39:56 -07:00
c253e51e3d
Merge pull request #35 from ebfull/primitives
...
WIP bundle
2018-03-06 09:10:23 -07:00
63c6830429
Cache fewer pedersen hash generators.
2018-03-06 09:03:29 -07:00
7a9879eb54
Make EdwardsPoint (x, y) not public.
2018-03-06 08:38:34 -07:00
f155c01cf5
Personalize GH for each generator independently.
2018-03-06 08:30:28 -07:00
b831942501
Adopt BLAKE2s personalization throughout protocol.
2018-03-05 19:32:27 -07:00
d21ff08176
Group hash should use a first block containing random data as per spec.
2018-03-05 18:08:49 -07:00
058801bdfc
Switch to using the blake2-rfc crate instead.
2018-03-05 17:58:34 -07:00
2e846844e7
Perform ak group order check in Spend circuit.
2018-03-05 17:46:12 -07:00
7bb630a4b1
Use correct personalization for merkle tree.
2018-03-05 17:27:55 -07:00
c6cf0c718c
Value placed in note contents should be in big endian bit order.
2018-03-05 16:10:55 -07:00
b45a37febb
Add comments and reorder some generators.
2018-03-05 16:00:04 -07:00
69010d1502
Relocate Pedersen hash personalization enum.
2018-03-05 15:25:40 -07:00
8cbcd7739c
Rename into_bits and into_bits_strict to signify endianness.
2018-03-05 15:12:51 -07:00
3971ecd375
Abstract away the boolean conversion of field witnessing.
2018-03-05 10:52:56 -07:00
543f5cd49c
Change bit-endianness of into_bits/into_bits_strict.
2018-03-05 10:27:14 -07:00
3e15751fd1
Allocate the note value directly in little-endian bit order.
2018-03-05 09:37:13 -07:00
e52befb58e
Introduce inputize abstractions to simplify circuit code.
2018-03-04 23:33:05 -07:00
51c35a9bcf
Adopt new versions of pairing and bellman.
2018-03-04 22:25:04 -07:00
33feb3763f
Merge pull request #17 from plutomonkey/update-rand-dependency
...
Update "rand" dependency to 0.4.
2018-03-04 20:45:28 -07:00
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
92d2c13285
Release of pairing 0.14.0.
2018-03-04 20:01:23 -07:00
c9cacc7467
Bump version and integrate pairing 0.14.
2018-03-04 19:51:03 -07:00
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
f5370057bd
Test deserialization of proofs in MiMC test example.
2018-03-04 19:41:59 -07:00
5f8747a0f4
Move MiMC example to tests.
2018-03-04 19:33:59 -07:00
86f652fa9f
Some minor documentation/changes to domain.
2018-03-04 19:27:33 -07:00
f7815f6e49
Remove unused tests and fix documentation.
2018-03-04 18:49:07 -07:00
ab1487025f
Serialization of parameters and proofs.
2018-03-04 18:49:05 -07:00
57687cf70f
Creation of the Note primitive.
2018-02-24 22:53:00 -07:00
4f4a2d63db
Merge pull request #34 from ebfull/output-circuit
...
WIP circuit development
2018-02-24 17:22:42 -07:00
27674bf8ff
Derive Clone for EdwardsPoint.
2018-02-24 17:11:17 -07:00
Sean Bowe
bmerge