59 Commits

Author	SHA1	Message	Date
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
Daniel Lubarov	db1ef913e0	Remove quartic_quartic	2021-06-08 10:08:17 -07:00
wborgeaud	19a38682ab	Minor tweaks	2021-06-08 12:49:45 +02:00
wborgeaud	070dc7c9f1	s/ext_ext/ext_algebra	2021-06-08 11:30:39 +02:00
wborgeaud	e50d0aa63d	Interpolation of two points	2021-06-07 21:24:41 +02:00
wborgeaud	8cf2758b6c	Division gadget for extension field	2021-06-07 17:55:27 +02:00
wborgeaud	a8da9b945e	Working MulExtensionGate	2021-06-07 17:09:53 +02:00
wborgeaud	6f2275bc6d	Progress	2021-06-07 11:19:54 +02:00
wborgeaud	f5dfe95b2e	Added recursive powers	2021-06-04 17:36:48 +02:00
wborgeaud	1169870163	Added test	2021-06-04 17:07:14 +02:00
wborgeaud	51c06d74ee	Recursive PoW	2021-06-04 16:02:48 +02:00
Daniel Lubarov	cb7f8c8b8c	Draw challenge points from the extension field (#51) ... * Draw challenge points from the extension field * Now building * Misc * Default eval_unfiltered_base * fmt * A few field settings * Add to Sage * Display tweak * eval_filtered_base * Quartic in bench * Missing methods * Fix tests * PR feedback	2021-05-30 13:25:53 -07:00
wborgeaud	c9309eb27b	Minor	2021-05-24 17:40:26 +02:00
wborgeaud	4f6e9fb2e0	Recursive evaluation for interpolation gate.	2021-05-24 17:31:55 +02:00
Daniel Lubarov	d3ac365667	Recursive evaluation of GMiMCGate ... If we did it all with `ArithmeticGate`s, the main loop (with ~101 iterations of cubing and a couple adds) would be fairly expensive, so this uses a (much smaller) custom gate called `GMiMCEvalGate` which does all the computations for one iteration of that loop.	2021-04-27 13:16:24 -07:00
Daniel Lubarov	af4c8734ce	Address some clippy warnings	2021-04-23 12:35:19 -07:00
Daniel Lubarov	b7bc1bf313	Seed Challenger with a hash of the instance ... I think this is the recommended way to apply Fiat-Shamir, to avoid any possible attacks like taking someone else's proof and using it to prove a slightly different statement.	2021-04-22 16:38:49 -07:00
wborgeaud	4b75f16efd	Merge master	2021-04-22 22:27:55 +02:00
wborgeaud	4d31f5e37b	Fixes from PR comments	2021-04-22 09:27:59 +02:00
wborgeaud	6b3aa02b01	Merge master	2021-04-21 22:36:06 +02:00
wborgeaud	6b407e45ef	Progress on FRI	2021-04-21 22:31:45 +02:00
Daniel Lubarov	41e1b64623	Basic arithmetic methods	2021-04-21 11:48:17 -07:00
Daniel Lubarov	30b845e6b3	Add generator to circuit	2021-04-12 10:18:16 -07:00
wborgeaud	7ff4150679	Merge with merkle_proofs_2	2021-04-12 10:38:07 +02:00
wborgeaud	5abd49bf47	Merge	2021-04-12 10:34:40 +02:00
Daniel Lubarov	93b73fb89a	Recursive Merkle proofs	2021-04-09 12:40:43 -07:00
Daniel Lubarov	04f74446fa	Misc fixes to get tests green again	2021-04-09 11:40:51 -07:00
wborgeaud	aa50387d36	Started implementing FRI	2021-04-09 18:24:19 +02:00
Daniel Lubarov	959aaccae6	Merkle proofs	2021-04-08 09:38:57 -07:00