この言語で掛け算はできますか？
この言語で掛け算はできますか？ ちょっと例の Fiat-Shamir 認証のデモプログラムを土日に書いていたのですが、この Fiat-Shamir 認証のキモというのは、 平方剰余問題は、法が合成数の場合、とっても難しい.... ということにあります。ですから、 x2 = 巨大数 (mod 巨大素数同士の積) のとき、巨大数が判っても、x は判らない....ということになるわけです。ですから、こ
投稿者 : 杉浦 こずえ | 投稿日時 : 2008.09.29
ゼロ知識証明
検索結果：6件
ランダムの力
ランダムの力 ゼロ知識証明で、情報が漏れない根拠をごく単純に言うのならば、ランダムに選択された e ∈{0,1} を認証者が送りつけ、それに応じて証明者が送るべき値が決まること ということになります。言い換えると、認証者が送りつける e の値が予測不可能だから ということなのです。コンピュータにおいて、 ランダムさ、というのは実は非常にポジティブな働きを持つことがある という可能性が面白い...
投稿者 : 杉浦 こずえ | 投稿日時 : 2008.09.19
女性科学者頌
女性科学者頌 そういえばゼロ知識証明の話で... 実は最初にゼロ知識証明を定式化して報告した論文 Shafi Goldwasser, Silvio Micali, Charles Rackoff, "The Knowledge Complexity of Interactive Proof-Systems (Extended Abstract)", の筆頭者の Shafi G
投稿者 : 杉浦 こずえ | 投稿日時 : 2008.09.17
フィッシング詐欺も怖くない？
フィッシング詐欺も怖くない？ 、といいのですが（苦笑）。このエントリでは、ゼロ知識証明によるログイン認証のやり方（たとえば Fiat-Shamir 認証 このPDFの２８ページ以降にきっちりした説明があります）を紹介します。このやり方で認証すれば、 たとえ認証の全プロセスが盗聴されていたとしても、一切パスワードが漏れず、盗聴者が所有者に成り代わってログインすることができない という魔法のようなこ
投稿者 : 杉浦 こずえ | 投稿日時 : 2008.09.12
openIDって実は「ゼロ知識証明」？
openIDって実は「ゼロ知識証明」？ openID ネタです....結構 openID がらみのサービスが増えてるようですが、以前のエントリでも紹介しましたが、openID には、 勝手に認証サーバ(IdP)を立てることができるが、その認証サーバが厳格でまっとうな認証をしてくれるかどうかの保証がない！ というちょっと厄介な性質があります。ですから 1. 「悪い」認証サーバの情報を公開し、それ
投稿者 : 杉浦 こずえ | 投稿日時 : 2008.09.06
ブラム・ブラム・シャブ....
ブラム・ブラム・シャブ.... 私は別に専門家じゃないですけど、暗号関連の話って大好きだったりします。このところ「自然とランダム」と「秘奥義メルセンヌ・ツイスター」で、ランダム性と強く結びついた暗号関連話が続いたところで、こんな名前のアルゴリズムがあったりするんですね。 あ、これ開発者の３人の連名で付いているだけです。ブラムさん２人とシャブさんが開発したアルゴリズム....というだけの名前ですが
投稿者 : 杉浦 こずえ | 投稿日時 : 2007.05.18
1
