■

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

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

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

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