Module risc0_zkp_core::fp4
source · [−]Structs
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.