CertiK colabora con Ant Group para llevar a cabo investigaciones de verificación formal sobre el proyecto "Star Bloom".

Según Foresight News, la empresa de seguridad Web3 CertiK ha publicado conjuntamente un estudio de investigación reciente con Ant Group y Ant Group Cloud, formalizando la verificación de los componentes centrales del sistema operativo de propósito general de código abierto de próxima generación "Asterinas". Asterinas está desarrollado sobre Rust y es compatible con aplicaciones de Linux. Este trabajo demuestra un progreso significativo en la verificación formal de sistemas operativos Rust, avanzando su seguridad hacia un estándar de "nivel de prueba matemática" y proporcionando nuevas ideas para mejorar la seguridad de los sistemas operativos de propósito general de próxima generación.

Según Foresight News, la empresa de seguridad Web3 CertiK ha publicado conjuntamente un estudio de investigación reciente con Ant Group y Ant Group Cloud, formalizando la verificación de los componentes centrales del sistema operativo de propósito general de código abierto de próxima generación "Asterinas". Asterinas está desarrollado sobre Rust y es compatible con aplicaciones de Linux. Este trabajo demuestra un progreso significativo en la verificación formal de sistemas operativos Rust, avanzando su seguridad hacia un estándar de "nivel de prueba matemática" y proporcionando nuevas ideas para mejorar la seguridad de los sistemas operativos de propósito general de próxima generación.