Crate openvm_algebra_circuit

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).
• Fp2Extension
• ModularExtension
• Rv32ModularConfig
• Rv32ModularWithFp2Config

Enums

• Fp2ExtensionExecutor
• Fp2ExtensionPeriphery
• ModularExtensionExecutor
• ModularExtensionPeriphery
• Rv32ModularConfigExecutor
• Rv32ModularConfigPeriphery
• Rv32ModularWithFp2ConfigExecutor
• Rv32ModularWithFp2ConfigPeriphery