wborgeaud
|
431bde2c72
|
Fix number of quotient polys
|
2022-02-04 17:04:07 +01:00 |
|
wborgeaud
|
01f065b812
|
Minor
|
2022-02-04 16:46:33 +01:00 |
|
wborgeaud
|
f5ddf32490
|
Add file
|
2022-02-04 16:42:22 +01:00 |
|
wborgeaud
|
978e14030c
|
Fix degree
|
2022-02-04 16:39:34 +01:00 |
|
wborgeaud
|
6b2b8b6e5d
|
Use stark degree in compute_quotient
|
2022-02-04 16:36:22 +01:00 |
|
wborgeaud
|
1011c302ac
|
Add test for system zero
|
2022-02-04 16:02:45 +01:00 |
|
wborgeaud
|
d99cabded9
|
Working
|
2022-02-04 15:56:59 +01:00 |
|
wborgeaud
|
73dde0b70d
|
Replace observe_opening_set by observe_openings taking a FriOpenings argument.
|
2022-02-03 16:21:34 +01:00 |
|
wborgeaud
|
28082e9752
|
Clippy
|
2022-02-03 11:57:24 +01:00 |
|
wborgeaud
|
bc5bc8245d
|
PR feedback
|
2022-02-03 11:49:44 +01:00 |
|
wborgeaud
|
be44edcd78
|
Minor
|
2022-02-02 13:20:49 +01:00 |
|
wborgeaud
|
bff763e3e7
|
Add distinction between (non-)wrapping constraints
|
2022-02-02 11:23:03 +01:00 |
|
wborgeaud
|
1e04f4f5a4
|
Comments
|
2022-02-01 17:34:03 +01:00 |
|
wborgeaud
|
8ab4f855b2
|
Add fri_challenges() to Challenger.
|
2022-02-01 17:02:11 +01:00 |
|
wborgeaud
|
984f44b281
|
Fix lde -> coset_lde bug
|
2022-02-01 14:41:27 +01:00 |
|
wborgeaud
|
9f8696ada5
|
Fix bug
|
2022-02-01 13:57:03 +01:00 |
|
wborgeaud
|
f2369f4fae
|
Test pass
|
2022-02-01 10:48:53 +01:00 |
|
wborgeaud
|
b0738c2094
|
Fix degree issue
|
2022-01-31 21:05:23 +01:00 |
|
wborgeaud
|
92ea4b65d1
|
Constraint check working
|
2022-01-31 18:00:07 +01:00 |
|
wborgeaud
|
d24d26e5c0
|
Add FRI challenges
|
2022-01-31 16:19:30 +01:00 |
|
wborgeaud
|
851455a26a
|
Eval Lagrange
|
2022-01-31 10:07:01 +01:00 |
|
wborgeaud
|
8993270f80
|
Progress
|
2022-01-29 12:49:00 +01:00 |
|
wborgeaud
|
dff9a40955
|
Batch alphas in constraint consumer
|
2022-01-28 17:06:40 +01:00 |
|
wborgeaud
|
c73f32ef2b
|
Remove initial values from Fibonacci STARK state
|
2022-01-28 13:59:43 +01:00 |
|
wborgeaud
|
e78630ae81
|
PR feedback
|
2022-01-28 05:02:31 +01:00 |
|
wborgeaud
|
b6cb72b629
|
Comments
|
2022-01-27 13:27:06 +01:00 |
|
wborgeaud
|
1770e83c63
|
Clippy
|
2022-01-27 13:02:36 +01:00 |
|
wborgeaud
|
4a2681034e
|
Working prover
|
2022-01-27 12:58:56 +01:00 |
|
wborgeaud
|
3e0cb36063
|
Added test stark
|
2022-01-27 07:56:22 +01:00 |
|
wborgeaud
|
d54cc9a7c8
|
First try
|
2022-01-26 16:08:04 +01:00 |
|
Daniel Lubarov
|
c0ac79e2e1
|
Beginning of STARK implementation (#413)
* Beginning of STARK implementation
* PR feedback
* minor
* Suppress warnings for now
|
2022-01-26 00:09:29 -08:00 |
|