Module risc0_zkp_core::fp4

Support for the rank 4 extension field of the base field.

Structs

Fp4

Instances of Fp4 are elements of a finite field F_p^4. They are represented as elements of F_p[X] / (X^4 - 11). Basically, this is a big finite field (about 2^128 elements), which is used when the security of various operations depends on the size of the field. It has the field Fp as a subfield, which means operations by the two are compatable, which is important. The irreducible polynomial was choosen to be the most simple possible one, x^4 - B, where 11 is the smallest B which makes the polynomial irreducable.

Constants

EXT_SIZE

The size of the extension field in elements, 4 in this case.