blinded_ms_correctness_proof