174 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
wborgeaud	ec5416344c	Merge pull request #37 from mir-protocol/extension-field ... Extension field	2021-05-11 21:08:36 +02:00
wborgeaud	1e45b0b1c0	Move Frobenius to default trait implementation.	2021-05-11 20:58:04 +02:00
wborgeaud	75711f1d3f	Merge branch 'main' into extension-field	2021-05-11 15:28:25 +02:00
wborgeaud	f1d812812e	Added field order test	2021-05-11 15:26:20 +02:00
wborgeaud	04664a54ee	Binary extension fields	2021-05-11 14:21:21 +02:00
wborgeaud	5e86e7dc06	Rand + fix mul + tests	2021-05-11 14:06:35 +02:00
wborgeaud	e670ec3ff0	Multiplication + Frobenius + Inverse	2021-05-11 11:46:01 +02:00
wborgeaud	306fb8ef0d	Merge pull request #34 from mir-protocol/batch-list-polycommits ... Batched polynomial commitments + changes to PLONK prover	2021-05-11 10:03:26 +02:00
wborgeaud	cdbac76149	Fixes based on PR comments	2021-05-11 10:01:35 +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	5abcd85f84	Started extension field implementation	2021-05-10 18:45:48 +02:00
wborgeaud	ed805453c3	Minor	2021-05-10 13:10:40 +02:00
wborgeaud	f8f65cb942	Merge branch 'main' into batch-list-polycommits	2021-05-10 13:02:29 +02:00
wborgeaud	d529afcdef	Minor	2021-05-07 16:49:27 +02:00
wborgeaud	6ca1b28f7c	Fix bug	2021-05-07 16:22:13 +02:00
wborgeaud	6f13263d56	Minor	2021-05-07 11:32:15 +02:00
wborgeaud	1bae3a02f6	Batch open for PLONK	2021-05-07 11:30:03 +02:00
wborgeaud	ea7926bd95	Update PLONK prover.	2021-05-06 23:14:37 +02:00
Daniel Lubarov	e44fbb86d0	Merge pull request #33 from mir-protocol/observe_quotient_root ... Observe root of tree containing quotient poly data	2021-05-06 08:36:09 -07:00
Daniel Lubarov	89701c82bd	Observe root of tree containing quotient poly data ... I forgot to observe this earlier.	2021-05-06 08:32:49 -07:00
wborgeaud	0bae47bedb	LPC batch opening	2021-05-06 17:09:55 +02:00
wborgeaud	7617018d82	Merge pull request #32 from mir-protocol/zero-knowledge ... Zero knowledge + List polynomial commitments	2021-05-06 15:31:44 +02:00
wborgeaud	36dda7aae1	Remove useless challenger observation.	2021-05-06 15:26:54 +02:00
wborgeaud	41008cf421	Move Merkle root out of opening proof.	2021-05-06 15:19:06 +02:00
wborgeaud	477fe1ea4a	Minor fixes	2021-05-06 15:14:43 +02:00
Daniel Lubarov	ad6a17890c	Update README	2021-05-05 19:24:04 -07: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	5e06c014c8	Cleaning	2021-05-05 18:32:24 +02:00
wborgeaud	1f3f7d5b70	FRI reorg	2021-05-05 18:23:59 +02:00
wborgeaud	6820c1849a	Working blinding in LPC	2021-05-05 17:00:47 +02:00
wborgeaud	6dbd39de80	Passing test	2021-05-04 19:56:34 +02:00
wborgeaud	1bf21d17be	Merge branch 'main' into zero-knowledge	2021-05-04 18:02:01 +02:00
wborgeaud	e7c37dfa00	Merge pull request #31 from mir-protocol/fix-subtraction ... Fixes a bug in the field subtraction	2021-05-04 17:59:23 +02:00
wborgeaud	20dae028d8	fix subtraction	2021-05-04 17:57:59 +02:00
wborgeaud	eb3011b02a	More work on polynomial commitments	2021-05-04 17:48:26 +02:00
wborgeaud	bb8a68e198	Progress on polynomial commitment	2021-05-03 15:17:05 +02:00
wborgeaud	0fa0942981	FRI on coset	2021-04-30 15:07:54 +02:00
Daniel Lubarov	116f92eade	Merge pull request #28 from mir-protocol/mds ... Add methods for MDS matrices	2021-04-29 07:03:57 -07:00
wborgeaud	c464c038af	Merge pull request #27 from mir-protocol/fri-reduction-arity-contd ... More work on FRI reduction arity	2021-04-29 08:23:40 +02:00
wborgeaud	fd3e8bcd4c	Minor fixes	2021-04-29 08:18:31 +02:00
Daniel Lubarov	6db30c6db3	Precomputed MDS matrix for CrandallField	2021-04-28 14:42:21 -07:00
Daniel Lubarov	5913fd71b9	Add methods for MDS matrices ... The defaults are quite slow, but we will override them with fast, precomputed, field-specific matrices; see #4.	2021-04-28 13:59:58 -07:00
Daniel Lubarov	83354972aa	cargo fmt	2021-04-28 13:57:22 -07:00
wborgeaud	8590407764	Fixes based on PR comments	2021-04-28 22:55:16 +02:00
Daniel Lubarov	aabfbe82cd	Fix GMiMCEvalGate	2021-04-28 13:50:40 -07:00
wborgeaud	f624415a3c	Clippy	2021-04-28 18:43:09 +02:00
wborgeaud	79a8ccd9a0	Working bit-reversed version	2021-04-28 18:38:05 +02:00
Daniel Lubarov	815a294305	Merge pull request #25 from mir-protocol/fix_challenger ... Fix Challenger's duplicate challenge bug	2021-04-28 09:12:28 -07:00
Daniel Lubarov	ae771bb8bc	Merge pull request #26 from mir-protocol/recursive_gmimc ... Recursive evaluation of GMiMCGate	2021-04-28 09:05:41 -07:00