Tin tức Foresight cho biết, theo tin từ Netease, công ty an ninh Web3 CertiK và Ant Group thuộc Ant Quantum Computing đã phát hành công trình nghiên cứu mới nhất, thực hiện xác minh hình thức cho các thành phần cốt lõi của hệ điều hành mã nguồn mở đa mục đích thế hệ tiếp theo "Asterinas". Asterinas được phát triển dựa trên Ren, tương thích với các ứng dụng Linux. Công việc này thể hiện những tiến bộ quan trọng trong việc xác minh hình thức đối với hệ điều hành Ren, thúc đẩy an ninh của nó đạt đến tiêu chuẩn "chứng minh toán học", và cung cấp một hướng tiếp cận mới để nâng cao an ninh của hệ điều hành đa mục đích thế hệ tiếp theo.
Trước đó, CertiK đã thành công trong việc hoàn thành xác minh hình thức cho nền tảng HT của Ant Quantum Computing.
