CertiK kết hợp Ant CryptoComputing bảo vệ Starblossom OS

Ngày 14 tháng 3, theo NetEase News, CertiK – một gã khổng lồ trong lĩnh vực an ninh Web3 đã hợp tác với Ant Computing của Ant Group công bố công trình nghiên cứu mới nhất. Dự án này tiến hành xác minh hình thức cho các thành phần lõi của hệ điều hành mã nguồn mở thế hệ tiếp theo, Asterinas. Được phát triển trên nền tảng Rust và tương thích với các ứng dụng Linux, Asterinas đã đạt được tiến bộ quan trọng trong việc nâng cấp độ an ninh của hệ điều hành Rust lên tiêu chuẩn “bằng chứng toán học”. Điều này mở ra những hướng đi mới để cải thiện an ninh cho các hệ điều hành đa năng thế hệ mới. Trước đó, CertiK đã hoàn thành xác minh hình thức cho nền tảng TEE HyperEnclave của Ant Computing.

Nội dung này chỉ cung cấp thông tin thị trường và không cấu thành lời khuyên đầu tư.

Tuyên bố miễn trừ: Bài viết này chỉ nhằm mục đích cung cấp thông tin dưới dạng blog cá nhân, không phải là khuyến nghị đầu tư. Nhà đầu tư cần tự nghiên cứu kỹ lưỡng trước khi đưa ra quyết định và chúng tôi không chịu trách nhiệm đối với bất kỳ quyết định đầu tư nào của bạn.

Theo Nghị quyết số 05/2025/NQ-CP ngày 09/09/2025 của Chính phủ về việc thí điểm triển khai thị trường tài sản số tại Việt Nam, TinTucBitcoin.com hiện chỉ cung cấp thông tin cho độc giả quốc tế và không phục vụ người dùng tại Việt Nam cho đến khi có hướng dẫn chính thức từ cơ quan chức năng.