Basic ideas of Circle STARKs

[amimibear]

This talk explains why this curve, why these polynomials, and why this basis.

I used a wrong term in the talk. Involution J is not a 2-to-1 map. When I talk about 2-to-1 map, J should be changed to φ_J or π_x.