Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feat/fflonk #498

Merged
merged 69 commits into from
Oct 9, 2024
Merged

Feat/fflonk #498

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
69 commits
Select commit Hold shift + click to select a range
3c1888b
feat: mul by linear factor ok
ThomasPiellard Mar 1, 2024
b9aeda2
feat: division ok
ThomasPiellard Mar 1, 2024
c6fdec2
feat: build vanishing poly ok
ThomasPiellard Mar 1, 2024
34702b9
fix: fixed vanishing poly
ThomasPiellard Mar 1, 2024
2dbe9e6
fix: fixed test TestMultiplyLinearFactor
ThomasPiellard Mar 1, 2024
d35544d
feat: naive mul (for combinings polynomials) ok
ThomasPiellard Mar 5, 2024
c781004
feat: add poly
ThomasPiellard Mar 5, 2024
c51d332
feat: wrpime ok
ThomasPiellard Mar 7, 2024
bd81fc9
feat: sage debugging, open ok
ThomasPiellard Mar 8, 2024
390621f
feat: debugged neg pairing
ThomasPiellard Mar 8, 2024
50c6a26
feat: interpolator ok
ThomasPiellard Mar 10, 2024
505f8fe
feat: interpolate ok
ThomasPiellard Mar 10, 2024
9c726c5
feat: TestBuildZtMinusSi ok
ThomasPiellard Mar 10, 2024
05b330d
feat: single point to set in open
ThomasPiellard Mar 10, 2024
23cc6fa
fix: used upper bound of the total size in buf
ThomasPiellard Mar 11, 2024
aa57e6a
feat: test ok
ThomasPiellard Mar 12, 2024
3c06862
feat: generator ok
ThomasPiellard Mar 12, 2024
1f69dbc
feat: marshal ok
ThomasPiellard Mar 12, 2024
8a58a09
feat: additions of template files marshal shplonk
ThomasPiellard Mar 12, 2024
39a4e67
feat: code gen ok
ThomasPiellard Mar 12, 2024
1855488
fix: added condition for existence of t-th roots
ThomasPiellard Mar 14, 2024
77f4a85
feat: test roots extraction
ThomasPiellard Mar 14, 2024
70781a5
feat: folding ok
ThomasPiellard Mar 14, 2024
19ecdf8
feat: fflonk fold and open
ThomasPiellard Mar 15, 2024
5bf6194
feat: getIthRootOne ok
ThomasPiellard Mar 15, 2024
69b6261
feat: factored extended set
ThomasPiellard Mar 18, 2024
0b73a02
feat: fixed fflonk folding
ThomasPiellard Mar 18, 2024
24ac555
feat: addition of templates for fflonk
ThomasPiellard Mar 18, 2024
8af301d
feat: add doc for fflonk
ThomasPiellard Mar 18, 2024
68c0952
feat: added fflonk in code gen main
ThomasPiellard Mar 18, 2024
e4e4a39
feat: code gen, tests for existence of roots of 1 need to be tuned
ThomasPiellard Mar 18, 2024
2a43132
feat: marshal fflonk bn254
ThomasPiellard Mar 19, 2024
6f3074b
feat: marshal
ThomasPiellard Mar 19, 2024
941631d
feat: template marshal
ThomasPiellard Mar 19, 2024
e651058
feat: add dummy polynomial so the number of poly divides r-1
ThomasPiellard Mar 29, 2024
78bda2d
feat: proof tunes the number of polynomial so it divides r-1
ThomasPiellard Mar 29, 2024
6ae652e
feat: marshal [][][]frElement
ThomasPiellard Apr 3, 2024
a7d7214
feat: code gen marshal [][][]frElement
ThomasPiellard Apr 3, 2024
271ab1e
fix: fixed order computation template
ThomasPiellard Apr 26, 2024
5e0b0f5
feat: code gen
ThomasPiellard Apr 26, 2024
8a620c1
fix: fixed srs size
ThomasPiellard Apr 26, 2024
23deb18
feat: code gen
ThomasPiellard Apr 26, 2024
de8254f
fix: fixed TestGetIthRootOne template
ThomasPiellard Apr 26, 2024
2efc99b
feat: code gen
ThomasPiellard Apr 26, 2024
341ba5b
style: remaing -> remaining
ThomasPiellard Apr 26, 2024
46e95f8
feat: code gen
ThomasPiellard Apr 26, 2024
337700a
Merge branch 'master' into feat/fflonk
ThomasPiellard Jul 21, 2024
ec436b4
fix: fixed panic
ThomasPiellard Sep 18, 2024
d207428
feat: randomise SRS
ThomasPiellard Sep 18, 2024
b4815d6
fix: raise error when nbDigest != number of polynomials
ThomasPiellard Sep 18, 2024
5a5f678
style: nbInstances -> nbPolynomials
ThomasPiellard Sep 18, 2024
3d938b7
fix: randomised size poly
ThomasPiellard Sep 18, 2024
86aed27
fix: check pairing error
ThomasPiellard Sep 18, 2024
c3a70ce
feat: used bufMaxSizePolynomials[:len(polynomials[i])]
ThomasPiellard Sep 19, 2024
699c213
feat: renaming gamma -> challenge
ThomasPiellard Sep 19, 2024
803e9ce
feat: add round trip serialisation test
ThomasPiellard Sep 20, 2024
4072df9
feat: use GeneratorFullMultiplicativeGroup
ThomasPiellard Sep 20, 2024
486f8c5
fix: check error
ThomasPiellard Sep 20, 2024
8acaa9c
feat: renaming
ThomasPiellard Sep 20, 2024
847d5bf
feat: fixed size folded polynomials
ThomasPiellard Sep 20, 2024
bcdf6c9
feat: renaming
ThomasPiellard Sep 20, 2024
83eac47
feat: number of trials for finding the next divisor of r-1 is now lim…
ThomasPiellard Sep 20, 2024
fa50e64
Merge branch 'master' into feat/fflonk
ThomasPiellard Sep 24, 2024
7fa434f
chore: ignore gosec false positive
ivokub Oct 4, 2024
de674b4
feat: example shplonk
ThomasPiellard Oct 8, 2024
5fc53f3
feat: code gen
ThomasPiellard Oct 8, 2024
5cf6c02
feat: example fflonk
ThomasPiellard Oct 8, 2024
6b5bc8d
feat: code gen
ThomasPiellard Oct 8, 2024
aa85483
Merge branch 'feat/fflonk' of github.com:Consensys/gnark-crypto into …
ThomasPiellard Oct 8, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
21 changes: 21 additions & 0 deletions ecc/bls12-377/fflonk/doc.go
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

84 changes: 84 additions & 0 deletions ecc/bls12-377/fflonk/example_test.go
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

290 changes: 290 additions & 0 deletions ecc/bls12-377/fflonk/fflonk.go
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading