CertiK hợp tác với Ant Group để tiến hành nghiên cứu xác minh chính thức cho dự án "Star Bloom".

Theo Foresight News, công ty bảo mật Web3 CertiK đã hợp tác với Ant Group's Ant Group Cloud để công bố một nghiên cứu mới nhất, chính thức hóa việc xác minh các thành phần cốt lõi của hệ điều hành mã nguồn mở đa năng thế hệ tiếp theo "Asterinas". Asterinas được phát triển dựa trên Rust và tương thích với các ứng dụng Linux. Công trình này thể hiện những tiến bộ đáng kể trong việc xác minh chính thức các hệ điều hành Rust, nâng cao mức độ bảo mật của chúng lên tiêu chuẩn "mức chứng minh toán học" và cung cấp những ý tưởng mới nhằm tăng cường bảo mật cho các hệ điều hành đa năng thế hệ tiếp theo.

Theo Foresight News, công ty bảo mật Web3 CertiK đã hợp tác với Ant Group's Ant Group Cloud để công bố một nghiên cứu mới nhất, chính thức hóa việc xác minh các thành phần cốt lõi của hệ điều hành mã nguồn mở đa năng thế hệ tiếp theo "Asterinas". Asterinas được phát triển dựa trên Rust và tương thích với các ứng dụng Linux. Công trình này thể hiện những tiến bộ đáng kể trong việc xác minh chính thức các hệ điều hành Rust, nâng cao mức độ bảo mật của chúng lên tiêu chuẩn "mức chứng minh toán học" và cung cấp những ý tưởng mới nhằm tăng cường bảo mật cho các hệ điều hành đa năng thế hệ tiếp theo.