Daniel Lubarov
|
8302c10f21
|
Multiple vanishing polys, and multiple associated quotient polys
With different random alphas
|
2021-04-01 13:22:54 -07:00 |
|
Daniel Lubarov
|
234fdc7c99
|
Bit of refactoring, comments, etc.
|
2021-04-01 12:49:31 -07:00 |
|
Daniel Lubarov
|
cca79a992c
|
Sponges etc
|
2021-03-31 21:15:24 -07:00 |
|
Daniel Lubarov
|
16817d1268
|
Minor
|
2021-03-30 23:47:29 -07:00 |
|
Daniel Lubarov
|
347206d161
|
Add Z terms in vanishing poly
|
2021-03-30 23:12:47 -07:00 |
|
Daniel Lubarov
|
3c262a8c49
|
Fix some warnings
|
2021-03-30 20:16:20 -07:00 |
|
Daniel Lubarov
|
d8ecc37547
|
Const generics now stable, yay!
|
2021-03-30 20:10:01 -07:00 |
|
Daniel Lubarov
|
6c8dfb97ac
|
Refactor polynomial code
|
2021-03-30 13:30:31 -07:00 |
|
Daniel Lubarov
|
07718397ea
|
Fix coset [i]fft
|
2021-03-30 11:46:58 -07:00 |
|
Daniel Lubarov
|
69b98623a1
|
Batch inverse (ported from plonky1)
|
2021-03-30 11:46:36 -07:00 |
|
Daniel Lubarov
|
44eeb505eb
|
Tweaks
|
2021-03-30 10:02:00 -07:00 |
|
Daniel Lubarov
|
f42120482a
|
No more polynomial programming abstraction
It was too expensive.
|
2021-03-28 19:52:01 -07:00 |
|
Daniel Lubarov
|
ba96ab4e99
|
More prover work
|
2021-03-26 23:51:48 -07:00 |
|
Daniel Lubarov
|
8c95dd11d7
|
Bit of prover work
|
2021-03-21 19:50:05 -07:00 |
|
Daniel Lubarov
|
5f92611df1
|
Bit of prover work
|
2021-03-21 11:57:33 -07:00 |
|
Daniel Lubarov
|
75b9340000
|
Tweak APIs
|
2021-03-21 11:29:47 -07:00 |
|
Daniel Lubarov
|
ca7f20bf45
|
FriConsistencyGate
|
2021-03-18 12:44:45 -07:00 |
|
Daniel Lubarov
|
ea33c5567f
|
GMiMC, witness generation
|
2021-03-01 13:40:05 -08:00 |
|
Daniel Lubarov
|
ec0632bf16
|
Degree-3 GMiMC gate
|
2021-03-01 12:35:02 -08:00 |
|
Daniel Lubarov
|
194c4864d2
|
Remove bad attempt at automatic degree shrinking
|
2021-03-01 11:17:44 -08:00 |
|
Daniel Lubarov
|
31a10b776f
|
Minor
|
2021-02-28 23:34:07 -08:00 |
|
Daniel Lubarov
|
45da024aef
|
Minor
|
2021-02-28 21:43:10 -08:00 |
|
Daniel Lubarov
|
58425eb548
|
Misc
|
2021-02-27 21:42:12 -08:00 |
|
Daniel Lubarov
|
5d6da4f94a
|
Degree shrinker
|
2021-02-26 23:30:22 -08:00 |
|
Daniel Lubarov
|
383812dffd
|
Degree map
|
2021-02-26 14:08:27 -08:00 |
|
Daniel Lubarov
|
78d7f8c6d3
|
Don't need ConstraintPolynomialRef
|
2021-02-26 13:33:05 -08:00 |
|
Daniel Lubarov
|
9fdff8ea08
|
Gate infra
|
2021-02-26 13:18:41 -08:00 |
|
Daniel Lubarov
|
33bd3edd11
|
Minor
|
2021-02-24 22:48:13 -08:00 |
|
Daniel Lubarov
|
2571e86ea5
|
Tweaks
|
2021-02-24 18:04:00 -08:00 |
|
Daniel Lubarov
|
05e98ed3e6
|
Minor
|
2021-02-24 13:15:21 -08:00 |
|
Daniel Lubarov
|
801563369b
|
Mostly finish GMiMC gate
|
2021-02-24 13:07:22 -08:00 |
|
Daniel Lubarov
|
3ba9ef8ab7
|
Const generics in GMiMC
|
2021-02-24 12:25:13 -08:00 |
|
Daniel Lubarov
|
1480876c9a
|
Add some FRI params & clean up FFT a bit
|
2021-02-17 22:19:18 -08:00 |
|
Daniel Lubarov
|
13cc76316c
|
Initial commit
|
2021-02-17 14:36:32 -08:00 |
|