跳到主要内容
uencoder

Standard Model

标准模型指不引入理想化假设(如随机预言机、理想群)的密码安全证明,仅依赖计算复杂性假设(如 DDH、LWE)。

用途

提供比随机预言机模型更强的安全保证,避免理想化假设实例化后的安全降级。

机制

在标准模型下证明需基于可证伪假设(falsifiable assumptions)如 DDH、CDH、LWE,不将哈希理想化。证明更难但安全更强。

用例

  • 强安全证明
  • 后量子方案分析
  • 密码学理论

相关工具

参考链接