42 Commits

Author	SHA1	Message	Date
wborgeaud	fbeedd47d3	Minor	2021-07-20 11:02:22 +02:00
wborgeaud	38f4cca3f5	Target version	2021-07-20 10:57:20 +02:00
wborgeaud	8868378fda	Merge pull request #103 from mir-protocol/remove_frobenius_opening ... Remove openings at the Frobenius of zeta	2021-07-19 16:57:19 +02:00
wborgeaud	52cc7c79f5	Remove openings at the Frobenius of zeta	2021-07-19 16:45:38 +02:00
wborgeaud	9baea1ae26	Trim final poly and check FRI arity	2021-07-19 16:24:21 +02:00
Daniel Lubarov	d11bcd1928	Optional zk (#101) ... * Make ZK optional * Remove rate from FriConfig Seems redundant, and we've had some tests break due to the two fields not matching. * zero_knowledge: false in bench	2021-07-18 23:24:33 -07:00
wborgeaud	4bc06deed8	zs_root -> zs_partial_products_root	2021-07-15 10:59:53 +02:00
wborgeaud	fe05da6720	Clipp	2021-07-15 10:39:57 +02:00
wborgeaud	2e12ee8e82	Minor	2021-07-15 10:13:13 +02:00
wborgeaud	7dec6efc6c	Rewrite Markable to avoid Arcs	2021-07-15 09:52:42 +02:00
wborgeaud	92c4bba2a3	Fix bug in GMiMC	2021-07-14 21:16:04 +02:00
wborgeaud	7793b5a956	Identify problem in GMiMc	2021-07-14 20:54:30 +02:00
wborgeaud	5c2c01b1ab	Circuit compiles	2021-07-13 15:20:14 +02:00
wborgeaud	ad24f5d4d1	Almost working recursive verifier	2021-07-12 14:25:28 +02:00
wborgeaud	cc3c278a92	Some renaming	2021-07-01 17:34:00 +02:00
wborgeaud	625377b4c0	Merge constant and sigma polynomials	2021-06-25 11:24:26 +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	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	cfa5807556	Add insert gadget to insert inferred leaf in FRI query rounds	2021-06-14 15:15:22 +02:00
wborgeaud	670e48380a	Finish recursive verifier	2021-06-14 13:26:22 +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	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	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