Crate openvm_algebra_circuit

Source

Modules§

fp2_chip
modular_chip

Structs§

Fp2
Quadratic field extension of Fp defined by Fp2 = Fp[u]/(1 + u^2). Assumes that -1 is not a quadratic residue in Fp, which is equivalent to p being congruent to 3 (mod 4). Extends Mod Builder to work with Fp2 variables.
Fp2Extension
ModularExtension
Rv32ModularConfig
Rv32ModularWithFp2Config

Enums§

Fp2ExtensionExecutor
Fp2ExtensionPeriphery
ModularExtensionExecutor
ModularExtensionPeriphery
Rv32ModularConfigExecutor
Rv32ModularConfigPeriphery
Rv32ModularWithFp2ConfigExecutor
Rv32ModularWithFp2ConfigPeriphery