PANews는 3월 14일 NetEase News에 따르면 Web3 보안 대기업 CertiK과 Ant Group의 자회사인 Ant Cryptographic Computing이 최신 연구 작업을 공동으로 발표하여 차세대 오픈소스 범용 운영 체제인 Asterinas의 핵심 구성 요소를 공식적으로 검증했다고 보도했습니다. Xingzhan은 Rust를 기반으로 개발되었으며 Linux 애플리케이션과 호환됩니다. 이 연구는 Rust 운영체제의 형식적 검증에 있어서 중요한 진전을 보여주고, 그 보안 수준을 "수학적으로 증명된 수준"으로 끌어올리며, 차세대 범용 운영체제의 보안을 개선하기 위한 새로운 아이디어를 제공합니다. 이전에 CertiK는 Ant Crypto의 TEE 플랫폼 HyperEnclave에 대한 공식 검증을 성공적으로 완료했습니다.