เมื่อใช้ฟังก์ชันแฮช H คุณสมบัติต่างๆ เช่น ความต้านทานการชน ความต้านทานการชนของเป้าหมาย ทิศทางเดียว และความไม่อ่อนตัวได้รับการพิสูจน์อย่างไร ฉันได้อ่านเกี่ยวกับฟังก์ชันแฮชและระบุว่าสามารถป้องกันการชนกัน แต่ได้รับการพิสูจน์อย่างเป็นทางการอย่างไร หากฟังก์ชันแฮชมีคุณสมบัติตรงตามคุณสมบัติทั้งหมด มันจะทำหน้าที่เป็นแบบจำลอง oracle แบบสุ่มหรือไม่
คุณไม่สามารถพิสูจน์คุณสมบัติเหล่านี้ได้จากสัจพจน์ของ ZF เพื่อความเป็นทางเดียว เช่น ย่อมปริยายว่า $FNP\neq FP$ และด้วยเหตุนี้ $P\neq NP$ซึ่งเรียกได้ว่าเป็นปัญหาหนัก
วิธีดั้งเดิมในการพิจารณาฟังก์ชันแฮชว่าป้องกันการชนกัน ทางเดียว ฯลฯ คือการเสนอต่อสาธารณะและรอดูว่านักวิเคราะห์คริปโตพบการโจมตีหรือไม่ (แน่นอน คุณต้องแน่ใจว่าผู้คนจะสนใจ นี้ - เพราะมีรางวัลใหญ่ เป็นต้น)
คุณยังสามารถสร้างฟังก์ชันแฮชตามฟังก์ชันแฮชที่ได้รับการศึกษาอย่างดีแล้ว (เช่น SHA-3) และพิสูจน์ว่าคุณสมบัติด้านความปลอดภัยของฟังก์ชันแฮชที่ได้รับการศึกษาอย่างดีบ่งบอกถึงคุณสมบัติด้านความปลอดภัยของฟังก์ชันใหม่ เราเรียกอาร์กิวเมนต์ประเภทนี้ว่าความปลอดภัยที่พิสูจน์ได้
คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา
