136 commits

Author	SHA1	Message	Date
Sean Bowe	123cacc7cc	Remove additional unnecessary vector clone from multiopen prover.	2020-10-15 17:06:35 -06:00
Sean Bowe	55ef4ea1f7	Unify the construct_intermediate_sets function between multiopen prover and verifier.	2020-10-15 17:01:30 -06:00
Sean Bowe	d3f593e89c	Avoid unnecessary enumeration.	2020-10-15 14:18:02 -06:00
Sean Bowe	3955da435c	Avoid unnecessary vector cloning in multiopen.	2020-10-15 14:17:03 -06:00
Sean Bowe	588de0e024	Add test for lagrange interpolation.	2020-10-15 14:15:03 -06:00
Sean Bowe	63d7de3bc2	Perform inversions in lagrange_interpolate as part of a batch.	2020-10-15 14:08:13 -06:00
Sean Bowe	5c563eca12	Do not enumerate product inside of lagrange_interpolate.	2020-10-15 13:57:04 -06:00
therealyingtong	2f7b46ffa1	Remove use of parallelize() from multiopen::prover	2020-10-14 08:16:14 +08:00
therealyingtong	742c15bb51	Minor changes and documentation	2020-10-14 08:15:00 +08:00
therealyingtong	24b85dec67	Remove q_evals.len() = rotations.len() check ... q_evals should now have the same length as point_sets, which is only constructed in the multiopen verifier.	2020-10-14 00:43:48 +08:00
therealyingtong	b62d113031	Refactor to use fold() in multiple places	2020-10-14 00:35:36 +08:00
therealyingtong	79cabb3d8d	Move random scaling of MSM into multiopen verifier ... Co-authored-by: Sean Bowe <ewillbefull@gmail.com>	2020-10-14 00:35:36 +08:00
therealyingtong	088118cc5d	Refactor lagrange_interpolate() method ... Co-authored-by: daira <daira@electriccoin.co> Co-authored-by: str4d <jack@z.cash>	2020-10-14 00:35:36 +08:00
therealyingtong	1441193de1	Refactoring from initial code review ... Co-authored-by: ebfull <ewillbefull@gmail.com>	2020-10-14 00:35:36 +08:00
ying tong	6f6378b2ea	More idiomatic implementation of Ord for Field ... Co-authored-by: str4d <jack@z.cash>	2020-10-14 00:35:36 +08:00
therealyingtong	89fd6e4d44	Use map_err() when handling multiopen::Proof::create() ... Co-authored-by: Daira Hopwood <daira@electriccoin.co>	2020-10-14 00:35:36 +08:00
therealyingtong	5181ca56f1	Bind &[pubinput] in plonk test_proving()	2020-10-14 00:35:36 +08:00
therealyingtong	97873fa6ea	Use VerifierQuery and construct_intermediate_sets() in verifier	2020-10-14 00:35:36 +08:00
therealyingtong	6cd74999ff	Use ProverQuery and construct_intermediate_sets() in prover	2020-10-14 00:35:25 +08:00
therealyingtong	9378d0cc70	Define construct_intermediate_sets() helper method for multiopen prover and verifier	2020-10-14 00:35:25 +08:00
therealyingtong	cbe4415870	Introduce Query and CommitmentData structs for multiopen	2020-10-14 00:35:25 +08:00
therealyingtong	1e21c08acd	Implement Ord and PartialOrd for Field	2020-10-14 00:35:25 +08:00
therealyingtong	07e2d390a9	Introduce Lagrange interpolation method in arithmetic.rs	2020-10-14 00:35:25 +08:00
therealyingtong	c3d0a172a7	Create multiopen abstraction	2020-10-14 00:35:25 +08:00
Sean Bowe	67b35954f4	Move MSM into submodule.	2020-10-13 08:16:20 -06:00
Sean Bowe	2ccddac674	Split proof/input length checks into separate method of verifier	2020-09-29 17:35:24 -06:00
Sean Bowe	9672bf9725	Minor improvements to check_hx()	2020-09-29 17:14:37 -06:00
Sean Bowe	7d8daa5d05	Refactor h_eval computation into separate, more functional code. ... Co-authored-by: str4d <thestr4d@gmail.com>	2020-09-29 16:56:21 -06:00
Sean Bowe	e275d78c7d	Simplify permutations field of ConstraintSystem ... Co-authored-by: therealyingtong <yingtong@electriccoin.co>	2020-09-29 08:51:00 -06:00
Sean Bowe	7a3caaad59	Fix comments	2020-09-29 08:28:00 -06:00
Sean Bowe	c97da352ee	Remove SRS and replace with ProvingKey/VerifyingKey abstractions ... Co-authored-by: therealyingtong <yingtong@electriccoin.co>	2020-09-29 08:25:04 -06:00
Sean Bowe	4a37e05f49	cargo fmt	2020-09-25 10:21:54 -06:00
Sean Bowe	6d41693af5	Use Blind::default().	2020-09-25 10:21:15 -06:00
Sean Bowe	56b6d8bd03	Auxilary wires in PLONK are foux blinded just like fixed wires.	2020-09-25 10:21:15 -06:00
Sean Bowe	316a027784	Modify commitment opening argument so that G element can be foux blinded to align with wire blinding in PLONK.	2020-09-25 10:21:15 -06:00
Sean Bowe	3db368b40e	Move Guard and Accumulator implementations into verifier submodule.	2020-09-25 10:21:13 -06:00
Sean Bowe	2d1f69328f	Rename OpeningProof to just Proof.	2020-09-25 09:39:32 -06:00
Sean Bowe	a37c926a89	Address clippy lints	2020-09-20 13:09:03 -06:00
Sean Bowe	60aa2918c3	Remove get_g_scalars() from MSM.	2020-09-19 13:52:33 -06:00
Sean Bowe	6620817d81	Return errors from verifier instead of assuming points aren't at infinity in the proof.	2020-09-19 13:47:37 -06:00
Sean Bowe	73d494a72d	Various changes, including restoring permutation argument to advice wires only for now.	2020-09-19 13:31:56 -06:00
therealyingtong	e8839a7579	Refactor wire pattern matching when computing permutation product	2020-09-19 12:39:04 -06:00
therealyingtong	24fe3fae29	Remove aux_commitments computation from Prover; remove blinding factor when accumulator aux_evals	2020-09-19 12:39:04 -06:00
therealyingtong	c772801f8f	Pass aux_lagrange_polys to prover as a slice	2020-09-19 12:39:04 -06:00
therealyingtong	fd094fccd8	Add aux_commitments and aux_evals to test_proving() example	2020-09-19 12:39:04 -06:00
therealyingtong	9482202a98	Update PLONK test_proving() example	2020-09-19 12:39:04 -06:00
therealyingtong	0bdcbb6c67	Introduce Wire enum for use in permutations	2020-09-19 12:39:04 -06:00
therealyingtong	a257308ba2	Add aux wires to ConstraintSystem	2020-09-19 12:39:04 -06:00
therealyingtong	0caf1d2087	Provide aux_commitments to verifier and aux_lagrange_polys to prover	2020-09-19 12:39:04 -06:00
therealyingtong	76c49a4df3	Minor refactor	2020-09-19 23:44:00 +08:00