密码学的可证明安全怎么证明？

密码学方案中在一定数学基础之上、在特定安全模型下可被严格证明的安全性。

数学基础：困难问题

安全模型：或者攻击模型，是指攻击方的攻击能力、攻击方式的抽象以及假设

安全证明：不同密码学协议有不同的证明方式，常见的时归约，即密码学方案和数学困难问题之间的规约。

归约：直接假设证明密码学方式是安全的是很难证明的，采用规约证明方案的安全性就是假设某一个底层的问题是很难解决的，然后基于这个假设，构造的密码学方案是安全的

转载：密码学浅谈⑧——几个概念 - 知乎 (zhihu.com)