野生奇特密码学 🎩

精选的奇特密码学部署列表。

如果密码学使用了超出对称密码、(EC)DH密钥协商、数字签名、RSA-OAEP等公钥加密或KEM的基本原语，或者以不寻常的方式使用这些原语，特别是依赖于超出IND-CCA2的属性，则被视为奇特。

该列表的次要目标是为密码学家提供一份仍需升级到后量子密码学的方案清单。

💫 欢迎贡献

大规模主流部署

• Android 附近分享/快速分享
  PAKE和各种奇怪的东西
  阅读材料：待定。
  完全后量子：😔。

• Apple HomeKit设备注册
  aPAKE (SRP)。
  阅读材料：文档。
  完全后量子：😔。

• Apple钥匙串密钥托管
  aPAKE (SRP)，门限密码学？（"大多数HSM同意"）。
  阅读材料：文档。
  完全后量子：😔。

• Apple车钥匙
  aPAKE (SPAKE2+)。
  阅读材料：文档。
  完全后量子：😔。

• Apple私人中继
  用于匿名令牌的盲签名。
  阅读材料：概述。
  完全后量子：😔。

• Apple私有云计算
  用于匿名令牌的盲签名。
  阅读材料：博客。
  完全后量子：😔。

• Apple/Google暴露通知
  定制协议。
  阅读材料：概述。
  完全后量子：😊（除了一些可以轻松更改为ML-DSA的签名）。

• Apple实时来电显示查询
  使用FHE的PIR。
  阅读材料：博客
  完全后量子：😊（除了用于速率限制的匿名令牌）

• Chrome泄露密码检查
  私有集合交集。
  阅读材料：博客。
  完全后量子：😔。

• Cloudflare地理密钥管理器
  基于属性/身份的加密。
  阅读材料：博客。
  完全后量子：😔。

• 1Password用户认证 aPAKE (SRP)
  阅读材料：博客。
  完全后量子：😔。

• Mozilla Firefox遥测
  Oblivious HTTP，Prio隐私保护统计。
  阅读材料：博客， prio论文， OHTTP规范， 分布式聚合协议规范。
  完全后量子：😔（如果使用TLS和HPKE的后量子配置）。

• 护照芯片访问控制
  PAKE (PACE)
  阅读材料：概述，规范。
  完全后量子：😔。

• Facebook Messenger聊天记录共享
  PAKE (CPace)
  阅读材料：Labyrinth（第35页）
  完全后量子：😔。

• Signal私密群组系统
  密钥验证匿名凭证。
  阅读材料：博客。
  完全后量子：😔。

• WhatsApp加密备份
  用于从PIN码检索备份密钥的aPAKE (OPAQUE)。
  阅读材料：演示， Meta白皮书， 学术论文， 审计。
  完全后量子：😔。

• (...)

Web3 / 区块链

• Zcash屏蔽交易
  zk-SNARKs，同态Pedersen承诺，可重随机化签名密钥。
  阅读材料：安全性分析（含后量子注释）， 电路语句， Groth16（可信设置）， Halo2（无需信任）， 承诺规范， RedDSA。
  完全后量子：😔。当对手不知道接收者地址时具有后量子隐私性；无后量子正确性。

• (...)

概念验证 / 发展中 / 小众

• Facebook安全更新传播
  同态哈希（又称增量哈希）
  阅读材料：博客，代码。
  完全后量子：🤨 可能通过使用后量子签名方案对同态哈希进行签名

• Facebook广告归因
  私有匹配和计算 阅读材料：博客，代码。
  完全后量子：😔。

• Google广告归因
  私有连接和计算 阅读材料：博客，代码。
  完全后量子：😔。

• Google广告归因 使用Paillier的部分同态加密进行私有集合交集
  阅读材料：博客，媒体报道，专利。
  完全后量子：😔。Paillier不具有后量子安全性。

• IACR投票 混合网络
  阅读材料：Helios。
  完全后量子：待定。

• (...)

另请参阅

• MPC部署
• IETF PQUIP工作组的"协议和PQC状态"