Berita Techub, menurut laporan dari NetEase, perusahaan keamanan Web3 CertiK bersama Ant Group's Ant Suanlian telah merilis penelitian terbaru, melakukan Verifikasi Formal terhadap komponen inti dari sistem operasi open source generasi berikutnya "Asterinas". Asterinas dikembangkan berbasis Rust, kompatibel dengan aplikasi Linux. Penelitian ini menunjukkan kemajuan penting dalam Verifikasi Formal sistem operasi Rust, mendorong keamanannya menuju standar "bukti matematis", dan memberikan gagasan baru untuk meningkatkan keamanan sistem operasi generasi berikutnya. Sebelumnya, CertiK telah berhasil melakukan Verifikasi Formal untuk platform TEE Ant Suanlian, HyperEnclave.
Lihat Asli
Konten ini hanya untuk referensi, bukan ajakan atau tawaran. Tidak ada nasihat investasi, pajak, atau hukum yang diberikan. Lihat Penafian untuk pengungkapan risiko lebih lanjut.
Berita Techub, menurut laporan dari NetEase, perusahaan keamanan Web3 CertiK bersama Ant Group's Ant Suanlian telah merilis penelitian terbaru, melakukan Verifikasi Formal terhadap komponen inti dari sistem operasi open source generasi berikutnya "Asterinas". Asterinas dikembangkan berbasis Rust, kompatibel dengan aplikasi Linux. Penelitian ini menunjukkan kemajuan penting dalam Verifikasi Formal sistem operasi Rust, mendorong keamanannya menuju standar "bukti matematis", dan memberikan gagasan baru untuk meningkatkan keamanan sistem operasi generasi berikutnya. Sebelumnya, CertiK telah berhasil melakukan Verifikasi Formal untuk platform TEE Ant Suanlian, HyperEnclave.