openvm_pairing_circuit

Function miller_double_and_add_step_expr

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