aszepieniec / stark-anatomy

Tutorial for STARKs with supporting code in python
Apache License 2.0
181 stars 49 forks source link

fix exponent for relationship between ω and ο #18

Closed jan-ferdinand closed 1 year ago

jan-ferdinand commented 1 year ago

Maybe I'm just confused, but I believe that $\omega^{\frac{1}{\rho}} = o$ is incorrect, and $\omega^\rho = o$ is correct.

aszepieniec commented 1 year ago

I think you are confusing the expansion factor with the rate. The rate ρ is a number between 0 and 1; the expansion factor is its reciprocal.

The length of this list is larger than the number of possibly nonzero coefficients in the polynomial by a factor called the expansion factor (also blowup factor), which is the reciprocal of the code’s rate ρ.

jan-ferdinand commented 1 year ago

That explains my confusion.