ฉันกำลังศึกษาเอกสาร (Sequences of Games: เครื่องมือสำหรับการฝึกฝนความซับซ้อนในการพิสูจน์ความปลอดภัย) ในการพิสูจน์ semantic security โดยใช้เทคนิค Game Hopping โดย Victor Shoup
ในหน้า 9-11 เขากำลังใช้ลำดับของเกมสามเกม $เกม 1$, $เกม 2$, และ $เกม 3$ เพื่อหักความปลอดภัยทางความหมายของ Hased เอลกามาล ถึง ดีดีเอช และสมมติฐานการปรับเอนโทรปีให้เรียบ เขารวมสมการความน่าจะเป็นสามสมการได้อย่างไร กล่าวคือ $(1 )$, $(2)$, $(3)$ เพื่อให้ได้มาซึ่งอันสุดท้าย $|Pr[S_0]-1/2| \le ε_{ddh} + ε_{es}$?
สมการสามสมการที่คุณอ้างอิงคือ (เราจะถือว่าสมการนั้นเป็นความจริง - สามารถหาหลักฐานได้ใน PDF):
$$ \begin{จัด} |เพร[S_0] - เพร[S_1]| & = \epsilon_{\text{ddh}} & \text{ (1)} \ |เพร[S_1] - เพร[S_2]| & = \epsilon_{\text{es}} & \text{ (2)} \ Pr[S_2] & = \frac{1}{2} & \text{ (3)} \ \end{แนว} $$
แล้ว: $$ \begin{จัด} \epsilon_{\text{ddh}} + \epsilon_{\text{es}} & = |Pr[S_0] - Pr[S_1]| + |Pr[S_1] - Pr[S_2]| & \ข้อความ{(1) + (2)} \ & \geq |Pr[S_0] - Pr[S_1] + Pr[S_1] - Pr[S_2]| & \text{อสมการสามเหลี่ยม} \ & = |เพร[S_0] - เพร[S_2]| \ & = \left|Pr[S_0] - \frac{1}{2}\right| & \ข้อความ{(3)} \end{แนว} $$
คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา
