openvm_pairing_circuit

Function miller_double_step_expr

Source 
pub fn miller_double_step_expr(
    config: ExprBuilderConfig,
    range_bus: VariableRangeCheckerBus,
) -> FieldExpr