654 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Nicholas Ward	cad7dc6904	some progress	2021-06-30 21:31:17 -07:00
Nicholas Ward	80758da0f4	removed duplicate functions	2021-06-30 16:58:13 -07:00
Nicholas Ward	77d942f0e9	cleanup	2021-06-30 16:58:06 -07:00
Nicholas Ward	647568fc7a	added EqualityGenerator	2021-06-30 16:57:37 -07:00
Nicholas Ward	6cc06b408f	small change	2021-06-30 16:34:19 -07:00
Nicholas Ward	0c9d675ecc	fixes	2021-06-30 16:34:17 -07:00
Nicholas Ward	af9a2c055c	some fixes	2021-06-30 16:33:50 -07:00
Nicholas Ward	6c598ddcfd	very initial attempt	2021-06-30 16:33:50 -07:00
Nicholas Ward	6ec99d0b58	Merge pull request #82 from mir-protocol/blinding_related_fixes ... Couple fixes related to blinding	2021-06-30 13:12:32 -07:00
Daniel Lubarov	03179e5674	Couple fixes related to blinding ... - `self.gates` -> `self.gate_instances` - Some tests were using a single binary FRI reduction, which doesn't provide enough succinctness for our blinding scheme to work. This caused `blinding_counts` to continue until it overflowed.	2021-06-30 12:54:45 -07:00
wborgeaud	f7c4a463fc	Progress	2021-06-30 18:54:28 +02:00
wborgeaud	b8e764bb90	Allow for degree^2 < num_routed_wires	2021-06-30 16:48:41 +02:00
wborgeaud	a0298a61f4	Added partial products	2021-06-30 15:05:40 +02:00
wborgeaud	69fff573fe	Merge pull request #76 from mir-protocol/add_routed_wires ... Increase number of routed wires to 28 and add a new `ArithmeticExtensionGate`	2021-06-30 08:32:25 +02:00
wborgeaud	a017e79f65	Merge branch 'main' into add_routed_wires ... # Conflicts: # src/gadgets/arithmetic.rs	2021-06-30 08:30:10 +02:00
wborgeaud	b7f0352cd8	Update comment on reduce	2021-06-30 08:25:36 +02:00
Nicholas Ward	46ff079674	Merge pull request #80 from mir-protocol/blinding_factors ... Blinding factors	2021-06-29 23:20:07 -07:00
wborgeaud	e44c4ff679	Merge pull request #79 from mir-protocol/lower_max_constraint_degree ... Optimize max constraint degree when searching for gate trees	2021-06-30 08:16:45 +02:00
wborgeaud	eee3026eee	Move shorten in find_tree	2021-06-30 08:15:56 +02:00
Daniel Lubarov	f1e3474fcb	Simple reduce (#78) ... * Simple reduce * Fix bug causing test failure	2021-06-29 12:33:11 -07:00
Nicholas Ward	ce47eac72e	fix	2021-06-29 11:04:05 -07:00
Nicholas Ward	d599664f22	merge	2021-06-29 10:07:05 -07:00
wborgeaud	bae3777bcd	Use max filtered degree found with the tree method in CircuitBuilder::build	2021-06-29 14:00:34 +02:00
wborgeaud	493e81d786	Merge branch 'main' into lower_max_constraint_degree ... # Conflicts: # src/circuit_builder.rs	2021-06-29 13:48:41 +02:00
wborgeaud	9a352193ed	PR feedback	2021-06-29 09:49:05 +02:00
Nicholas Ward	d5457bf414	fixed arithmetic, and added comments	2021-06-28 23:08:24 -07:00
wborgeaud	2c5c073bb1	Merge pull request #68 from mir-protocol/permutation_argument ... `Z`s polynomials implementation	2021-06-29 08:07:14 +02:00
wborgeaud	f8f28a167c	Merge remote-tracking branch 'origin/permutation_argument' into permutation_argument	2021-06-29 08:06:20 +02:00
wborgeaud	57c86143bc	Fix mistake in comment	2021-06-29 08:06:06 +02:00
Nicholas Ward	40f5346009	cargo fmt	2021-06-28 17:07:27 -07:00
Nicholas Ward	5aa0960154	minor fixes	2021-06-28 17:07:09 -07:00
Nicholas Ward	4fb78cf7b2	fix	2021-06-28 11:34:30 -07:00
Nicholas Ward	01493303f8	blinding	2021-06-28 09:45:56 -07:00
Daniel Lubarov	7734aed62c	Performance tweaks (#77)	2021-06-28 08:56:36 -07:00
wborgeaud	12e81acccf	Optimize the degree of the tree returned by Tree::from_gates to allow non-power of 2 degree.	2021-06-28 11:27:43 +02:00
wborgeaud	4649c9b72c	Merge pull request #75 from mir-protocol/merge_constant_sigma_commitments ... Merge constant and sigma commitments	2021-06-28 09:48:02 +02:00
wborgeaud	c2b2ef921a	PR feedback	2021-06-28 09:47:47 +02:00
wborgeaud	636d8bef07	Comments	2021-06-25 17:24:22 +02:00
wborgeaud	2f06a78cb1	Simplify exp_u64	2021-06-25 16:53:11 +02:00
wborgeaud	42db0a31c1	Clippy	2021-06-25 16:49:29 +02:00
wborgeaud	fc4738869d	Rearrange files	2021-06-25 16:45:02 +02:00
wborgeaud	8602ae1549	Typo	2021-06-25 16:35:58 +02:00
wborgeaud	b62c2e6990	Supplant ArithmeticGate with ArithmeticExtensionGate	2021-06-25 16:31:10 +02:00
wborgeaud	8a119f035d	Working ReducingFactorTarget	2021-06-25 16:27:20 +02:00
wborgeaud	beadce72fc	Add ZeroOutGenerator	2021-06-25 15:11:49 +02:00
wborgeaud	fd3fa739a6	Fix test relying on ArithmeticGate	2021-06-25 13:56:43 +02:00
wborgeaud	e195fe58ed	Merge branch 'main' into add_routed_wires	2021-06-25 13:53:30 +02:00
wborgeaud	6652b38b99	Remove ArithmeticGate	2021-06-25 13:53:14 +02:00
wborgeaud	810d1869a1	Minor improvements	2021-06-25 11:49:29 +02:00
wborgeaud	625377b4c0	Merge constant and sigma polynomials	2021-06-25 11:24:26 +02:00