ฉันกำลังพยายามแสดงสิ่งนั้นโดยการทำลาย สมมติฐานการคำนวณ Diffie-Hellmann (CDH) หนึ่งยังทำลาย สมมติฐานผกผันของ Diffie-Hellmann. น่าเสียดายที่ฉันติดขัดเล็กน้อยและไม่รู้ว่าจะไปที่ไหน ฉันสงสัยว่าคุณสมบัติ bilinearity จากกลุ่มจับคู่ที่กำหนดโดย $พีจีเจน$ เป็นความผิด แต่ฉันไม่ทราบแน่ชัดว่าจะแก้ไขปัญหาต่อไปอย่างไร คำจำกัดความมีดังนี้
ด้วย Computational Diffie-Hellman (CDH) ที่กำหนดโดยที่ปรึกษา PPT A โดยที่: $Adv^{cdh}_{PGGen,A}(n)$ เล็กน้อยและ:
$Adv^{cdh}_{PGGen,A}(n) := Pr[Z = g^{xy} \กลาง PG \stackrel{$}{\gets} PGGen(1^n); x, y \stackrel{$}{\gets} \mathbb{Z}_p ; Z \stackrel{$}{\gets} A(PG, g^x, g^y)]$
และสมมติฐานผกผัน Diffie-Hellmann (DHI) ที่กำหนดโดย PPT ฝ่ายตรงข้าม A โดยที่: $Adv^{q-dhi}_{PGGen,A}(n)$ เล็กน้อยและ:
$Adv^{q-dhi}_{PGGen,A}(n) := Pr[Z = g^{1/x} \mid PG \stackrel{$}{\gets} PGGen(1^n); x, y \stackrel{$}{\gets} \mathbb{Z}_p ; Z \stackrel{$}{\gets} A(PG, g^x)]$
ความช่วยเหลือใด ๆ และทั้งหมดจะได้รับการชื่นชมอย่างมาก