องค์ประกอบกลุ่มเช่น $g^{\alpha^k}$ ที่ไหน $g$ เป็นตัวสร้างกลุ่มย่อยและองค์ประกอบฟิลด์ $\alpha$ เทียบได้กับความท้าทายของ Verifier of Schnorr protocol ที่ใช้ในการประเมินพหุนาม โดยเฉพาะอย่างยิ่ง, $g$ จะเป็นจุดโค้งวงรีของคำสั่งไพรเมอร์ $คิว$, และ $\alpha \in \mathbb{F}_q$ จะเป็นโมดูโลตกค้าง $คิว$. เศษเหลืออาจถูกพิจารณาว่าเป็นจำนวนเต็มในแง่มุมเชิงปฏิบัติทั้งหมด
ฉันกำลังผลักดันแนวคิดนี้ให้ดียิ่งขึ้นด้วยตัวอย่าง "การคูณด้วย 3" ระดับประถมศึกษาของระบบ R1CS โดยไม่เตือนถึงสิ่งตกค้าง เพียงเพื่อให้ง่ายและเป็นมิตร สามารถดูได้ที่ส่วน C กระดาษ "ซูโดกุ" ตามด้วยโค้ด c++/libsnark ระดับเริ่มต้น ซึ่งมีประโยชน์สำหรับผู้ที่เพิ่งเริ่มใช้ SNARKเอกสารนี้เกี่ยวกับการปรับใช้การตรวจสอบส่วนตัวของโซลูชัน Sudoku ลับที่นำเสนอครั้งแรกในงาน Financial Cryptography 2016 อีกครั้ง โดยเริ่มจากวิธีการตรวจสอบ Naor และการแสดงชุดพหุนาม
คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา
