ฉันกำลังศึกษา Zero Knowledge Proof ฉันพบคำจำกัดความของ Interactive Proof ที่ระบุว่า Verifier คือ ppt และฉันพบเพียงใน PP (ความซับซ้อน) วิกิพีเดีย บอกว่า พิกัด:
เครื่องจักรทัวริงที่มีพันธะพหุนามและน่าจะเป็น ลักษณะเป็น ปชปซึ่งย่อมาจาก probabilistic polynomial-time เครื่องจักร[2] ไม่จำเป็นต้องกำหนดลักษณะเฉพาะของเครื่องจักรทัวริง ความน่าจะเป็นของข้อผิดพลาดที่มีขอบเขต ดังนั้น PP จึงเป็นระดับความซับซ้อน มีปัญหาทั้งหมดที่แก้ไขได้โดยก ปชป เครื่องที่มีข้อผิดพลาด ความน่าจะเป็นน้อยกว่า 1/2
ยังสับสนมากเกี่ยวกับ PPT ชื่อเต็มของ PPT คืออะไร? เราจำเป็นต้องมีตัวตรวจสอบเป็น PPT สำหรับการพิสูจน์แบบโต้ตอบหรือไม่
แหล่งข้อมูลจาก: Zero Knowledge Proofs CS276: การเข้ารหัส, UC Berkeley
PPT เป็นอัลกอริทึมเวลาพหุนามเชิงความน่าจะเป็น
ตัวตรวจสอบเชิงกำหนดจะสร้างผลลัพธ์/การตอบกลับที่เหมือนกันเสมอสำหรับอินพุตใดๆ
ลองลำดับการโต้ตอบกัน
ผู้พิสูจน์ส่ง $p_1$.
ผู้ตรวจสอบตอบกลับด้วย $f(p_1) = v_1$
Prover ตอบกลับด้วย $g(v_1) = p_2$
ฟังก์ชั่น $f$ ซึ่งตัวตรวจสอบจะใช้เป็นตัวกำหนด เช่น สำหรับอินพุตเฉพาะ มันจะตอบกลับด้วยคำตอบเดียวกันเสมอ
ในการตรวจสอบความน่าจะเป็น $f$ ยังมีการสุ่มเป็นอินพุต เช่น. $g$ รับ 2 อินพุต $f(v_i, r)$ ที่ไหน $r$ เป็นค่าสุ่ม เพราะฉะนั้น $f$ ไม่ได้ถูกกำหนดขึ้น และผู้ตรวจสอบคือผู้ตรวจสอบความน่าจะเป็น และถ้า $f$ ทำงานในเวลาพหุนาม ตัวตรวจสอบคือตัวตรวจสอบเวลาพหุนามเชิงความน่าจะเป็น (PPT)
คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา
