ฉันรู้ว่าหัวข้อนี้ได้รับการพูดถึงหลายครั้งบนแพลตฟอร์มนี้ อย่างไรก็ตาม ฉันยังขาดสัญชาตญาณเบื้องหลังคุณสมบัติที่ไม่มีความรู้ของระบบพิสูจน์
ฉันเข้าใจว่าเป้าหมายของการจำลองคือการจำลองการถอดเสียงจริงระหว่างผู้ตรวจสอบและผู้พิสูจน์ ดังนั้นหากเครื่องจำลองสามารถสร้างการถอดเสียงโดยไม่ต้องเข้าถึงพยานที่ผู้ตรวจสอบแยกไม่ออกจากการพิสูจน์จริง (สามารถหลอกผู้ตรวจสอบได้) เราถือว่าการพิสูจน์นั้นไม่มีความรู้
นี่คือสิ่งที่ไม่สมเหตุสมผล
ผู้ตรวจสอบใช้หลักฐานจริงในการตรวจสอบไม่ใช่หลักฐานที่สร้างขึ้นโดยจำลอง ถ้าของจำลองหลอกได้จะเกี่ยวไรกับการพิสูจน์ของจริง? Simulator มีข้อมูลพิเศษบางอย่างที่ผู้พิสูจน์ตัวจริงไม่มีหรือไม่?
แก้ไข
ด้วยความคิดเห็นที่ฉันได้รับ ความเข้าใจของฉันเปลี่ยนไปเล็กน้อย ฉันจะขอบคุณถ้าใครสามารถบอกฉันว่ามันถูกต้อง สัญชาตญาณคือผู้พิสูจน์สามารถสร้างข้อความนี้โดยใช้เครื่องจำลอง อย่างไรก็ตาม เราไม่รู้ว่าการพิสูจน์พิสูจน์ความรู้ของพยานซึ่งเป็นคุณสมบัติ "ความรู้ที่ถูกต้อง" จริงหรือไม่ ฉันถูกไหม?
พูดสั้นๆ ก็คือ เครื่องจำลองมีพลังพิเศษที่ผู้พิสูจน์ตัวจริงไม่มี
สมมติว่าอลิซต้องการพิสูจน์ให้ฉันเห็นว่าเธอเป็นนักแม่นปืนที่ดี ฉันวาดรูปเป้าหมายที่ข้างโรงนา และให้เธอยืนห่างออกไป 100 เมตร แล้วยิงมัน เธอยิงทะลุเป้าหมาย และฉันเชื่อว่าเธอเป็นนักแม่นปืนที่ยอดเยี่ยม
"การถอดเสียง" ของโปรโตคอลนี้เป็นบันทึกถาวรที่ฉันนำออกจากการโต้ตอบในกรณีนี้ มันคือด้านข้างของโรงนาที่ทาสีเป้าหมายไว้ และรูกระสุนที่เป้าเป้าของเป้าหมาย
"โปรโตคอล" นี้เป็นศูนย์ความรู้เพราะฉันสามารถสร้างการถอดเสียงได้เอง ฉันสามารถยิงรูที่ด้านข้างของโรงนาจากระยะใกล้ แล้ววาดเป้าหมายที่มีศูนย์กลางอยู่ที่รู! เมื่อฉันทำสิ่งนี้ ("จำลอง" การถอดเสียง) ฉันมีพลังมากกว่าที่อลิซทำระหว่างโปรโตคอล ฉันสามารถสร้างส่วนต่าง ๆ ของการถอดเสียงตามลำดับที่แตกต่างกันได้ ฉันสามารถยิงยุ้งฉางในระยะใกล้กว่าเธอ
ในโปรโตคอลการเข้ารหัส โปรแกรมจำลองมีพลังมากกว่าเครื่องพิสูจน์จริงเสมอ บางครั้งตัวจำลองสามารถสร้างส่วนต่าง ๆ ของการถอดเสียงในลำดับที่แตกต่างกัน บางครั้งเครื่องจำลองสามารถ "ย้อนเวลา" ได้ ดังนั้นผู้ตรวจสอบจะถามคำถาม จากนั้นเราจะย้อนเวลาและเริ่มการถอดเสียงใหม่โดยรู้ว่าผู้ตรวจสอบจะถามอะไร บางครั้งตัวจำลองมีพลังในการคำนวณมากกว่าตัวพิสูจน์จริง บางครั้งเครื่องจำลองมีข้อมูลพิเศษบางอย่างที่ผู้พิสูจน์จริงไม่มี (เช่น ประตูกลสำหรับข้อมูลอ้างอิงทั่วไปที่ใช้ในการพิสูจน์)
บทบาทสำคัญในการพิสูจน์ว่าระบบโต้ตอบมีคุณสมบัติของความรู้เป็นศูนย์นั้นเล่นโดย Simulator (S) ซึ่งจำลอง P แต่ไม่สามารถเข้าถึงพยานได้ การมีส่วนร่วมของเขามีดังนี้: V โต้ตอบกับ S เมื่อถึงจุดหนึ่ง V จะทำให้ S อยู่ใน 'ตำแหน่งที่ยาก' ที่ไม่สามารถตอบคำถามได้ เนื่องจากเขาไม่สามารถเข้าถึงพยานได้ ในกรณีนี้ เราจะคืนภาพยนตร์ V กลับสู่สถานะก่อนคำถามที่ไม่พึงประสงค์ (กรอกลับ) และเรียกใช้โปรโตคอลจากจุดนั้นเป็นต้นไป ในที่สุดถ้า V (ด้วยการย้อนกลับอย่างต่อเนื่อง) ยอมรับการพิสูจน์ของ S โปรโตคอลจะมีสถานะเป็นศูนย์ความรู้ เนื่องจาก V ไม่สามารถแยกความแตกต่างระหว่าง P ที่รู้จักพยานและ S ที่เสแสร้ง นั่นคือ V จะไม่ส่งออกข้อมูลเพิ่มเติมใด ๆ จากโปรโตคอล (เนื่องจากในกรณีที่สองไม่มีข้อมูลที่จะส่งออก)
เครื่องจำลองไม่มีพยาน การจำลองการพิสูจน์แทนพี โต้ตอบกับ V เราไม่สามารถแยกแยะการโต้ตอบ â¨S, Vâ© และ â¨P, Vâ© เรายังอนุญาตให้ย้อนกลับ: ถ้าถึงจุดหนึ่ง V 'ขอ' บางอย่างที่เขาไม่สามารถ ตอบ S แล้วหยุด - ย้อนกลับ ไม่มีความรู้ถ้า V ยอมรับในบางจุด (แม้จะมี ย้อนกลับ) ทำไม: ไม่สามารถแยกแยะ P (มีพยาน) จาก เอส (ไม่พร้อมใช้งาน) ตราบใดที่ S ยังคงเป็น PPT โดยเฉพาะ: A V ที่แยกข้อมูลจาก P จะดึงข้อมูลเดียวกันจาก S (โดยที่ไม่มีอะไรจะส่งออก)
คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา
