Module risc0_zkp_core::rou

Tables containing the root of unity for the base field.

There are two table, which are inverses of each other.

Constants

MAX_ROU_PO2

Maximum root of unity which is a power of 2, i.e. there is 2^27th root of unity, but no 2^28th.

ROU_FWD

For each power of 2, what is the ‘forward’ root of unity for the po2.

ROU_REV

For each power of 2, what is the ‘reverse’ root of unity for the po2.