密码学中可证明安全CCA2

密码学中可证明安全CCA2

可证明安全推荐书目:

《密码学中的可证明安全性》杨波：： 清华大学出版社     

《Introduction to Security Reduction》Fuchun Guo;Willy Susilo;Yi Mu ：：Springer

CCA1 与 CCA2 的区别

CCA2 与 CCA1 只有一个区别，那就是在生成挑战密文后，CCA2依然允许敌手进行解密询问（限制是不能允许敌手询问挑战密文的解密询问）。

                             

CCA2的必要性

在上一篇博客中，我们提到的这个抵抗CCA攻击的方案，是不能抵抗CCA2攻击的。

上一篇博客：https://blog.youkuaiyun.com/zmrlinux/article/details/107790419

原因如下：

新构造一个ZK系统，与之前的ZK系统不同的是，在P输出的末尾增加一个比特，V在验证时可以无视这个比特的存在，并且依然能够验证这个ZK，依然是适应性安全的非交互式零知识证明系统。