โปรโตคอล Signal ได้รับการยอมรับว่าเป็นมาตรฐานทองคำสำหรับการส่งข้อความแบบเข้ารหัสแบบต้นทางถึงปลายทาง และโปรโตคอลเดียวกันนี้ยังถูกใช้โดย WhatsApp และ Google Messages ด้วย การทำงานนี้ถูกบรรยายว่าเป็น “การพัฒนาครั้งสำคัญ”
Formal verification คือการพิสูจน์ทางคณิตศาสตร์ว่าอัลกอริทึมการเข้ารหัสหรือโปรโตคอลนั้นตรงตามข้อกล่าวอ้างด้านความปลอดภัยภายใต้ทุกเงื่อนไข ซึ่งแตกต่างจากการทดสอบแบบดั้งเดิมที่พยายามค้นหาช่องโหว่เท่านั้น
การใช้ AI เพื่อดำเนินการ Formal verification ถือเป็นความก้าวหน้าครั้งใหญ่ แต่การคำนวณนั้นต้องใช้พลังงานสูงมาก ทำให้ยังไม่ชัดเจนว่าจะนำไปใช้ในวงกว้างได้อย่างไร
นักวิจัย DeepMind เน้นย้ำว่าการค้นพบนี้เป็นเพียงหมุดหมายเล็กๆ ในกระบวนการที่ใหญ่กว่า โดยการวิเคราะห์ครั้งนี้ใช้เวลาสี่สัปดาห์ และการตรวจสอบนี้ครอบคลุมที่ตัวโปรโตคอล ไม่ใช่แอปพลิเคชันทั้งหมด
ศัพท์ที่ควรรู้
- Signal protocol – โปรโตคอลการเข้ารหัสที่ใช้ในแอป Signal ซึ่งเป็นมาตรฐานสูงสุดสำหรับการสื่อสารแบบเข้ารหัส
- Formal verification – กระบวนการพิสูจน์ทางคณิตศาสตร์ว่าอัลกอริทึมมีความปลอดภัยตามที่กล่าวอ้างภายใต้ทุกเงื่อนไข
- Agentic AI – การใช้ปัญญาประดิษฐ์ที่สามารถดำเนินการเฉพาะอย่างเพื่อช่วยในการวิเคราะห์ที่ซับซ้อน
- End-to-end encrypted messaging – การส่งข้อความที่เข้ารหัสตั้งแต่ต้นทางจนถึงปลายทาง ทำให้บุคคลที่สามไม่สามารถอ่านเนื้อหาได้
ที่มา: 9to5Mac