openvm_
pairing_
circuit
1.0.0
Structs
EcLineMul013By013Chip
EcLineMul023By023Chip
EcLineMulBy01234Chip
EcLineMulBy02345Chip
EvaluateLineChip
Fp12
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
openvm_pairing_circuit
Function
fp12_sub_expr
Copy item path
Settings
Help
Summary
Source
pub fn fp12_sub_expr( config:
ExprBuilderConfig
, range_bus:
VariableRangeCheckerBus
, ) ->
FieldExpr