87 Commits

Author	SHA1	Message	Date
Nicholas Ward	cad7dc6904	some progress	2021-06-30 21:31:17 -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
Daniel Lubarov	f1e3474fcb	Simple reduce (#78) ... * Simple reduce * Fix bug causing test failure	2021-06-29 12:33:11 -07:00
wborgeaud	9a352193ed	PR feedback	2021-06-29 09:49:05 +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	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	6652b38b99	Remove ArithmeticGate	2021-06-25 13:53:14 +02:00
wborgeaud	8796c73362	Change MulExtensionGate to ArithmeticExtensionGate and change gadgets to use the new wires in this gate.	2021-06-23 18:04:43 +02:00
wborgeaud	a4c86a6b08	lagrange.rs -> interpolation.rs	2021-06-18 11:44:06 +02:00
wborgeaud	bfd5f06384	Hardcode Plonk polynomials indices and blinding flags.	2021-06-17 11:54:31 +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	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	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	670e48380a	Finish recursive verifier	2021-06-14 13:26:22 +02:00
wborgeaud	88c58c3227	Fix imports	2021-06-14 10:37:02 +02:00
wborgeaud	19b47b5251	Clippy	2021-06-14 10:33:38 +02:00
wborgeaud	445ea3771d	Remove Frobeniable trait	2021-06-14 10:28:15 +02:00
wborgeaud	133c75d68e	Interpolation gadgets tests	2021-06-11 18:05:59 +02:00
wborgeaud	5200d70cf0	Add interpolation gadgets	2021-06-11 16:22:29 +02:00
wborgeaud	4b1f368e89	Use Frobenius optimization in the circuit	2021-06-11 14:16:40 +02:00
wborgeaud	4106a47ded	Test rotate gadget	2021-06-11 09:59:55 +02:00
wborgeaud	1eb372326a	Add CircuitConfig::large_config() for tests.	2021-06-11 09:44:19 +02:00
wborgeaud	ccd31d1718	Remove useless Generator	2021-06-11 09:39:14 +02:00
wborgeaud	bdf8417c28	Modify rotate to use binary	2021-06-10 17:58:41 +02:00
wborgeaud	dea6db00ac	Rotation gadgets	2021-06-10 17:45:45 +02:00
wborgeaud	81ce0eb710	Fix bugs	2021-06-10 16:48:05 +02:00
wborgeaud	cdce82e1f8	Small fix	2021-06-10 15:56:17 +02:00
wborgeaud	6cce4c1f78	Add low-high split	2021-06-10 15:55:29 +02:00
wborgeaud	bb551092a0	Remove mul_extension_naive	2021-06-09 21:12:15 +02:00
wborgeaud	f7e92af963	Comment out errors	2021-06-09 17:55:49 +02:00
wborgeaud	89761ef22a	Added in-circuit reverse_bits and exp.	2021-06-09 17:39:45 +02:00
wborgeaud	9adf5bb43f	Use ExtensionAlgebra + new CircuitBuilder::mul_extension	2021-06-09 10:51:50 +02:00
wborgeaud	7f63276623	Merge branch 'main' into recursive_verifier	2021-06-09 10:04:45 +02:00