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

フワシ。

タナチ

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

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

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

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

mutually indepenedent announcement scheme

。。mutually independent announcement、ヌ、マ。「ス鬢皃ヒAlice、ヒ・皈テ・サ。シ・ク、commit、オ、サ、ニ。「シ。、ヒBob、ヒcommit、ケ、。」、ウ、ウ、ヌ。「Com、perfectly binding and computationally hiding commitment scheme、ネ、ケ、。ハ、ウ、、マone-way permutation、ャツクコ゚、ケ、、ミ。「コ、、[GL89]。ヒ。」

タュシチ

hiding

。。Com、ホタュシチ、ォ、鯡ンサ、オ、、。」。。「「

binding

。。Com、ホタュシチ、ォ、鯡ンサ、オ、、。」。。「「

non-correlation property

。。、ソ、ネ、ィAlice、ャhonest、ヌ、ハ、ッ、ニ、筍「A、ャコヌス鬢ヒcommit、ケ、、ホ、ヌ。「a、マb、ネニネホゥ、ヌ、「、。」、゙、ソ。「、ソ、ネ、ィBob、ャhonest、ヌ、ハ、ッ、ニ、筍「Com(a)、ネ。ヨa'。ハ。秣)、ヌコ、鬢、ソCom(a')。ラ、カ靆フ、ヌ、ュ、ハ、、、ホ、ヌ。「b、マa、ネニネホゥ、ヌ、「、。」

。。REVEAL・ユ・ァ。シ・コ、ヌBob、ォ、馘ecommitmentセハ、Alice、ヒチソョ、キ、ニ、、、、ホ、マ。「Bob、ャ・コ・、ケ、、ウ、ネ、ヒノ、ー、ソ、皃ヌ、「、。」、ノ、、ハ・コ・、ォ、ネ、、、ヲ、ネ。「COMMIT・ユ・ァ。シ・コ、ヒ、ェ、、、ニBob、マAlice、ホcommitmentセハ、・ウ・ヤ。シ、キ、ニ。ハC(b)=C(a)、ネ、ケ、。ヒ。「REVEAL・ユ・ァ。シ・コ、ヌ、マAlice、ホdecommitmnetセハ、、ス、ホ、゙、゙・ウ・ヤ。シ、キ、ニ。「Alice、リdecommitmentセハ、ネ、キ、ニチ、、ウ、ネ、ャ、ヌ、ュ、、ォ、鬢ヌ、「、。」、ウ、ヲ、キ、ソサツヨ、ヒノ、ー、ソ、皃ヒ。「REVEAL・ユ・ァ。シ・コ、ヌ、マBob、ャコヌス鬢ヒニーコ、ケ、、隍ヲ、ヒ、キ、ニ、、、。」

。。、隍テ、ニ。「、ウ、ホmutually independent announcement、マnon-correlation property、サ、ト。」。。「「

mutually indepenedent 2-round commitiment scheme

。。mutually independent announcement、ヌ、マ。「COMMIT・ユ・ァ。シ・コ、ヌ、マAlice、ォ、鮟マ、゙、遙「REVEAL・ユ・ァ。シ・コ、ヌ、マBob、ォ、鯣ーコ、ャ・ケ・ソ。シ・ネ、キ、ニ、、、ソ。」、キ、ォ、キ。「COMMIT・ユ・ァ。シ・コ、ヌ、マAlice、ォ、鮟マ、゙、遙「、ハ、ェ、ォ、トREVEAL・ユ・ァ。シ・コ、ヌ、磚lice、ォ、鯣ーコ、ャサマ、゙、、隍ヲ、ヒ、キ、ソ、、・キ・ハ・・ェ、篁ヘ、ィ、鬢、。」、ウ、ホ・キ・ハ・・ェ、ヌヘヘム、ヌ、ュ、scheme、ネ、キ、ニ。「mutually indepenedent commitiment scheme、ャツクコ゚、ケ、[LLM01]。」、ウ、、ヒ、マ2-round・ミ。シ・ク・逾、ネ3-round・ミ。シ・ク・逾、ャ、「、。」、ウ、ウ、ヌ、マ2-round・ミ。シ・ク・逾、セメイ、キ。「3-round・ミ。シ・ク・逾、マシ。、ホタ皃ヌセメイ、ケ、。」

。。sub-exponentially hard one-way permutation、ャツクコ゚、ケ、、ネ、、、ヲイセト熙ヒエ、ナ、ッテアス网ハ2-round、ホmutually indepenedent commitiment scheme、シィ、ケ。」、ハ、ェ。「。ヨsub-exponentially hard。ラ、ネ、マ。「ヌ、ーユ、ホナィ、ャ2^{n^{\epsilon}}。ハヲナ。0。ヒ、隍セッ、ハ、、サエヨ、ヌone-way permutation、ホオユテヨエケ、ャ、ヌ、ュ、ハ、、、ウ、ネ、ヌ、「、。」

。。、ウ、ホイセト熙ホイシ、ヌ。「sub-exponentially hard non-interactive commitment scheme、ャコ、鬢、。」

。。、ウ、ウ、ヌ。「Com、。ヨ2^{n^{\epsilon}}-hard, non-interactive, perfectly binding commitment scheme。ラ、ネ、ケ、((・ヨ・。シ・ネ・ユ・ゥ。シ・ケ・「・ソ・テ・ッ、ヌ。「2^{n^{d}})。ハd。荐ナ。ヒイトゥタ、ケ、、ミCom、マヌヒ、、)。」、ウ、ホCom、サネ、テ、ニ。「mutually indepenedent 2-round commitiment scheme、シ。、ホ、隍ヲ、ヒケスタョ、ケ、。」

。。REVEAL・ユ・ァ。シ・コ、ヌAlice、ャコヌス鬢ヒdecommit、キ、ニ、、、、ャ。「シツコン、ヒ、マBob、ォ、馘ecommit、ケ、、ウ、ネ、筅ヌ、ュ、。」

タュシチ

non-correlation property

。。a、ネb、ャニネホゥ、ヌ、「、、ウ、ネ、シィ、ケ。」

。。、゙、コ。「C(a;k)、ォ、饌、ャマウ、、ニ、、、ハ、、、ウ、ネ、シィ、ケ。」O(~2^{K^{\frac{\epsilon}{2}}})イ、ヌa、ニタ、、ウ、ネ、ャ、ヌ、ュ、。」

。。シ。、ヒ。「C(b;k)、ォ、饕、ャマウ、、ニ、、、ハ、、、ウ、ネ、シィ、ケ。」2^{k^{d}}=2^{K^{\frac{\epsilon}{2}}}イ、ヌb、ニタ、、ウ、ネ、ャ、ヌ、ュ、。」。。「「

mutually indepenedent 3-round commitiment scheme

。。2-round・ミ。シ・ク・逾、マsub-exponentially hard one-way permutation、ャノャヘラ、タ、テ、ソ、ホ、ヌ。「イセト熙ャセッ、キカッ、、、ォ、筅キ、、ハ、、。」、ス、ウ、ヌ。「dense cryptosystem、ャツクコ゚、ケ、、ネ、、、ヲイセト熙サネ、ィ、ミ。「3-round・ミ。シ・ク・逾、ホmutually indepenedent commitiment scheme、ケスタョ、ケ、、ウ、ネ、ャ、ヌ、ュ、。」dense cryptosystem、ネ、マ。「クウォクー、ャ{0,1}n、ォ、鬣鬣・タ・爨ヒチェ、ミ、、ニ。「ケ筅、ウホホィ、ヌーツチエ、ヌ、「、、隍ヲ、ハscheme、ヌ、「、。」、チ、ハ、゚、ヒ。「RSAイセト、ホイシ、ヌ。「dense cryptosystem、マツクコ゚、ケ、。」

  • E。ァdense cryptosystem。ハ・サ・ュ・螂・ニ・」・ム・鬣癸シ・ソk。ヒ、ホーナケ豐ス・「・・エ・・コ・
  • p(k)。ァE、ホクウォクー、ホトケ、オ
  • Com。ァperfectly binding, non-interactive commitment shcme

、ネ、ケ、。」

。。、ウ、ホ、ネ、ュ。「mutually indepenedent 3-round commitiment scheme、マシ。、ホトフ、熙ヌ、「、。」

タュシチ

non-correlation property

。。a、ネb、ホエリキクタュ、マ。「b、ホcommitment、ホSS。ハSemantic Security。ヒ、ヌヒ、、ウ、ネ、ヒ、ハ、テ、ニ、キ、゙、ヲ。」、隍テ、ニ。「b、マa、ネニネホゥ、ヌ、「、。」。。「「