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