หลังจากอ่านคำอธิบายของ ZK-SNARK จาก ที่นี่, ที่นี่, และ ที่นี่ฉันยังไม่เข้าใจบางสิ่ง
การตั้งค่าอัลกอริทึมใช้ QAP ในการคำนวณพหุนาม P(x) = L(x) * R(x) - O(x) เช่นเดียวกับตัวหารเป้าหมายพหุนาม t(x) เพื่อแสดงรูปแบบทั่วไปของการคำนวณเป้าหมาย . จากนั้นเพื่อสร้างหลักฐานพิสูจน์
หากผู้พิสูจน์ทราบ t(x) อะไรที่ทำให้ไม่สามารถเลือก h(x) แบบสุ่ม คำนวณ h(x) * t(x) และปลอมแปลง L(x), R(x) และ O(x) ด้วย ลำดับที่ถูกต้อง? มันจะผ่านการตรวจสอบยืนยัน "ไม่เหลือ" มันจะยังคงเป็นพหุนาม (การรวมกันเชิงเส้นของ E(s^d)) ดังนั้นควรตรวจสอบการเปลี่ยนแปลงด้วยเช่นกัน
ฉันพลาดอะไรไป
โปรดแจ้งให้ฉันรับทราบปัญหาที่เหมาะสมในแง่ของ QAP อาจละเว้น R1CS ซึ่งไม่ใช่ประเด็นสำหรับคำถามนี้
โปรดจำไว้ว่า (1) การตรวจสอบที่ "มีประสิทธิภาพ" (รวบรัด) เป็นเป้าหมายของ snarks และ (2) มีความลับ (พยาน) พหุนาม "ผสม" $L(), R(), O(), h()$. ขาดสองจุด: (1) พหุนามได้รับการประเมินที่จุดสุ่ม $\tau$ ซ่อนเร้นจากผู้พิสูจน์ ("ขยะพิษ") และ (2) เส้นโค้งวงรีและการทำงานแบบทวิเนียร์ (การจับคู่)
พหุนามประเมินที่ $\tau$ ถูกส่งไปตรวจสอบเป็นองค์ประกอบกลุ่มสมการการตรวจสอบจะเทียบเท่ากับที่ระบุไว้ในคำถาม โดยขึ้นอยู่กับข้อผิดพลาดความสมบูรณ์เล็กน้อย (ความน่าจะเป็น) ที่ประเมินด้วยบทแทรกของ Schwartz-Zippel
คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา
