ฉันกำลังอ่านกระดาษ"ทำไมและวิธีการทำงานของ zk-SNARK" เพื่อเรียนรู้ zkSNARK และฉันประสบปัญหาในหัวข้อ 4.4 เมื่อพิสูจน์ความสามารถในการดำเนินการเดี่ยว
ในส่วนนี้จะพยายามสร้างโปรโตคอลเพื่อตรวจสอบว่าผู้พิสูจน์มีความสามารถในการคูณ ให้เลขสองตัว $ข$ และ $ค$ และพยายามตรวจสอบผลลัพธ์ของการคูณ ตัวพิสูจน์สร้างพหุนาม $l(x)$ และ $r(x)$ ซึ่งตอบสนอง: $l(a)=b,\ r(a)=c$ สำหรับบางคน $a$ กำหนดโดยผู้ตรวจสอบ และได้รับ $o(x)$ นั่น $o(a)=b*c$ผู้ตรวจสอบจำเป็นต้องยืนยันว่า $p(x) = l(x)*r(x)-o(x)$ มีจุดศูนย์ของ $a$ซึ่งหมายความว่าผู้พิสูจน์มีความสามารถในการคูณ
ในขณะที่โปรโตคอลที่กล่าวถึงในตอนท้ายของหัวข้อ 4.4 ไม่มีอะไรเกี่ยวกับตัวเลข $ข$ และ $ค$และผู้ตรวจสอบไม่ได้ยืนยันว่าพหุนามเป็นไปตามคุณสมบัติที่ต้องการ $l(ก)=b$...ดังนั้น ถ้าฉันเป็นผู้พิสูจน์ ฉันสามารถสร้างพหุนามใดๆ ก็ได้หากพวกเขาพอใจ $l(x)*r(x)-o(x) = (x-a)h(x)$ไม่มีอะไรเกี่ยวกับการคูณ? ฉันคิดว่าฉันมีบางอย่างผิดปกติ แต่ฉันไม่รู้จริงๆว่ามันคืออะไร...
คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา
