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.

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

Fibonacci Stark Prover #59

Merged
merged 89 commits into from
Mar 2, 2023
Merged
Changes from 1 commit
Commits
Show all changes
89 commits
Select commit Hold shift + click to select a range
5b71de3
prover sub crate created
pablodeymo Feb 13, 2023
6c2789e
working on fold function
pablodeymo Feb 13, 2023
49bb783
merge
pablodeymo Feb 13, 2023
9e4a345
test working
pablodeymo Feb 13, 2023
bd2b05f
fold test completed
pablodeymo Feb 13, 2023
855d4b3
next_fri_layer function
pablodeymo Feb 13, 2023
0d022a8
Dependencies removed
pablodeymo Feb 13, 2023
f18b906
using iterator step_by
pablodeymo Feb 14, 2023
97c1179
fmt
pablodeymo Feb 14, 2023
b44022e
reordering fri functions
pablodeymo Feb 14, 2023
35abba4
fri_decommit init
pablodeymo Feb 14, 2023
6b8f62c
evaluate_vec in polynomial and reference in evaluate
pablodeymo Feb 14, 2023
a9bd07d
using evaluate_vec
pablodeymo Feb 14, 2023
cff637a
evaluate_vec changed to evaluate_slice
pablodeymo Feb 14, 2023
5a8e336
evaluate_slice changed
pablodeymo Feb 14, 2023
8036639
fri_commitment
pablodeymo Feb 14, 2023
57d19fc
fri continuation
pablodeymo Feb 14, 2023
a207853
comment moved
pablodeymo Feb 15, 2023
85ecd77
fri_decommit_layers
pablodeymo Feb 15, 2023
cf2a09b
comments added
pablodeymo Feb 16, 2023
688a8c9
polynomial.rs merge confilct
pablodeymo Feb 16, 2023
e151449
adapting to the new code
pablodeymo Feb 16, 2023
f15af6b
conflicts solved
pablodeymo Feb 16, 2023
9068b27
append in transcript
pablodeymo Feb 16, 2023
f667207
Merge branch 'main' into fri-operation
pablodeymo Feb 16, 2023
623e374
insert last_evaluation in transcript
pablodeymo Feb 16, 2023
d69145b
beta from transcript.challenge()
pablodeymo Feb 16, 2023
f6dbc60
test: generating subgroups
pablodeymo Feb 16, 2023
a21bc11
prover sub crate created
pablodeymo Feb 13, 2023
e635f0e
Save work in progress
entropidelic Feb 13, 2023
24ffd2a
Add first iteration of function to get composition polynomials from t…
entropidelic Feb 14, 2023
7772c38
Add test for get_composition_poly
entropidelic Feb 14, 2023
0f72803
Add get_coefficients function
entropidelic Feb 14, 2023
999b209
Tidy up code
entropidelic Feb 15, 2023
1e65005
Add docs
entropidelic Feb 15, 2023
9b3fdfb
Fix tests
entropidelic Feb 15, 2023
5ce7556
Add u128_prime field and make get_composition_poly return a Polynomia…
entropidelic Feb 15, 2023
73299e8
Fixes from rebasing
entropidelic Feb 15, 2023
faf992f
Apply clippy suggestions
entropidelic Feb 15, 2023
81f1eb4
Make functions pub crate
entropidelic Feb 15, 2023
d2aeb77
Tidy up code
entropidelic Feb 15, 2023
ee52e75
Tidy up code
entropidelic Feb 15, 2023
9b9258e
Minor fixes
entropidelic Feb 16, 2023
88ba28e
Use U384 instead of U128
entropidelic Feb 22, 2023
8c45aa3
Tidy up code and remove unnecessary u128 field element module
entropidelic Feb 22, 2023
9cd60e0
Merge branch 'arithmetization' into fri-operation
jrchatruc Feb 22, 2023
f34f61d
generate_vec_roots
pablodeymo Feb 22, 2023
b27b769
generate_vec_roots in lib
pablodeymo Feb 22, 2023
0049484
Return trace polynomial from get_composition_poly
entropidelic Feb 22, 2023
6e1e300
coset_factor
pablodeymo Feb 22, 2023
58657b2
Add coset evaluation and fri commitment steps
jrchatruc Feb 22, 2023
1bba26f
Add result to get_cp_and_tp
entropidelic Feb 22, 2023
e363b02
Change error description and module name
entropidelic Feb 22, 2023
11d1f08
Merge branch 'arithmetization' into fri-operation
jrchatruc Feb 23, 2023
082c553
Add decommitment step
jrchatruc Feb 23, 2023
f343e1a
Start filling the stark proof struct
jrchatruc Feb 23, 2023
290114e
Small comments
jrchatruc Feb 23, 2023
331df41
Add first verifier step
jrchatruc Feb 24, 2023
a387a5e
Switch to hardcoded fibonacci trace
jrchatruc Feb 24, 2023
f340b5a
Start FRI verification step
jrchatruc Feb 27, 2023
5bbfa09
More progress
jrchatruc Feb 27, 2023
86075cd
Merge branch 'main' into fri-operation
jrchatruc Feb 28, 2023
3cb371c
Improve code, change field to 17 for testing purposes
MauroToscano Feb 28, 2023
1aa01c3
Fix FRI operation
MauroToscano Feb 28, 2023
331d683
Go back to fibonacci example with test passing
jrchatruc Feb 28, 2023
ce8b1ed
Refactor functions that use fiat shamir to take in a transcript
jrchatruc Feb 28, 2023
2b2514e
Add TODO
jrchatruc Feb 28, 2023
9aa4e9d
Add comments
MauroToscano Mar 1, 2023
609da6f
Moved field definition to lib, removed duplicated definitions
MauroToscano Mar 1, 2023
72db780
Renamed types
MauroToscano Mar 1, 2023
e09904b
Simplified operations
MauroToscano Mar 1, 2023
25d5b1d
Refactor roots of unity generator
MauroToscano Mar 1, 2023
47230dd
Small refactor
MauroToscano Mar 1, 2023
0437286
Refactor roots of unity generator
MauroToscano Mar 1, 2023
635386f
Update comment
MauroToscano Mar 1, 2023
ee8e868
Extracted FRI
MauroToscano Mar 1, 2023
cd6f341
Refactor verify
MauroToscano Mar 1, 2023
9fd980c
Refactor clippy
MauroToscano Mar 1, 2023
f0d5cd3
Re ordered prover
MauroToscano Mar 1, 2023
e635195
cargo fmt
MauroToscano Mar 1, 2023
a1b4d25
fix roots of unity
MauroToscano Mar 1, 2023
d874f5e
Remove air
MauroToscano Mar 1, 2023
7e26c7e
Prover -> Stark
MauroToscano Mar 1, 2023
d2ad4a4
Move folders
MauroToscano Mar 1, 2023
c589654
Uncomment tests, remove unused code
jrchatruc Mar 1, 2023
22a691c
Fix fri_functions tests
jrchatruc Mar 1, 2023
c4b7328
Remove fri_merkle_tree module, move to mod.rs
jrchatruc Mar 1, 2023
5f4ccc2
Clippy
jrchatruc Mar 1, 2023
9c63aaa
Remove TODOs
jrchatruc Mar 1, 2023
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
Prev Previous commit
Next Next commit
fmt
  • Loading branch information
pablodeymo committed Feb 16, 2023
commit 97c117972968ae8faf85f37e94bf12150d5552d2
3 changes: 1 addition & 2 deletions prover/src/fri/mod.rs
Original file line number Diff line number Diff line change
@@ -1,5 +1,4 @@
use lambdaworks_math::field::element::FieldElement;
use lambdaworks_math::field::fields::u64_prime_field::U64PrimeField;
use lambdaworks_math::field::{element::FieldElement, fields::u64_prime_field::U64PrimeField};
use lambdaworks_math::polynomial::Polynomial;

const ORDER: u64 = 293;
Expand Down