ถูกต้องตามกฎหมายหรือไม่?
ไม่ และคุณเข้าใจเหตุผลแล้ว อัลกอริทึมจะแปลงข้อความเป็นชุดค่า 16 ค่าตั้งแต่ 1 ถึง 128 จากนั้นจึงเซ็นตามค่านั้นเท่านั้น นั่นคือทั้งหมด 112 บิต; อันที่จริง มันค่อนข้างแย่กว่านั้น เนื่องจากอัลกอริทึมที่ใช้ในการแปลงแฮชข้อความเป็นชุดค่า 16 จะสร้างค่าที่รวม (mod 128) เป็น 64 เสมอ ซึ่งหมายความว่าด้วยคู่ข้อความ/ลายเซ็นที่ถูกต้อง คุณจะพบรูปภาพที่สองที่แปลเป็นค่า 15 ค่าแรกเหมือนกัน [1] (และจะเป็นข้อความที่ถูกต้องสำหรับลายเซ็นเดียวกัน) โดยคาดว่าจะมี $O(2^{105})$ ความพยายาม. ที่แย่ไปกว่านั้น เนื่องจากการแปลไม่เกี่ยวข้องกับการสุ่ม คุณจึงคาดได้ว่าจะพบการชนกัน (จากนั้นขอให้เซ็นข้อความหนึ่งข้อความ ข้อความที่สองที่มีลายเซ็นเดียวกันนั้นจะเป็นการปลอมแปลง) โดยคาดว่า $O(2^{52.5})$ ความพยายาม.
กระดาษยังสร้างข้อความที่ผิดพลาดเป็นชุดๆ นี่คือสิ่งที่กระโดดออกมาหาฉัน:
พวกเขาอ้างว่า "โครงร่าง OTS/FTS ประเภทอื่นๆ (ยกเว้น WOTS และ
ตัวแปร) ไม่สามารถอนุญาตให้มีการคำนวณของ
รหัสสาธารณะจากลายเซ็นเว้นแต่จะมีชุดเพิ่มเติมจำนวนมาก
ข้อมูลถูกจัดเตรียมให้กับผู้ตรวจสอบ"; สิ่งนี้ไม่ถูกต้อง สำหรับรูปแบบลายเซ็นตามแฮชทั้งหมดที่ฉันเคยเห็น กระบวนการตรวจสอบคือ "รับข้อความ ลายเซ็น และข้อมูลจำนวนเล็กน้อยจากคีย์สาธารณะ คำนวณชุดของแฮช และถ้าผลลัพธ์ตรงกับสิ่งที่อยู่ในพับลิกคีย์ คุณก็ชนะ" นั่นคือ สิ่งที่คุณต้องสร้างพับลิกคีย์ใหม่ก็คือ "ข้อมูลจำนวนน้อย" ไม่ใช่ "ชุดข้อมูลเพิ่มเติมขนาดใหญ่" ". ประเด็นเล็กน้อยยกเว้นที่พวกเขาเน้นซ้ำ ๆ
การประเมินของพวกเขาซึ่งประกอบด้วยการเปรียบเทียบกับรูปแบบลายเซ็นตามแฮชอื่น ๆ ที่เลือก (แต่ไม่มีพารามิเตอร์ W ขนาดใหญ่) อย่างไรก็ตามพวกเขายืนยันว่าพวกเขาใช้รูปแบบการแข่งขันที่มีขนาดแฮชที่ใหญ่เกินจริง (ค่า n) - พวกเขาทราบว่ารูปแบบของพวกเขา (ซึ่งมีพารามิเตอร์ W ขนาดใหญ่และค่า n น้อยกว่า) ส่งผลให้ลายเซ็นมีขนาดเล็กลง ไม่น่าแปลกใจเมื่อพวกเขาวางนิ้วโป้งลงบนตราชั่งอย่างหนัก
พวกเขายังระบุด้วยว่า "ในที่สุด NOTS ก็ประสบความสำเร็จในการลดทั้งหมดนี้
ในขนาดคีย์และลายเซ็นโดยไม่กระทบต่อระดับความปลอดภัย" แม้ว่าการดูตารางอย่างรวดเร็วจะแสดงให้เห็นว่าพวกเขาอ้างว่า NOTS มีระดับความปลอดภัยที่ต่ำกว่ามาก (ไม่นับประเด็นที่ฉันกล่าวไว้ข้างต้นเกี่ยวกับวิธีที่ไม่บรรลุผลดังกล่าวด้วยซ้ำ)
สำหรับการพิสูจน์ความปลอดภัยนั้น ประกอบไปด้วยอัลกอริธึมที่พวกเขาจัดเตรียมไว้ซึ่งจะปลอมแปลงและทำให้เกิดการชนกัน อย่างไรก็ตาม การผ่านอัลกอริธึมแสดงให้เห็นว่า แม้ว่าจะได้รับการปลอมแปลง ก็สามารถล้มเหลวได้ (นั่นคือ ไม่ก่อให้เกิดการชนกัน); ดังนั้นจึงเป็นโมฆะเป็นหลักฐาน
[1]: เมื่อคุณเริ่มการแข่งขันครั้งแรกใน 15 คนแรก คุณจะได้การแข่งขันในวันที่ 16 เสมอ