Shamir Secret Sharing Scheme (SSS) สามารถตรวจสอบโดยใช้เครื่องมือยืนยันอัตโนมัติ เช่น AVISPA ได้หรือไม่ ฉันอ่านคู่มือ HLPSL ว่าเราไม่สามารถใช้การคำนวณทางคณิตศาสตร์หรือการดำเนินการสัมพัทธ์ เช่น +,-,< ...ฯลฯ ในคำอธิบาย HLPSL ของโปรโตคอล ดังนั้นเราจึงไม่สามารถใช้สูตรการแก้ไขของ LaGrange ได้?!! การตรวจสอบโปรโตคอลทั้งหมดมีข้อจำกัดนี้หรือไม่
(มีเครื่องมือตรวจสอบโปรโตคอลอื่น ๆ แต่เมื่อเร็ว ๆ นี้ฉันคุ้นเคยกับ AVISPA)
คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา
