通过这一系列文章，帮助读者能快速入门密码学安全性证明。
这一系列文章主要包括以下内容：
1.可证明安全的概念
2.密码学常用困难性问题：CDH,DDH,DLP,BDH等。然后讨论问非对称，对称双线性配对上困难性问题。讨论为什么对称双线性DDH为什么不成立
3.介绍了密码学中常用的安全性模型：IND-CPA,IND-CCA1,(selective，adaptive) IND-CCA2，EUF-CMA
4.介绍了Elgamal加密，并证明了其IND-CPA安全
5，介绍了Cramer-Shoup加密，并证明去IND-CCA2安全。同时讨论同态加密能达到的安全性
5.介绍了BLS短签名，并分析了方案的EUF-CMA安全
6.介绍了标准模型和随机语言机模型的概念和区别
7.最后，给出安全证明的变体

并且在每一篇文章中，给读者一些思考，从浅入深一步步学会可证明安全。