密码学系列0-总述通过这一系列文章,帮助读者能快速入门密码学安全性证明。 这一系列文章主要包括以下内容: 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加密,并证明去