openvm_ecc_circuit

Function ec_double_expr

Source 
pub fn ec_double_expr(
    config: ExprBuilderConfig,
    range_bus: VariableRangeCheckerBus,
    a_biguint: BigUint,
) -> FieldExpr