โครงข่ายไฟสเทล: องค์ประกอบพื้นฐานของรหัสลับสมัยใหม่

ในช่วงต้นทศวรรษ 1970 ฮอร์สท์ ไฟสเทลแห่งฝ่ายวิจัยของ IBM กำลังทำงานกับรหัสลับลูซิเฟอร์ เมื่อเขาค้นพบแนวคิดพื้นฐานว่า เราสามารถสร้างรหัสลับที่ผกผันได้โดยใช้ฟังก์ชันรอบที่ผกผันไม่ได้

แนวคิดนี้ถือเป็นการปฏิวัติวงการ เพราะการออกแบบฟังก์ชันที่ผกผันได้และยังปลอดภัยไปพร้อมกันเป็นเรื่องยาก โครงสร้างของไฟสเทลหลีกเลี่ยงข้อกำหนดนี้ได้ทั้งหมด ทำให้สามารถใช้ฟังก์ชันรอบทางเดียวที่ซับซ้อนได้ตามต้องการ

ในรหัสลับไฟสเทล บล็อกข้อมูลนำเข้าจะถูกแบ่งเป็นสองครึ่งที่มีขนาดเท่ากัน ได้แก่ L (ซ้าย) และ R (ขวา) ในแต่ละรอบ ระบบจะใช้ฟังก์ชันรอบ F กับ R นำผลลัพธ์ไปทำ XOR กับ L แล้วจึงสลับครึ่งทั้งสอง

หลังผ่าน n รอบ ครึ่งทั้งสองจะถูกนำกลับมารวมกันเพื่อสร้างข้อความเข้ารหัส การสลับนี้ทำให้ครึ่งทั้งสองถูกประมวลผลสลับกันในแต่ละรอบ และผสมข้อมูลเข้าด้วยกันอย่างทั่วถึง

ฟังก์ชันรอบ F ในเครือข่ายไฟสเทลรับครึ่งด้านขวาและกุญแจย่อยประจำรอบเป็นข้อมูลนำเข้า แล้วสร้างผลลัพธ์เพื่อนำไปทำ XOR กับครึ่งด้านซ้าย ที่สำคัญคือ F ไม่จำเป็นต้องผกผันได้

F สามารถมีความซับซ้อนได้ตามต้องการ เช่น ประกอบด้วยการแทนที่ การเรียงสับเปลี่ยน การทำ XOR และเลขคณิตแบบมอดูลัสในรูปแบบใดก็ได้ ยิ่ง F ซับซ้อนและไม่เป็นเชิงเส้นมากเท่าใด รหัสลับก็ยิ่งแข็งแกร่งมากขึ้น เพราะการถอดรหัสไม่จำเป็นต้องผกผัน F

การถอดรหัสในรหัสลับไฟสเทลใช้โครงสร้างเดียวกันทุกประการกับการเข้ารหัส แต่ใช้กุญแจย่อยประจำรอบในลำดับย้อนกลับ วิธีนี้เป็นไปได้เพราะ XOR เป็นการผกผันตัวเอง หาก A XOR B = C แล้ว C XOR B = A

เนื่องจากการถอดรหัสไม่เคยเรียกใช้ F^-1 ซึ่งเป็นฟังก์ชันผกผันของ F ฟังก์ชันรอบจึงอาจเป็นฟังก์ชันแฮชที่ย้อนกลับไม่ได้ ตารางค้นหา หรือการดำเนินการซับซ้อนรูปแบบใดก็ได้ โดยไม่กระทบต่อความสามารถในการผกผันของรหัสลับ

ความสง่างามทางคณิตศาสตร์ของเครือข่ายไฟสเทลอยู่ที่โครงสร้าง XOR ซึ่งรับประกันความสามารถในการผกผัน ไม่ว่า F จะทำงานอย่างไร แม้ F จะเป็นฟังก์ชันทางเดียวอย่าง SHA-256 รหัสลับไฟสเทลโดยรวมก็ยังคงผกผันได้

คุณสมบัตินี้ทำให้รหัสลับไฟสเทลมีความยืดหยุ่นอย่างยิ่ง นักวิทยาการรหัสลับสามารถมุ่งเน้นทั้งหมดไปที่การทำให้ F สร้างความสับสนและแพร่กระจายข้อมูลได้มากที่สุด โดยมั่นใจได้ว่าโครงสร้างเครือข่ายจะจัดการเรื่องความสามารถในการผกผันให้เอง

มาตรฐานการเข้ารหัสข้อมูล (DES) ซึ่งเผยแพร่ในปี 1977 เป็นรหัสลับไฟสเทล 16 รอบ ทำงานกับบล็อกขนาด 64 บิตและกุญแจขนาด 56 บิต แต่ละรอบใช้กุญแจย่อยขนาด 48 บิตที่แตกต่างกัน ซึ่งสร้างมาจากกุญแจหลัก

ฟังก์ชันรอบใน DES ประกอบด้วยการเรียงสับเปลี่ยนเพื่อขยาย การทำ XOR กับกุญแจย่อย กล่อง S จำนวนแปดกล่องที่สร้างความไม่เป็นเชิงเส้น และการเรียงสับเปลี่ยนด้วยกล่อง P การผสมผสานนี้ให้ทั้งความสับสนและการแพร่กระจายตามหลักการออกแบบรหัสลับของแชนนอน

โบลว์ฟิช ซึ่งออกแบบโดยบรูซ ชไนเออร์ในปี 1993 เป็นรหัสลับไฟสเทลที่มีความยาวกุญแจแปรผันได้ตั้งแต่ 32 ถึง 448 บิต และมี 16 รอบ รหัสลับนี้ใช้กล่อง S ที่ขึ้นอยู่กับกุญแจ ทำให้การโจมตีที่คำนวณไว้ล่วงหน้าไม่สามารถทำได้จริง

ทูฟิช ซึ่งเข้ารอบสุดท้ายในการแข่งขันเพื่อคัดเลือกมาตรฐานการเข้ารหัสขั้นสูง ต่อยอดแนวคิดของโบลว์ฟิชด้วยบล็อกขนาด 128 บิตและ 16 รอบ ทั้งสองรหัสลับยังไม่ถูกทำลาย และถูกใช้ในโปรแกรมต่าง ๆ เช่น การแฮชรหัสผ่านแบบบีคริปต์ ซึ่งใช้โบลว์ฟิชดัดแปลง

รหัสลับไฟสเทลแบบสมดุลแบ่งบล็อกออกเป็นสองครึ่งที่มีขนาดเท่ากัน ส่วนไฟสเทลแบบไม่สมดุลใช้ครึ่งที่มีขนาดไม่เท่ากัน เช่น แบ่งเป็นสามส่วนสี่และหนึ่งส่วนสี่

เครือข่ายไฟสเทลแบบไม่สมดุลอาจให้ข้อได้เปรียบด้านความปลอดภัยในบริบทบางประเภท และถูกใช้ในรหัสลับเฉพาะทางบางชนิด ตระกูลรหัสลับ CAST ใช้โครงสร้างไฟสเทลแบบสมดุลขนาด 64 บิต

ในปี 1988 ไมเคิล ลูบีและชาร์ลส์ แร็กคอฟฟ์พิสูจน์ว่าเครือข่ายไฟสเทล 3 รอบที่ใช้ฟังก์ชันรอบเสมือนสุ่ม จะเป็นการเรียงสับเปลี่ยนเสมือนสุ่มที่ปลอดภัย (PRP) และรูปแบบ 4 รอบจะเป็น PRP ที่แข็งแกร่ง

ผลลัพธ์ทางทฤษฎีนี้ทำให้เครือข่ายไฟสเทลมีพื้นฐานด้านความปลอดภัยที่พิสูจน์ได้อย่างมั่นคง ไม่ได้อาศัยเพียงความเชื่อมั่นจากการทดลองเท่านั้น และยืนยันว่าโครงสร้างไฟสเทลเองก็มีส่วนช่วยด้านความปลอดภัย นอกเหนือจากฟังก์ชันรอบ

เครือข่ายการแทนที่–การเรียงสับเปลี่ยน (SPN) ที่ใช้ในมาตรฐานการเข้ารหัสขั้นสูง จะทำการแทนที่และเรียงสับเปลี่ยนกับทั้งบล็อกพร้อมกัน แทนที่จะทำกับบล็อกเพียงครึ่งเดียวในแต่ละรอบ จึงทำให้ข้อมูลแพร่กระจายได้เร็วกว่า

มาตรฐานการเข้ารหัสขั้นสูงทำให้เกิดการแพร่กระจายทั่วทั้งบล็อกได้ภายในเพียง 4 รอบ ขณะที่โครงสร้างไฟสเทลของ DES ต้องใช้รอบมากกว่านั้นเพื่อให้เกิดการแพร่กระจายในระดับใกล้เคียงกัน นอกจากนี้ SPN ของมาตรฐานการเข้ารหัสขั้นสูงยังเหมาะกับสถาปัตยกรรมตัวประมวลผลสมัยใหม่ที่มีคำสั่ง SIMD มากกว่า

ทฤษฎีบทลูบี–แร็กคอฟฟ์ถือว่าฟังก์ชันรอบ F เป็นฟังก์ชันสุ่มแท้จริง แต่ในทางปฏิบัติ F เป็นฟังก์ชันเสมือนสุ่ม ซึ่งอาจเป็นรหัสลับที่ใช้กุญแจหรือฟังก์ชันแฮช ไม่ใช่ออราเคิลสุ่มแท้จริง

ช่องว่างระหว่างการพิสูจน์ทางทฤษฎีกับการนำไปใช้งานจริงเป็นประเด็นที่พบซ้ำบ่อยในวิทยาการรหัสลับ การพิสูจน์ช่วยสร้างความเชื่อมั่น แต่ตั้งอยู่บนแบบจำลองในอุดมคติ ความปลอดภัยในโลกจริงยังขึ้นอยู่กับการนำไปใช้งานที่ปลอดภัยและปราศจากช่องโหว่จากช่องทางข้างเคียง

โปรดทดสอบความเข้าใจเกี่ยวกับการออกแบบเครือข่ายไฟสเทล

เครือข่ายไฟสเทลเป็นโครงสร้างของรหัสลับแบบบล็อกที่ใช้ฟังก์ชันรอบซึ่งไม่จำเป็นต้องผกผันได้ การถอดรหัสทำได้โดยดำเนินตามโครงสร้างเดิมในลำดับย้อนกลับ และใช้กุญแจย่อยในลำดับย้อนกลับ

DES โบลว์ฟิช และทูฟิช ล้วนเป็นรหัสลับไฟสเทล ทฤษฎีบทลูบี–แร็กคอฟฟ์ให้หลักประกันด้านความปลอดภัยในทางทฤษฎี ส่วนมาตรฐานการเข้ารหัสขั้นสูงใช้โครงสร้าง SPN แทน จึงให้การแพร่กระจายต่อรอบได้ดีกว่า