563 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Sean Bowe	25a8050df8	Remaining tests for input circuit	2018-03-07 23:59:04 -07:00
Sean Bowe	b998190f9e	Disable this, for now.	2018-03-07 23:45:08 -07:00
Sean Bowe	0242ed35ab	Add some circuit tests for inputs.	2018-03-07 12:19:56 -07:00
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