Score:1

หลักฐานความรู้โดยละเอียดสำหรับบันทึกแบบไม่ต่อเนื่อง

ธง gb

ฉันมีปัญหาในการหาหลักฐานโดยละเอียดสำหรับหนึ่งในโปรโตคอลพื้นฐานที่สุดในการเข้ารหัส นั่นคือโปรโตคอล Schnorr หรือโปรโตคอล sigma สำหรับการพิสูจน์ความรู้ของบันทึกที่ไม่ต่อเนื่อง

การพิสูจน์ส่วนใหญ่ฉันสามารถหาความเงาเหนือเวลาการทำงานของตัวแยกหรือเพียงแค่ถือว่าตัวพิสูจน์ทำงานได้ด้วยความน่าจะเป็น 1 แต่ตัวพิสูจน์สามารถประสบความสำเร็จด้วยความน่าจะเป็นเท่าใดก็ได้ $\epsilon > 1/2^\แลมบ์ดา$ และเครื่องสกัดจะต้องทำงานตามเวลาที่กำหนด $poly(\lambda)/(\epsilon-1/2^\lambda)$. นอกจากนี้ ผู้แยกไม่มีอำนาจควบคุมผู้พิสูจน์ ยกเว้นสิ่งที่ท้าทายนั้นส่งไปยังผู้พิสูจน์ (เช่น การสุ่มของผู้พิสูจน์ไม่ขึ้นอยู่กับผู้แยก) เกณฑ์เหล่านี้มาจากสิ่งที่ฉันเข้าใจว่าเป็นคำจำกัดความที่ยอมรับกันโดยทั่วไปของ 'การพิสูจน์ความรู้' จาก ในการกำหนดหลักฐานความรู้.

ฉันจะหาหลักฐานที่ยอมรับได้ซึ่งเป็นไปตามเกณฑ์เหล่านี้ได้จากที่ใด

โพสต์คำตอบ

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