Crate openvm_pairing_circuit

Structs

• EcLineMul013By013Chip
• EcLineMul023By023Chip
• EcLineMulBy01234Chip
• EcLineMulBy02345Chip
• EvaluateLineChip
• Fp12
  Field extension Fp12 defined with coefficients in Fp2. Represents the element c0 + c1 w + ... + c5 w^5 in Fp12. Fp6-equivalent coefficients are c0: (c0, c2, c4), c1: (c1, c3, c5).
• Fp12MulChip
• MillerDoubleAndAddStepChip
• MillerDoubleStepChip
• PairingExtension
• Rv32PairingConfig

Enums

• PairingCurve
• PairingExtensionExecutor
• PairingExtensionPeriphery
• Rv32PairingConfigExecutor
• Rv32PairingConfigPeriphery

Functions

• evaluate_line_expr
• fp12_add_expr
• fp12_mul_expr
• fp12_sub_expr
• miller_double_and_add_step_expr
• miller_double_step_expr
• mul_013_by_013_expr
• mul_023_by_023_expr
• mul_by_01234_expr
• mul_by_02345_expr