Score:0

พารามิเตอร์ c ใน FiatâShamir ฮิวริสติก

ธง ph

ตาม วิกิ มีความเป็นไปได้ของ Zero-Knowledge Proof แบบไม่โต้ตอบของลอการิทึมแบบไม่ต่อเนื่องหากมีการท้าทาย $ค$ คำนวณผ่านฟังก์ชันแฮช แต่จุดประสงค์คืออะไร $ค$? ทำไมฉันไม่สามารถตั้งค่าเสมอ $ค=1$? มันทำให้ระบบมีช่องโหว่หรือไม่?

Score:2
ธง my

มันทำให้ระบบมีช่องโหว่หรือไม่?

ใช่; ถ้าผู้พิสูจน์ทราบเบื้องต้นว่ามีค่าเท่าใด $ค$ ที่จะใช้ ผู้พิสูจน์สามารถออกหลักฐานได้ง่าย (แม้ว่าเธอจะไม่รู้บันทึกแยกก็ตาม)

เพื่อพิสูจน์ความรู้ของล็อกไม่ต่อเนื่องของ $y$ ไปที่ฐาน $g$ผู้พิสูจน์จะส่งค่า $r$ และ $t$และตัวตรวจสอบจะตรวจสอบว่า $t \equiv g^r y^c$; หากผู้พิสูจน์เลือกโดยพลการ $r$ และคำนวณ $t = g^r y^c$และส่งค่าเหล่านั้น การตรวจสอบนี้จะตรวจสอบความถูกต้อง

ในโปรโตคอล noninteractive จริง สิ่งนี้ใช้ไม่ได้เพราะ $ค$ เป็นฟังก์ชันที่ซับซ้อนของ (เหนือสิ่งอื่นใด) $t$และด้วยเหตุนี้เธอจึงไม่สามารถเลือกโดยพลการ $t$ โดยไม่กระทบต่อมูลค่า $ค$.

Кирилл Волков avatar
ph flag
ตอนนี้ชัดเจนแล้ว ขอบคุณ!

โพสต์คำตอบ

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