Các tác nhân AI đang chuyển các bằng chứng bảo mật từ thủ công sang sản xuất hàng loạt V12 và Zellic cho biết đây là bằng chứng được công bố đầu tiên bao gồm toàn bộ quá trình chạy chương trình x86, được kiểm tra trên mã máy thô mà CPU thực thi, giống như kiểm tra cây cầu đã xây dựng thay vì bản vẽ thiết kế, và một chương trình tương tự khác chỉ cần thêm 739 dòng mã mới. Việc có được đảm bảo bảo mật có thể kiểm chứng về chính chương trình đã biên dịch, với ít lớp hơn phải tin tưởng, sẽ rất hữu ích. Việc tái sử dụng những phần khó nhất có nghĩa là chương trình tương tự tiếp theo sẽ tốn ít công sức hơn để xác minh, điều này có thể khiến các bằng chứng bảo mật nghiêm ngặt trở nên khả thi ở quy mô lớn! Cần lưu ý rằng đây là kết quả của chính họ, và họ thừa nhận mô hình x86 của họ vẫn đang trong quá trình phát triển và chưa được kiểm toán bởi con người, nhưng sẽ rất tuyệt vời nếu điều này có thể mở rộng quy mô. https://t.co/CS5gv6j3uz