Module Step_verifier.Inner_curve