146 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
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
ebfull	1a89b3a486	Merge pull request #33 from ebfull/general-improvements ... General improvements	2018-02-20 18:39:02 -07:00
Sean Bowe	e8480a2b2c	Utility for witnessing points on the curve.	2018-02-20 18:36:53 -07:00
Sean Bowe	c221bc9126	Rename mont to ecc in circuit code.	2018-02-20 18:18:29 -07:00
Sean Bowe	a1c749e6a0	Change fixed-base exponentiation API to handle scalars better.	2018-02-20 18:12:27 -07:00
Sean Bowe	88bdff6ce9	Pedersen hashes with full optimization	2018-02-20 17:22:00 -07:00
Sean Bowe	4fa73efc1e	Remove conditional negation implementation from AllocatedNum.	2018-02-20 16:41:33 -07:00
Sean Bowe	c89d47bb07	Remove Montgomery point doubling implementation in the circuit.	2018-02-20 16:38:44 -07:00
Sean Bowe	1610bcfbcf	Perform the y-coordinate conditional negation and lookup simultaneously.	2018-02-20 16:31:27 -07:00
Sean Bowe	6f66fd3f9d	Express x and y coordinates from lookup as linear combinations.	2018-02-20 16:11:48 -07:00
Sean Bowe	b37d9b11cb	More efficient implementation of Edwards doubling in the circuit.	2018-02-20 15:38:28 -07:00
Sean Bowe	6e80c12365	Add TODO	2018-02-20 15:11:29 -07:00
Sean Bowe	d779f31ccd	Force personalization of Pedersen hashes.	2018-02-20 15:11:29 -07:00
Sean Bowe	39175a0c2a	Remove unneeded imports	2018-02-20 15:11:29 -07:00
Sean Bowe	5118fd5008	Add new fixed generators for the output circuit	2018-02-20 15:11:29 -07:00
Sean Bowe	ec7323159c	Booleanize u64 objects.	2018-02-20 15:11:29 -07:00
Sean Bowe	1df7fbeeff	Refactor "booleanization" of objects.	2018-02-20 15:11:29 -07:00
ebfull	8d633db82b	Merge pull request #29 from ebfull/pedersen-chunks ... 63 chunks per pedersen hash segment	2018-02-20 15:09:59 -07:00
ebfull	c091e274ee	Merge pull request #32 from ebfull/bellman-update ... Bellman update	2018-02-16 09:09:27 -07:00
Sean Bowe	2f95a9094a	Refactor to handle changes to ConstraintSystem API (no more Variable associated type, one is now static method).	2018-02-16 08:45:18 -07:00
Sean Bowe	814cfef769	Use more descriptive synthesis errors now available in bellman.	2018-02-16 08:45:17 -07:00
Sean Bowe	683aa93b44	Account for change in bellman's API for enforcement to use closures.	2018-02-16 08:44:27 -07:00
Sean Bowe	821d22261e	Raise the number of chunks in Pedersen hashes to 63.	2018-02-11 12:59:57 -07:00
Sean Bowe	52829af6d8	Fix test for pedersen hash chunks per generator.	2018-02-11 12:59:49 -07:00