BMR_Sign1_Proof