359 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
wborgeaud	747f1875af	Add todo for public inputs	2021-06-23 14:26:05 +02:00
wborgeaud	8ae664d94f	Minor	2021-06-23 14:22:42 +02:00
wborgeaud	6c864ca522	Merge branch 'main' into fix_target_partition ... # Conflicts: # src/witness.rs	2021-06-23 14:17:02 +02:00
wborgeaud	bc90909fa3	Add check of copy constraints after witness generation	2021-06-23 14:16:05 +02:00
wborgeaud	3bc27c65ef	Rollback to previous semantics	2021-06-23 13:46:19 +02:00
wborgeaud	1903ecacc6	Merge pull request #69 from mir-protocol/optimize_reductions ... Optimize reductions by `alpha`	2021-06-23 11:51:36 +02:00
wborgeaud	517c75abe2	Add comment for ReducingFactor	2021-06-23 11:51:16 +02:00
wborgeaud	492b04843e	Optimize some polynomial operations to avoid cloning.	2021-06-23 11:41:32 +02:00
wborgeaud	26e669ddec	2 collects -> 1 collect	2021-06-23 11:33:50 +02:00
wborgeaud	01053ab96a	Fix bug	2021-06-23 11:30:57 +02:00
wborgeaud	70e980488c	Merge branch 'main' into optimize_reductions ... # Conflicts: # src/fri/verifier.rs # src/polynomial/commitment.rs	2021-06-23 11:03:59 +02:00
wborgeaud	5442c4dc6e	Merge pull request #70 from mir-protocol/optimize_polynomials ... Optimize some polynomial operations	2021-06-21 10:32:59 +02:00
wborgeaud	15922d2518	Add comment for denominator polynomial	2021-06-21 10:32:32 +02:00
wborgeaud	37171505c7	Remove useless interpolation from open_plonk	2021-06-18 12:49:40 +02:00
wborgeaud	a4c86a6b08	lagrange.rs -> interpolation.rs	2021-06-18 11:44:06 +02:00
wborgeaud	7d4e79f069	Clippy	2021-06-18 11:22:38 +02:00
wborgeaud	621c046fe4	Use long division when dividing by quadratic polynomial	2021-06-18 11:17:15 +02:00
wborgeaud	5a8d951590	Use interpolate2 in the FRI verifier	2021-06-18 11:16:22 +02:00
wborgeaud	4f8ef2e178	Optimize some polynomial operations	2021-06-18 11:10:33 +02:00
wborgeaud	9db7dce738	scale -> reduce	2021-06-17 22:06:53 +02:00
wborgeaud	92e0f60c23	Clippy	2021-06-17 21:57:31 +02:00
wborgeaud	fe9cd3f76b	Working commitments and verifier	2021-06-17 21:34:04 +02:00
wborgeaud	100ab6ce48	Merge branch 'main' into optimize_reductions ... # Conflicts: # src/fri/verifier.rs # src/proof.rs	2021-06-17 19:43:32 +02:00
wborgeaud	f27620ca90	First impl	2021-06-17 19:40:41 +02:00
wborgeaud	b2e8a44994	Merge pull request #67 from mir-protocol/hardcode_plonk_polys ... Hardcode Plonk polynomials indices and blinding flags.	2021-06-17 19:33:41 +02:00
wborgeaud	bfd5f06384	Hardcode Plonk polynomials indices and blinding flags.	2021-06-17 11:54:31 +02:00
wborgeaud	fbbe5398d6	Merge pull request #61 from mir-protocol/recursive_verifier ... Recursive verifier	2021-06-17 11:36:48 +02:00
wborgeaud	930e117185	Minor	2021-06-17 11:35:10 +02:00
wborgeaud	5bebc746f6	PR feedback	2021-06-17 11:31:14 +02:00
wborgeaud	eaba5238a6	Change PoW to checking leading zeros	2021-06-17 09:49:41 +02:00
wborgeaud	5edaab59e6	Renaming + Clippy	2021-06-16 11:37:07 +02:00
wborgeaud	e647e17720	Simplify insert and rotate gadgets, and check that we don't overrotate.	2021-06-16 11:17:45 +02:00
wborgeaud	8d999ab299	Rewrite insert gadget.	2021-06-16 10:43:18 +02:00
wborgeaud	4437012d2a	Add num_bits to exp.	2021-06-16 08:56:58 +02:00
wborgeaud	6203eb0097	Rewrite MulExtensionGenerator::run_once.	2021-06-16 08:52:25 +02:00
wborgeaud	8200bdcedc	Add num_bits in split_low_high.	2021-06-16 08:40:28 +02:00
wborgeaud	ab7e2381a2	Remove rev in computation of the reversed sum in BaseSplitGenerator.	2021-06-16 08:15:44 +02:00
wborgeaud	89b25c528c	PR feedback fixes	2021-06-15 19:13:15 +02:00
wborgeaud	89c6a6b4e6	Use repeated_frobenius in ExtensionTarget::frobenius.	2021-06-15 17:34:37 +02:00
wborgeaud	b44a01c975	Merge main	2021-06-15 09:20:00 +02:00
wborgeaud	39c793a380	Fixes from PR feedback	2021-06-15 08:35:06 +02:00
wborgeaud	c22bc6261e	Revert watch insertion	2021-06-14 21:03:50 +02:00
wborgeaud	86b4b0ab41	Add check that all generators were run.	2021-06-14 17:06:53 +02:00
wborgeaud	ea6a724560	Enforce copy constraints in partial witness generation.	2021-06-14 17:02:52 +02:00
wborgeaud	322556260c	Cosmetic changes	2021-06-14 16:06:41 +02:00
wborgeaud	cfa5807556	Add insert gadget to insert inferred leaf in FRI query rounds	2021-06-14 15:15:22 +02:00
wborgeaud	fa229d9a27	Add comments on possible optimizations	2021-06-14 13:41:44 +02:00
wborgeaud	6132b2ad73	Use mul_extension in scalar_mul_ext since mul_extension now uses a single gate.	2021-06-14 13:30:14 +02:00
wborgeaud	670e48380a	Finish recursive verifier	2021-06-14 13:26:22 +02:00
wborgeaud	88c58c3227	Fix imports	2021-06-14 10:37:02 +02:00