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

フワシ。

タナチ

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

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

。リーナケ豬サスム、ホ、ケ、ル、ニ。ルタナチ・オ・、・ネ

。。カスフ」、ャ、「、ハ、マタナチ・オ・、・ネ、サイセネ、キ、ニ、ッ、タ、オ、、。」Amazon、ヌ、篳ッヌ菘讀ヌ、ケ。」

standard commitment scheme based on a trapdoor permutation

。。trapdoor permutation family、サネ、テ、ニ。「standard commitment scheme。ハbit commitment。ヒ、ケスタョ、ヌ、ュ、。」f、one-way trapdoor permutation。「h、f、ホhard-core bit、ネ、ケ、。ハ。ヨB。ァf、ホhard-core predicate。ラ、ネ、ケ、、ネ、ュ。「h(r)~=~B(f^{-1}(r))。ヒ。」

タュシチ

completeness

。。S、ャhonest、ヒニー、ッ、ネ、ュ。「R、マフタ、鬢ォ、ヒaccept、ケ、、ォ、鬘「タョ、ホゥ、ト。」。。「「

computatinally hiding

。。hiding、ネ、マ。「。ヨCOMMIT・ユ・ァ。シ・コニ筅ヌ、マreceiver。ハPPT。ヒ、ャcommitmentセハ、ォ、饕。ハ「コ{0,1}。ヒ、ホ、ホセハ、シ隍スミ、ケ、ウ、ネ、ャ、ヌ、ュ、ハ、、。ラ、ウ、ネ、ヌ、「、。」クタ、、エケ、ィ、、ネ。「ニテハフ、ハーナケ豐ス、ャ、オ、、ニ。「receiver、ヒ、マーナケ豐ス、ホチー、ホクオ、ネ、ハ、・ヌ。シ・ソ、ャ、、ォ、鬢ハ、、、ネ、、、ヲ、ウ、ネ、ヌ、「、。」ニテハフ、ハーナケ豐ス、ネ、、、テ、ソ、ャ。「トフセ、ホーナケ豐ス、タ、ア、ヌ、マニ簣ニ、ャア」、オ、、ニ、、、、タ、ア、ヌハミ、熙マツクコ゚、ケ、、ウ、ネ、ャ、「、。」、ウ、ウ、ヌ、マハミ、熙オ、ィ、筅ハ、、ニテハフ、ハーナケ豐ス、ネケヘ、ィ、ニ、筅鬢、、ソ、、。」、ス、ホ、ソ、皃ヒf、ホhard-core predicate、サネ、テ、ニ、、、。」

。。、ウ、ウ、ヌ、マcomputationally hiding、ヌ、「、、ウ、ネ、、、、、、ソ、、、ホ、ヌ。「0、ネ1、ホウニcommitmentセハ、クォ、ニ。「、ウ、、ャキラササホフナェ、ヒシアハフノヤイトヌス、ヌ、「、、ウ、ネ、シィ、キ、ソ、、。」、ト、゙、遙「シ。、ャタョ、ホゥ、ト、ウ、ネ、シィ、キ、ソ、、。」

(f,f(r),d)~\overset{c}{\approx}~(f,f(r'),d')
(f,f(r),h(r)~\oplus~0)~\overset{c}{\approx}~(f,f(r'),h(r')~\oplus~1)
(f,f(r),B(f^{-1}(r))~\oplus~0)~\overset{c}{\approx}~(f,f(r'),B(f^{-1}(r'))~\oplus~1)

。。コクハユ、ホツ2タョハャ、ネアヲハユ、ホツ2タョハャ、マーロ、ハ、・鬣・タ・狹ヘ、ヒf、ヌキラササ、キ、ソ、筅ホ、タ、ャ。「ニア、クハャノロ、ォ、魏ヘヘ、ヒチェ、、タ、筅ホ、ヌ。「、ハ、ェ、ォ、トf、マpermutation、ハ、ホ、ヌ。「シアハフノヤイトヌス、ネ、ハ、。」
。。、゙、ソ。「コクハユ、ホツ3タョハャ、ホB、ヌス靉、オ、、ソノハャ、1・モ・テ・ネ、ホ・鬣・タ・狹ヘ、ネ、キ、ニソカノ、ヲ。」、ス、、ヒトソ0、XORア鮟サ、キ、ニ、筍「キイフ、マ1・モ・テ・ネ、ホ・鬣・タ・狹ヘ、ヒ、ハ、。」ーハ。「アヲハユ、ホツ2タョハャ、簇アヘヘ、ヒケヘ、ィ、、ウ、ネ、ャ、ヌ、ュ。「、ウ、、1・モ・テ・ネ、ホ・鬣・タ・狹ヘ、ヒ、ハ、。」、隍テ、ニ。「コクハユ、ホツ2タョハャ、ネアヲハユ、ホツ2タョハャ、箴アハフノヤイトヌス、ネ、ハ、。」
。。、「、ッ、゙、ヌ1イ、タ、ア、ホテヘ、ャシアハフノヤイトヌス、ヌ、「、、ネ、、、ヲ、ウ、ネ、ヌ、マ、ハ、ッ。「ハャノロ、ャシアハフノヤイトヌス、ヌ、「、、ウ、ネ、ヒテーユ、キ、ニペ、キ、、。」。。「「

perfect binding

。。all-powerful sender、ヒツミ、キ、ニ、オ、ィ、稈inding、ヌ、「、、ウ、ネ、、、、ィ、ハ、ア、、ミ、ハ、鬢ハ、、。」ス魎、ホ・鬣ヲ・・ノ、ヌチ、テ、ソf、マpermutation、ヌ、ハ、ア、、ミ、ハ、鬢ハ、、。」、ハ、シ、ハ、鬢ミ。「REVEAL・ユ・ァ。シ・コ、ヌf、タクタョ、ケ、、ネ、ュ、ヒサネ、、、・鬣・タ・爭ヘ・ケw、。「sender、マreveal、キ、ハ、ア、、ミ、ハ、鬢ハ、、、ォ、鬢ヌ、「、。」、ソ、タ、キ。「Gen、マ、、、ト、穡ermutation、スミホマ、ケ、、ネイセト熙キ、ニ、、、。」
。。、隍テ、ニ。「c、マーーユ、ヒr~=~f^{-1}~\(~c~\)、トオチ、ケ、。」、ス、キ、ニ。「ニアヘヘ、ヒーーユ、ヒ。「b~=~h~\(~r~\)~\oplus~d、トオチ、ケ、。」

。。シ。、ホ、隍ヲ、ヒ、キ、ニケヘ、ィ、ソ、ロ、ヲ、ャ、、ォ、熙荀ケ、、、ォ、筅キ、、ハ、、。」、゙、コbinidng、ヌヒ、・「・ノ・ミ。シ・オ・遙シA、ャツクコ゚、キ、ソ、ネ、ケ、、ネ。「シ。、ホ、隍ヲ、ハセキ、ヒ、ソ、ケcom,dec0,dec1、スミホマ、ケ、。」

  • com~=~\(~f,c,d~\)
  • dec_0~=~\(~f^{-1}~,~r_0~,~w_0~\)
  • dec_1~=~\(~f^{-1}~,~r_1~,~w_1~\)
  • ヒ、ソ、ケ、ル、ュセキ1。ァc=~f~\(~r_0~\)=~f~\(~r_1~\)
  • ヒ、ソ、ケ、ル、ュセキ2。ァd=~h~\(~r_0~\)~\oplus~0=~h~\(~r_1~\)~\oplus~1

。。ヒ、ソ、ケ、ル、ュセキ1、隍遙「シ。、ャタョ、ホゥ、ト。」

f~\(~r_0~\)=~f~\(~r_1~\)
r_0~=~r_1。。。ハ「鑁。ァone-way permutation。ヒ

。。、ウ、ウ、ヌpermutation、ヌ、「、、ウ、ネ、ャク、、、ニ、ッ、。」

。。、゙、ソ。「ヒ、ソ、ケ、ル、ュセキ2、隍遙「シ。、ャタョ、ホゥ、ト。」

d=~h~\(~r_0~\)~\oplus~0=~h~\(~r_1~\)~\oplus~1
h~\(~r_0~\)~=~h~\(~r_1~\)~\oplus~1
h~\(~r_0~\)~=~h~\(~r_0~\)~\oplus~1。。。ハ「霎蠏ュ、隍遙「r_0~=~r_1。ヒ
0~=~1

。。A、ホキラササホフ、ヒエリ、ケ、イセト熙サネ、テ、ニ、、、ハ、、、ホ、ヌ。「エーチエ、ヒフキス筅ヒ、ハ、。ハA、ャソタ、オ、゙、ホヌスホマ、サ、テ、ニ、、、ニ、筍「0=1、マタョ、ホゥ、ソ、ハ、、。ヒ。」

。。、キ、ソ、ャ、テ、ニ。「perfect binding、ャタョ、ホゥ、ト。」。。「「