Modules§
Structs§
- Fp2
- Quadratic field extension of
Fp
defined byFp2 = Fp[u]/(1 + u^2)
. Assumes that-1
is not a quadratic residue inFp
, which is equivalent top
being congruent to3 (mod 4)
. Extends Mod Builder to work with Fp2 variables. - Fp2Extension
- Modular
Extension - Rv32
Modular Config - Rv32
Modular With Fp2Config