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