BMR_Sign_2_proof