Google DeepMind dùng AlphaProof Code chứng minh Signal protocol an toàn
A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
Tóm tắt nhanh
- Google DeepMind đã dùng một phân tích formal verification kéo dài 4 tuần để chứng minh Signal protocol an toàn, đánh dấu một bước tiến lớn cho bảo mật AI và mật mã học.
- Kết quả này là sự xác nhận độc lập cho công nghệ mã hóa đang bảo vệ tin nhắn trên Signal, Google Messages và WhatsApp.
- DeepMind cho biết họ không tìm thấy lỗ hổng mới trong phần protocol được kiểm tra, và khi thử trên các phiên bản Signal cũ có lỗi đã biết, hệ thống đã nhận diện đúng các lỗi đó.
- Nghiên cứu được thực hiện bằng khung AI mới mang tên AlphaProof Code, nhằm hỗ trợ agentic AI trong formal verification.
- Nhóm nghiên cứu nhấn mạnh rằng họ mới chỉ kiểm tra protocol, chưa formal verify toàn bộ ứng dụng Signal trên di động.
- Google cho biết vẫn chưa rõ cách tiếp cận này có thực tế để dùng rộng rãi hay không, vì formal verification bằng AI rất tốn tài nguyên tính toán.
- DeepMind và Signal Foundation đã tận dụng được một phần công việc formal verification trước đó, giúp rút ngắn thời gian nghiên cứu.
- Signal sẽ công bố specification và proof mà DeepMind phát triển để hỗ trợ các nỗ lực formal verification khác.
- Google không tiết lộ chi phí phân tích và cũng chưa cho biết có kế hoạch tung ra sản phẩm hay dịch vụ formal verification thương mại hay không.
Tóm tắt tự động bằng AI từ 2 nguồn, có thể có sai sót. Hãy kiểm chứng ở bài gốc.
Trích đoạn bài gốc
DeepMind researchers were able to formally verify that the widely used encryption protocol works as intended. Their stretch goal? Do the same for “all the software of the world.”2 nguồn đưa tin
Tapview chỉ hiển thị tiêu đề, trích đoạn ngắn, tóm tắt và đường dẫn tới bài gốc. Nội dung gốc thuộc bản quyền của WIRED.
