Notícias do Techub, de acordo com a notícia da NetEase, a empresa de segurança Web3 CertiK e a Ant Group, lançaram em conjunto o mais recente trabalho de pesquisa da Aliança de Cálculo Seguro Ant, realizando a verificação formal dos componentes principais do próximo sistema operacional genérico de Código aberto 'Asterinas'. O Asterinas é desenvolvido em Rust e é compatível com aplicações Linux. Este trabalho demonstra avanços importantes na verificação formal de sistemas operacionais Rust, impulsionando sua segurança em direção ao padrão 'nível de prova matemática' e fornecendo novas ideias para melhorar a segurança dos sistemas operacionais genéricos da próxima geração. Anteriormente, a CertiK concluiu com sucesso a verificação formal da plataforma TEE HyperEnclave da Aliança de Cálculo Seguro Ant.
Ver original
O conteúdo serve apenas de referência e não constitui uma solicitação ou oferta. Não é prestado qualquer aconselhamento em matéria de investimento, fiscal ou jurídica. Consulte a Declaração de exoneração de responsabilidade para obter mais informações sobre os riscos.
Notícias do Techub, de acordo com a notícia da NetEase, a empresa de segurança Web3 CertiK e a Ant Group, lançaram em conjunto o mais recente trabalho de pesquisa da Aliança de Cálculo Seguro Ant, realizando a verificação formal dos componentes principais do próximo sistema operacional genérico de Código aberto 'Asterinas'. O Asterinas é desenvolvido em Rust e é compatível com aplicações Linux. Este trabalho demonstra avanços importantes na verificação formal de sistemas operacionais Rust, impulsionando sua segurança em direção ao padrão 'nível de prova matemática' e fornecendo novas ideias para melhorar a segurança dos sistemas operacionais genéricos da próxima geração. Anteriormente, a CertiK concluiu com sucesso a verificação formal da plataforma TEE HyperEnclave da Aliança de Cálculo Seguro Ant.