Techub News 消息，据网易新闻消息，Web3 安全公司 CertiK 与蚂蚁集团旗下的蚂蚁密算联合发布最新研究工作，对下一代Mã nguồn mở通用操作系统「星绽（Asterinas）」的核心组件进行了Xác minh chính thức。星绽基于 Rust 开发，兼容 Linux 应用。此项工作展示了对 Rust 操作系统Xác minh chính thức的重要进展，推动其安全性迈向「数学证明级」标准，并为提升下一代通用操作系统的安全性提供了新的思路。此前，CertiK 已成功为蚂蚁密算的 TEE 平台 HyperEnclave 完成Xác minh chính thức。
Xem bản gốc
Nội dung chỉ mang tính chất tham khảo, không phải là lời chào mời hay đề nghị. Không cung cấp tư vấn về đầu tư, thuế hoặc pháp lý. Xem Tuyên bố miễn trừ trách nhiệm để biết thêm thông tin về rủi ro.
Techub News 消息，据网易新闻消息，Web3 安全公司 CertiK 与蚂蚁集团旗下的蚂蚁密算联合发布最新研究工作，对下一代Mã nguồn mở通用操作系统「星绽（Asterinas）」的核心组件进行了Xác minh chính thức。星绽基于 Rust 开发，兼容 Linux 应用。此项工作展示了对 Rust 操作系统Xác minh chính thức的重要进展，推动其安全性迈向「数学证明级」标准，并为提升下一代通用操作系统的安全性提供了新的思路。此前，CertiK 已成功为蚂蚁密算的 TEE 平台 HyperEnclave 完成Xác minh chính thức。