Hardcaml_ntt.Roots
Forward and inverse roots of unity within the Goldilocks field.
val forward : Gf.Z.t array
forward.(i) is the 2^i th root of unity.
2^i th root of unity
That is index 5 is the 2^5 = 32nd root of unity. Raising it to the power 32 will yield 1.
5
2^5 = 32nd
32
1
val inverse : Gf.Z.t array
inverse.(i) is the 1 / 2^i th root of unity
1 / 2^i th root of unity