logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-03 22:33:06 +00:00
Code Issues Packages Projects Releases Wiki Activity
4,984 Commits 4 Branches 0 Tags 17 MiB
Commit Graph

4984 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Daniel Lubarov
a04bed282d Use num_checks zetas 
The soundness error is (degree of combined constraints)/|F|, so three zetas should be appropriate for all practical circuit sizes.
 2021-05-13 21:32:08 -07:00
Daniel Lubarov
7f445686ee Tweaks 2021-05-13 15:44:36 -07:00
Daniel Lubarov
6d03dd06f5 Finish merging in old_polynomial 2021-05-13 15:35:26 -07:00
Daniel Lubarov
18d59ec9de Fix minor post-merge conflicts 2021-05-12 11:26:21 -07:00
Daniel Lubarov
51114e4ef6 Missing import 2021-05-12 11:21:31 -07:00
Daniel Lubarov
b7acdb36ca Merge pull request #36 from mir-protocol/poly_port 
Some cleanup related to the two polynomial APIs
 2021-05-12 10:55:43 -07:00
Daniel Lubarov
22a625e86d trim b 2021-05-12 10:33:36 -07:00
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
Daniel Lubarov
4d5ea83325 polynomial_long_division -> polynomial_division 2021-05-10 14:32:17 -07:00
Daniel Lubarov
8b309fef41 Tweak 2021-05-10 14:30:18 -07:00
Daniel Lubarov
44a5e0be1b Some cleanup related to the two polynomial APIs 
Porting over some code from `old_polynomial`, and changing `ListPolynomialCommitment` to use the newer API.

There's one remaining use of `old_polynomial` for long division; I think that can eventually go away when we switch to doing values-only FRI (unless another use comes up).
 2021-05-10 13:10:29 -07: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