Score:1

ตัวแยกในความรู้-ความสมบูรณ์ เทียบกับตัวแยกในการจำลองแบบขยายพยาน

ธง cn

ในนิยามความสมบูรณ์ของความรู้ หน้า 8 ของ Groth16มันบอกว่า: Extractor สามารถเข้าถึงสถานะของฝ่ายตรงข้ามได้อย่างเต็มที่ รวมถึงเหรียญสุ่มใดๆ คำถามของฉันคือทำไมต้องเข้าถึงแบบเต็ม ทำไมเราไม่พูดว่า oracle เข้าถึงฝ่ายตรงข้าม?

จากนั้นในคำจำกัดความของการเลียนแบบพยานขยาย (WEE) ใน กันกระสุน (หน้า 10) พวกเขากล่าวว่าตัวแยกข้อมูลมีการเข้าถึงของ oracle เพื่อบันทึกการโต้ตอบระหว่างฝ่ายตรงข้าม (ผู้พิสูจน์ที่ประสงค์ร้าย) และผู้ตรวจสอบ

ฉันไม่เข้าใจ

  1. เหตุใดในความรู้ที่ถูกต้องตัวแยกข้อมูลจึงสามารถเข้าถึงศัตรูได้อย่างเต็มที่ (ทำไมไม่ใช่แค่การเข้าถึงของ oracle)
  2. ทำไมใน WEE จึงไม่สามารถเข้าถึงได้เต็มรูปแบบ[ใส่คำอธิบายลิงก์ที่นี่][1]
ming alex avatar
in flag
ตามแนวคิดแล้ว ฉันเดาว่าตัวแยกความรู้นั้นเทียบเท่ากับเครื่องออราเคิล เครื่องแยกใช้เพื่อพิสูจน์ความสมบูรณ์เป็นพิเศษ เช่น การพิสูจน์ความรู้ที่ถูกต้องดังนั้นเราจึงจำเป็นต้องสร้างเครื่องสกัดที่ทรงพลังเพื่อโต้ตอบกับผู้พิสูจน์เพื่อให้ได้พยาน วิธีที่รู้จักกันดีเรียกว่า "การย้อนกลับ" ซึ่งสามารถย้อนกลับการกระทำของผู้พิสูจน์เพื่อดึงความลับออกมา ดังนั้น หากเราต้องการพิสูจน์ความสมบูรณ์เป็นพิเศษ เราต้องพิสูจน์การมีอยู่ของเครื่องสกัดโดยใช้กลยุทธ์พิเศษบางอย่าง

โพสต์คำตอบ

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