Skip to content

Feat/fri #85

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

Merged
ThomasPiellard merged 61 commits into from
May 24, 2022
Merged

Feat/fri #85

Show file tree
Hide file tree
Changes from 53 commits
Commits
Show all changes
61 commits
Select commit Hold shift + click to select a range
3f66dd4
fix: dusted off polynomial.go (bls377, no code gen yet)
ThomasPiellard Oct 4, 2021
65652ab
feat: tests used gopter for polynomials (bls377, no code gen yet)
ThomasPiellard Oct 4, 2021
9642855
feat: code gen for polynomials
ThomasPiellard Oct 4, 2021
f84e615
refactor: moved divByXminusa to polynomial.go
ThomasPiellard Oct 5, 2021
d452a4c
feat: code gen for previous refactor
ThomasPiellard Oct 5, 2021
231edc7
refactor: DivideByXMinusA returns a pointer
ThomasPiellard Oct 5, 2021
52e4c46
fix: fixed failing tests (polynomial.go, bls12-381)
ThomasPiellard Oct 6, 2021
9db56dc
feat: code gen for previous fix
ThomasPiellard Oct 6, 2021
2c29863
refactor: kzg uses DivideByXminusA from polynomial module
ThomasPiellard Oct 6, 2021
790b055
feat: code gen for kzg refactor
ThomasPiellard Oct 7, 2021
c819d10
refactor(polynomial): Copy() --> GetCopy()
ThomasPiellard Oct 11, 2021
40f8698
refactor: removed test DivPolyByXminusA from kzg, DivPolyBy -> DivBy
ThomasPiellard Oct 11, 2021
5b81cf5
refactor: NewPolynomial -> New
ThomasPiellard Oct 12, 2021
62c9c9a
fix: TestDeriveQueriesPositions passes
ThomasPiellard Oct 14, 2021
aab1693
fix: fri test ok, need to clean and optimize
ThomasPiellard Oct 14, 2021
c42ef78
fix: fixed unhandled error
ThomasPiellard Oct 14, 2021
7ad2b11
feat: added Fiat Shamir for the (folding) challenges in fri
ThomasPiellard Oct 15, 2021
33a6829
feat(fri): added check of correctness between rounds, test OK
ThomasPiellard Oct 15, 2021
da5d28e
fix: fixed parity error
ThomasPiellard Oct 18, 2021
affa6fd
fix: fixed condition written out of scope, tests with gopter OK
ThomasPiellard Oct 18, 2021
e76ff20
refactor: removed Commit function
ThomasPiellard Oct 19, 2021
fece4c7
feat: code gen for fri
ThomasPiellard Oct 19, 2021
75e1ff7
fix: fixed unhandled error
ThomasPiellard Oct 19, 2021
e62ed11
feat: merge develop
ThomasPiellard Feb 21, 2022
84a99d3
refactor: polynomial -> []frElement in fri
ThomasPiellard Mar 10, 2022
a37fd41
feat: addition of opening+verification
ThomasPiellard Mar 14, 2022
de8870c
fix: wrong size for Merkle path opening
ThomasPiellard Mar 15, 2022
abf3d9c
feat: addition of opening tests
ThomasPiellard Mar 15, 2022
511f9f4
feat: code gen
ThomasPiellard Mar 15, 2022
def4f78
feat: Open returns an error, addition of getter for rho
ThomasPiellard Mar 16, 2022
648b528
feat: exposed Claimed value
ThomasPiellard Mar 16, 2022
12f0f27
feat: added finer grained error handling
ThomasPiellard Mar 18, 2022
60e60b2
feat: addition of ID in proof of proximity (for FiatShamir)
ThomasPiellard Mar 23, 2022
b4da575
feat: simplify deriveQueriesPositions
ThomasPiellard Mar 28, 2022
3b83343
feat: addition of multiple rounds in fri
ThomasPiellard Apr 1, 2022
adcb897
refactor: lots of ffts removed
ThomasPiellard Apr 1, 2022
9ba056c
feat: simplified low degree check
ThomasPiellard Apr 4, 2022
de165d7
feat: simplified deriveQueriesPosition
ThomasPiellard Apr 4, 2022
194a9dc
fix: fixed wrong indexation generator inverse
ThomasPiellard Apr 4, 2022
14febb3
fix: fixed queries positions
ThomasPiellard Apr 4, 2022
73b1d3c
style: cleaned comments, removed dead code
ThomasPiellard Apr 4, 2022
a3d0396
feat: code gen
ThomasPiellard Apr 4, 2022
f6c8b67
refactor: fft is done in the main loop
ThomasPiellard Apr 5, 2022
367c943
fix: fixed conflict
ThomasPiellard Apr 6, 2022
6e6767e
style: fixed comment
ThomasPiellard Apr 7, 2022
342d83e
fix: fixed unhandled errors
ThomasPiellard Apr 7, 2022
27de948
style: removed dead code
ThomasPiellard Apr 7, 2022
b77b7b5
feat: removed polynomial package
ThomasPiellard Apr 7, 2022
1b9ea95
feat: removed polynomial package bls24315
ThomasPiellard Apr 7, 2022
0ddd48a
feat: regen polynomial
ThomasPiellard Apr 7, 2022
b6591e8
fix: twoInv defined in init, removed dead code, unexport nbRounds
ThomasPiellard Apr 8, 2022
83e101e
style: use bytes package
ThomasPiellard Apr 8, 2022
d57cf6f
fix: evaluation is an array instead of a slice
ThomasPiellard Apr 8, 2022
0b4f16b
feat: simplification of the final evaluation check
ThomasPiellard Apr 13, 2022
7e814d9
feat(fri): modified challenge generation so it fits in a snark variable
ThomasPiellard May 6, 2022
e7a23fa
feat: code gen for previous commit
ThomasPiellard May 6, 2022
b2ef2d4
feat: fields in fri proofs are exported
ThomasPiellard May 7, 2022
a8bba25
feat(fri): evaluation field is exported
ThomasPiellard May 10, 2022
c0c984b
feat(fri): removed unsused variable
ThomasPiellard May 12, 2022
9f47fc0
Merge branch 'develop' into feat/fri
gbotrel May 23, 2022
2f68b33
build: ran go generate after dev merge
gbotrel May 23, 2022
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
18 changes: 18 additions & 0 deletions ecc/bls12-377/fr/fri/doc.go
View file
Open in desktop

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

Loading
⚡