Cryptography Primitives

暗号

• 共通鍵暗号

• ブロック暗号

• ストリーム暗号

• 公開鍵暗号

• 素因数分解問題ベース

  • RSA, Paillier

• 離散対数問題ベース

• ElGamal暗号, 楕円曲線暗号

• ナップザック問題 ベース

  • ナップザック暗号

• 格子問題ベース

  • 格子暗号
  • NTRU暗号

• デジタル署名

• ハッシュ関数

• プロトコル

• 認証

• ユーザー認証

• メッセージ認証

• 公開鍵証明書(PKI)

• 鍵共有

• MPC

• ゼロ知識証明 (ZKP)

  • ゼロ知識対話証明(ZKIP)

• 秘密分散

• Universal Composability

  • UC commitment
  • UC ZKP

安全性の目標

• Perfect Secure
• Semantic Secure
• non-malleable
• IND

攻撃条件

• CPA
• CCA
• CCA2

根拠, 仮定

証明手法, 仮定, モデル

確率的証明

ランダムオラクルモデル (ROM)
ランダムオラクル仮定

安全性の前提

• 計算量的安全性
• 情報理論的安全性