読者です 読者をやめる 読者になる 読者になる

証明に関する手法 / 仮定 / モデル

  • 確率的証明 probabilistically cheacable proofs
  • ランダムオラクルモデル(ROM) / ランダムオラクル仮定
  • シミュレーション手法
  • ハイブリッドアーギュメント
  • 形式的手法 formal method
  • 帰着の効率
  • 識別不能

なんでPCPが一番上やねん(;´Д`)と思っただけ。

ElGamal署名がまだ無かったので適当に訳して作った。ElGamal署名を(Z/p)^*に限るならElGamal暗号も(Z/p)^*に限らんといかんのではないかというのが目下の疑問。英語版も群Gの選び方とかいう項があるのよね。DSAの最初のところをどう訳したもんだか。FIPS 186を自分で見るのめんどい。