A CertiK colabora com o Grupo Ant para conduzir pesquisas de verificação formal no projeto "Star Bloom".
De acordo com o Foresight News, a empresa de segurança Web3 CertiK lançou em conjunto um estudo de pesquisa mais recente com o Ant Group Cloud do Ant Group, formalizando a verificação dos componentes centrais do sistema operacional de código aberto de próxima geração "Asterinas". Asterinas é desenvolvido com base em Rust e é compatível com aplicações Linux. Este trabalho demonstra um progresso significativo na verificação formal de sistemas operacionais Rust, avançando sua segurança em direção a um padrão de "nível de prova matemática" e fornecendo novas ideias para aprimorar a segurança de sistemas operacionais gerais de próxima geração.
De acordo com o Foresight News, a empresa de segurança Web3 CertiK lançou em conjunto um estudo de pesquisa mais recente com o Ant Group Cloud do Ant Group, formalizando a verificação dos componentes centrais do sistema operacional de código aberto de próxima geração "Asterinas". Asterinas é desenvolvido com base em Rust e é compatível com aplicações Linux. Este trabalho demonstra um progresso significativo na verificação formal de sistemas operacionais Rust, avançando sua segurança em direção a um padrão de "nível de prova matemática" e fornecendo novas ideias para aprimorar a segurança de sistemas operacionais gerais de próxima geração.