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

  • トノイテ、オ、、ソケヤ、マ、ウ、ホソァ、ヌ、ケ。」
  • コス、オ、、ソケヤ、マ、ウ、ホソァ、ヌ、ケ。」
*フワシ。 [#r6c2a7bd]

#contents


*splitting lemma [#x7e86b4d]

[ハ萃鷯The splitting lemma~
&mimetex("A \subset X \times Y \, s.t. \, Pr\[ \(x,y\) \overset{$}{\leftarrow} X \times Y ; \(x,y\) \in A \] \ge \epsilon");
~
&mimetex("\forall \alpha < \epsilon");~
&mimetex("X \supset B \overset{def}{=} \{ x \in X | Pr_{y'} \[ (x,y') \in A\] \ge \epsilon-\alpha \}");~
、ウ、ホ、ネ、ュ。「シ。、ホ3、ト、ホタュシチ、ャタョ、ホゥ、ト。」~
(1)&mimetex("Pr[B] \ge \alpha");~
(2)&mimetex("\forall \(x,y\) \in B, Pr_{y' \in Y}\[ (x,y') \in A \] \ge \epsilon-\alpha");~
(3)&mimetex("Pr\[B|A\] \ge \frac{\alpha}{\epsilon}");

[ケヘサ。]セレフタ、ヒニ、チー、ヒ、゙、コ。「A、ネB、ホーユフ」、ケヘ、ィ、ニ、゚、。」

A、ホx、fix、キ、ニ。「B、ヌ、マy、タ、ア、ニー、ォ、キ、ニ、、、。」

B、トセエムナェ、ヒ、、、ヲ、ネ。「。ヨハソカムナタ80ナタ、シ隍ソヘ、ャ80ナターハセ蠑隍イトヌスタュ、隍遙「75ナターハセ螟シ隍イトヌスタュ、ャケ筅、、ネ、、、ヲ、ウ、ネ。ラ、ーユフ」、ケ、。」

[セレフタ]







*サイケヘハクク・ [#v4427679]

-マタハク。ヨContemporary Cryptology Provable Security for Public Key Schemes。ラDavid Pointcheval