2.1.69 可证明安全provable security