43 Commits

Author	SHA1	Message	Date
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	20741cfb4a	Implement out-of-circuit repeated_frobenius using hardcoded constants	2021-06-11 13:45:51 +02:00
wborgeaud	1ebeab2c3a	Implement Frobenius optimization discussed in #61 comments to avoid calling the Frobenius for every wires.	2021-06-11 10:27:03 +02:00
wborgeaud	dea6db00ac	Rotation gadgets	2021-06-10 17:45:45 +02:00
wborgeaud	f8dd35b748	Use low-high in query round.	2021-06-10 16:08:57 +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	72c2e19bc5	Bit of verifier work (#54) ... * Bit of verifier work * Minor * next_plonk_zs now available after William's changes	2021-06-08 21:23:52 -07:00
wborgeaud	e1e4bb36db	Started query round	2021-06-08 19:32:23 +02:00
wborgeaud	c6c71ef574	Working fri_combine_initial	2021-06-08 14:56:49 +02:00
wborgeaud	e50d0aa63d	Interpolation of two points	2021-06-07 21:24:41 +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
wborgeaud	42d5b80a7a	BaseSum gate	2021-06-04 15:40:54 +02:00
Daniel Lubarov	7334341cfa	Attempt at simplification	2021-06-01 23:27:09 -07:00
wborgeaud	9eb35c3c82	Remove D=1 case	2021-06-01 22:00:46 +02:00
wborgeaud	b465bcd8be	Clippy + comments	2021-06-01 11:17:54 +02:00
wborgeaud	2794cb9a95	Open wires at single point if D=1	2021-06-01 11:03:04 +02:00
wborgeaud	59dfe5db2f	Remove old tests	2021-06-01 09:02:43 +02:00
wborgeaud	e09a6179fb	Remove useless field	2021-05-31 18:21:42 +02:00
wborgeaud	d882283761	Working with blindings	2021-05-31 18:19:44 +02:00
wborgeaud	6ee9ceacd5	Don't check Frobenius if D=1.	2021-05-31 18:00:53 +02:00
wborgeaud	abc0ca3bf1	Rewrite LPC code to be more PLONK-specific	2021-05-31 17:49:04 +02:00
wborgeaud	845382b472	Working base field check for (non-batch) opening	2021-05-27 17:20:26 +02:00
wborgeaud	78f71672a3	Change Field::exp to using a u64 power.	2021-05-19 12:17:43 +02:00
wborgeaud	4f6f2192ab	Minor fixes	2021-05-18 16:23:44 +02:00
wborgeaud	96a880193c	Clippy	2021-05-18 16:09:22 +02:00
wborgeaud	9cd00532ce	Generic tests	2021-05-18 16:06:47 +02:00
wborgeaud	adf5c2d4ec	Const generics everywhere	2021-05-18 15:44:50 +02:00
wborgeaud	a2cf2c03b6	Working FRI with field extensions	2021-05-18 15:22:06 +02:00
wborgeaud	ce0507ba12	Blinding parameter can be set differently for each Merkle tree in a FRI proof.	2021-05-11 09:56:21 +02:00
wborgeaud	0bae47bedb	LPC batch opening	2021-05-06 17:09:55 +02:00
wborgeaud	477fe1ea4a	Minor fixes	2021-05-06 15:14:43 +02:00
wborgeaud	03d761ead6	Double blinding	2021-05-06 00:00:08 +02:00
wborgeaud	5706c424f4	Fixes based on PR feedback	2021-05-05 22:58:15 +02:00
wborgeaud	1f3f7d5b70	FRI reorg	2021-05-05 18:23:59 +02:00