CertiK collaborates with Ant Computing to create "mathematical proof level" security for the Starburst operating system

According to NetEase News, Web3 security giant CertiK and Ant Group's Ant Computing have jointly released the latest research work, formally verifying the core components of the next generation open source general-purpose operating system - Asterinas. Xingzhan is developed based on Rust and compatible with Linux applications. This work demonstrates significant progress in the formal validation of the Rust operating system, driving its security towards the "mathematical proof level" standard and providing new ideas for enhancing the security of the next generation of general-purpose operating systems. Previously, CertiK had successfully completed formal verification for Ant's TEE platform HyperEnclave.