ห้องปฏิบัติการวิทยาการคอมพิวเตอร์และปัญญาประดิษฐ์ (CSAIL) ที่ MIT ได้ออกแบบระบบเพื่อรันอัลกอริทึมทางคณิตศาสตร์ที่ซับซ้อน เพื่อความปลอดภัยในการสื่อสารออนไลน์ " Fiat Cryptography" ซึ่งเป็นรหัสที่ปัจจุบันมีการสื่อสารประมาณ 90 เปอร์เซ็นต์ของการสื่อสาร Google Chrome

นักวิจัยที่นำเสนอกระดาษที่ EEE เกี่ยวกับการรักษาความปลอดภัยและความเป็นส่วนตัวในเดือนพฤษภาคม แม้ว่าเทคโนโลยีเดิมจะถูกนำไปใช้ในห้องปฏิบัติการของ MIT ในปี 2018

Fiat Cryptography ได้รับการออกแบบมาเพื่อสร้างและตรวจสอบอัลกอริทึมการเข้ารหัสลับที่ปรับปรุงแล้วโดยอัตโนมัติสำหรับแพลตฟอร์มฮาร์ดแวร์ทั้งหมด ซึ่งเป็นกระบวนการที่ต้องทำด้วยมือ

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

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

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

Adam Chlipala นักวิจัย CSAIL ที่ทำงานในโครงการ ได้กล่าวในการสัมภาษณ์กับ MIT News ว่า "โดยพื้นฐานแล้วนั้นเหมือนกับการใช้กระบวนการที่วิ่งในสมองมนุษย์และเข้าใจดีพอที่จะเขียนโค้ดที่เลียนแบบกระบวนการนั้นได้"

Fiat Cryptography ได้ถูกปรับใช้โดย BoringSSL ของ Google ซึ่งเป็นห้องสมุดการเข้ารหัสโอเพ่นซอร์สที่ใช้โดย Google Chrome, แอพ Android และโปรแกรมอื่น ๆ

และในขณะนี้นักวิจัยกำลังหาวิธีที่จะทำให้ผู้รวบรวมทำงานได้เร็วขึ้นในการค้นหาอัลกอริธึมที่เหมาะสมที่สุด



แปลและเรียบเรียงโดย Traderider News
ที่มา : Coindesk