Score:0

ลอการิทึมแบบไม่ต่อเนื่องหลายตัวพิสูจน์ความรู้เป็นศูนย์

ธง ph

ตาม วิกิ มีแนวทางการพิสูจน์ความรู้ $x$ ดังนั้น $g^x = y$. ฉันจะพิสูจน์ได้อย่างไรว่าฉันรู้ $x_1, x_2$ ดังนั้น $g^{x_1} = y_1, g^{x_2}=y_2$. แน่นอน ฉันสามารถทำการพิสูจน์เหล่านี้แยกกันได้ แต่ฉันต้องการที่จะรวมเข้าด้วยกันเป็นหนึ่งเดียว ความคิดของฉันคือการพิสูจน์ว่าฉันรู้เรื่องนี้ $x = x_1 + x_2$ นั่น $g^x = y_1 y_2$. แต่จะปลอดภัยหรือไม่? ไม่ทำให้ระบบเสี่ยง?

Score:0
ธง my

แต่จะปลอดภัยหรือไม่?

ความรู้เรื่อง $x_1 + x_2$ ไม่ได้หมายความว่าคุณรู้เช่นกัน $x_1$ หรือ $x_2$.

ในทางกลับกัน หากคุณต้องพิสูจน์ความรู้ $r_1x_1 + r_2x_2$สำหรับการสุ่ม (เช่น เลือกโดยผู้ตรวจสอบหรือ Oracle แบบสุ่ม) $r_1, r_2$ ค่าที่จะเป็นหลักฐานความรู้ที่เป็นศูนย์ของความรู้ทั้งสอง $x_1, x_2$

สิ่งนี้สามารถทำได้โดยการขยายการพิสูจน์ความรู้ที่เป็นศูนย์แบบเลขชี้กำลังเดียวด้วยวิธีที่ค่อนข้างง่าย:

  • ผู้พิสูจน์ส่ง $ก^v$ ไปยังผู้ตรวจสอบ (สำหรับการสุ่มบางอย่าง $v$)

  • ผู้ตรวจสอบส่งแบบสุ่ม $c, d$ แก่ผู้พิสูจน์

  • ผู้พิสูจน์ส่ง $r = v - cx_1 - dx_2$ เพื่อตรวจสอบ

  • ผู้ตรวจสอบยอมรับถ้า $g^v = g^r (g^{x_1})^c (g^{x_2})^d$

Кирилл Волков avatar
ph flag
สามารถสร้าง $c$ และ $d$ ผ่านฟังก์ชันแฮชได้หรือไม่
poncho avatar
my flag
@ÐиÑиллÐолков: ใช่; สำหรับตัวอย่างของฉัน ฉันทำเวอร์ชันอินเทอร์แอกทีฟ - มันตรงไปตรงมาที่จะเปลี่ยนเป็นโปรโตคอลที่ไม่ใช่อินเทอร์แอคทีฟ
Кирилл Волков avatar
ph flag
ขอบคุณมาก!!
Кирилл Волков avatar
ph flag
ฉันสามารถขยายอัลกอริทึมสำหรับ $x_1, x_2, x_3, \ldots, x_n$ ในลักษณะเดียวกันได้หรือไม่
poncho avatar
my flag
@ÐиÑиллÐолков: ใช่ มันทำงานในลักษณะที่ชัดเจน
Кирилл Волков avatar
คุณรู้ไหม ฉันจะหาหลักฐานของโครงการที่เสนอได้ที่ไหน

โพสต์คำตอบ

คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา