、ウ、ホ・レ。シ・ク、、マ、ニ、ハ・ヨ・テ・ッ・゙。シ・ッ、ヒトノイテ、ウ、ホ・レ。シ・ク、エ゙、爨マ、ニ、ハ・ヨ・テ・ッ・゙。シ・ッ 、ウ、ホ・レ。シ・ク、livedoor ・ッ・・テ・ラ、ヒトノイテ、ウ、ホ・レ。シ・ク、エ゙、瀝ivedoor ・ッ・・テ・ラ

*フワシ。 [#x8be03db]

#contents

*タナチ [#l4001434]

。。ナ・オ・、・ネ、ヒ、ェ、ア、ーナケ讀ヒエリ、ケ、・レ。シ・ク、ヌ、マ。「タ篶タ、ャツュ、熙ハ、ォ、テ、ソ、遙「ク、テ、ソオュスメ、、キ、ニ、、、ソ、熙ケ、、ネ、ウ、、ャ、「、熙゙、ケ。」コ」ク蝪「セッ、キ、コ、トス、タオ、ケ、ヘスト熙ヌ、ケ。」~

。。ーナケ賚マタ、ホ。リーナケ豬サスム、ホ、ケ、ル、ニ。ル、ャネッヌ荀オ、、ニ、、、゙、ケ。」ス鯀エシヤク、ア、ホーナケ賤ワ、ヌ、ケ。」、ウ、、゙、ヌーナケ賤ワ、ヒイソナル、ォトゥタ、キ、ト、ト、篌テダ、キ、ニ、キ、゙、テ、ソハ。「ウリケサ、ホインツ熙ヌヌコ、、ヌ、、、ハ。「サウハサクウ、ヒ、ニーナケ讀ホフ萃熙ャカシ熙ハハ、ハ、ノ、ヒ、ェエォ、皃ヌ、ケ。」

[[&ref(http://s-akademeia.sakura.ne.jp/main/books/cipher/img/cover_mini.jpg,nolink,。リーナケ豬サスム、ホ、ケ、ル、ニ。ルタナチ・オ・、・ネ);>http://s-akademeia.sakura.ne.jp/main/books/cipher/]]

。。カスフ」、ャ、「、ハ、マ[[タナチ・オ・、・ネ:http://s-akademeia.sakura.ne.jp/main/books/cipher/]]、サイセネ、キ、ニ、ッ、タ、オ、、。」[[Amazon:https://www.amazon.co.jp/dp/4798148814/securityakade-22]]、ヌ、篳ッヌ菘讀ヌ、ケ。」


*perfect string commitment scheme based on the RSA assumption [#tffb6fc1]

#img(http://security2600.sakura.ne.jp/main2/image2/RSA_com.jpg)
#img(,clear)


**タュシチ [#q98c48f1]

***hiding [#j1151931]

。。sender、マ。「commitmentセハ、チ、チー、ヒ。ヨe、ャチヌソ、ヌ、「、、ウ、ネ。ラ、ネ。ヨe。膀。ラ、ク。セレ、ケ、。」、ウ、、ヒ、隍遙「gcd(e,ヲユ(N))=1、ャハンセレ、オ、、。」

。。f、&mimetex("f(x)=x^e");、ヒ、隍テ、ニトオチ、ケ、。」、ウ、ホf、マ&mimetex("\mathbb{Z}_N^* \rightarrow \mathbb{Z}_N^*");、ネ、ハ、テヨエケ、ヌ、「、。」

。。r、マ&mimetex("\mathbb{Z}_N^*");セ螟ヌーヘヘ・鬣・タ・爨ヒシ隍テ、ニ、ュ、ソ、ホ、ヌ。「テヘ、ヌ、「、&mimetex("f(r)=r^e \, mod \, N");、マ&mimetex("\mathbb{Z}_N^*");セ螟ヌーヘヘハャノロ、ケ、。」

。。、゙、ソ。「&mimetex("\mu \in \mathbb{Z}_N^* \wedge \mu^* \in \mathbb{Z}_N^*");、ハ、ホ、ヌ。「commitmentセハ、ヌ、「、&mimetex("c=\mu^x r^e");、マ&mimetex("\mathbb{Z}_N^*");セ螟ヌーヘヘハャノロ、ケ、。」

。。、隍テ、ニ。「receiver、ヒツミ、キ、ニ。「x、ヒ、ト、、、ニ、ホセハ、マ、゙、テ、ソ、ッマウ、、ハ、、。」。。「「

[ケヘサ。]&mimetex("\forall c \in \mathbb{Z}_N^* , \forall x \in \mathbb{Z}_e , \exists r \in \mathbb{Z}_N^* ; c=\mu^x r^e \, mod \, N");、ォ、鬘「x、ヒ、ト、、、ニ、ホセハ、ママウ、、ハ、、、ネシィ、キ、ニ、筅隍、。」


***binding [#de9104ec]

。。SSUP{*};、binding、ヌヒ、・「・・エ・・コ・爍「B、RSAフ萃熙ヌヒ、・「・・エ・・コ・爨ネ、ケ、。」ヌ、ーユ、ホSSUP{*};、ャ、、、ニ、筍「RSAフ萃熙ヌヒ、、、ウ、ネ、シィ、ケ。」、ス、ホ、ソ、皃ヒ、マ。「SSUP{*};サネ、テ、ニB、ケスタョ、ケ、。」

#img(http://security2600.sakura.ne.jp/main2/image2/RSA_com2.jpg)
#img(,clear)

。。セ蠏ュ、ホ、隍ヲ、ヒB、ホニスミホマ。「ニ篷キラササ、マウホト熙キ、ソ。」コヌク螟ホスミホマ、マシ。、ホ、隍ヲ、ヒ、ケ、、ミ、隍、。」

&mimetex("\mu^{\frac{1}{e}}:= (\frac{r'}{r})^{A} \mu^B \, mod \, N");

。。、ハ、シ、ウ、ヲコ、鬢、ソ、ォ、ノ、ヲ、ォ、ウホヌァ、ケ、。」、゙、コSSUP{*};、ホスミホマ、マ、メ、ネ、ト、ホcommitmentセハ、ネ2、ト、ホdecommitmentセハ、スミホマ、キ、ニ、、、。」、ウ、、鬢ヒ、ェ、、、ニ。「ク。セレシー、ャタョ、ホゥ、ト、ホ、ヌ。「シ。、ャタョ、ホゥ、ト。」

&mimetex("\mu^x r^e = \mu^{x'} {r'}^e \, mod \, N");~
&mimetex("\mu^{x-x'} = (\frac{r'}{r})^e \, mod \, N");。。「ォ(*)

。。、ウ、ウ、ヌ。「ヲ、:=x-x'、ネトオチ、ケ、。」~
。。、゙、ソ。「。ヨx,x'「コZSUB{e}; 「ハ e、マチヌソ。ラ、ネ、、、ヲサシツ、ォ、鬘「。ヨヲ、。綟 「ハ gcd(ヲ、,e)=1。ラ、ャタョ、ホゥ、ト。」ウネト・・譯シ・ッ・・テ・ノ、ホク゚スヒ。、ヒ、隍遙「ツソケ狆ーサエヨ、ヌAヲ、+Be=1、ヒ、ソ、ケA,B「コZ、キラササ、ヌ、ュ、。」

。。、隍テ、ニ。「SSUP{*};、マニ篷キラササ、ヒ、隍テ、ニ。「A,B、ヘヘム、ヌ、ュ、。」、ウ、ホA,B、ヘヘム、ケ、、ネ。「シ。、ホ、隍ヲ、ヒシー、ホナクウォ、ャ、ヌ、ュ、。」

&mimetex("\mu^{1}");~
&mimetex("=\mu^{A\Delta + Be}");~
&mimetex("=(\mu^\Delta)^A \mu^{Be} \, mod \, N");~
&mimetex("=((\frac{r'}{r})^e)^A (\mu^B)^e \, mod \, N");。。。ハ「(*)、隍遙ヒ~
&mimetex("=((\frac{r'}{r})^A \mu^B)^e \, mod \, N");

。。、讀ィ、ヒ。「シ。、ャタョ、ホゥ、ト、ウ、ネ、ャ、、ォ、。」

&mimetex("\mu^{\frac{1}{e}} = (\frac{r'}{r})^A \mu^B \, mod \, N");

。。、ウ、、ヌ、ヲ、゙、ッRSAフ萃熙イ、、、ソキイフ、スミホマ、ヌ、ュ、、ウ、ネ、ャ、、ォ、テ、ソ。」。。「「