CertiK сотрудничает с Ant Group для проведения исследований по формальной верификации проекта "Star Bloom".

Согласно информации от Foresight News, компания CertiK, занимающаяся безопасностью в Web3, совместно с Ant Group и её облачным сервисом Ant Group Cloud представила новое исследование, формализующее проверку основных компонентов операционной системы общего назначения следующего поколения "Asterinas", разработанной на базе Rust и совместимой с приложениями Linux. Эта работа демонстрирует значительный прогресс в формальной верификации операционных систем на Rust, поднимая уровень их безопасности до стандарта "математического доказательства" и предлагая новые идеи для повышения безопасности операционных систем общего назначения следующего поколения.

Согласно информации от Foresight News, компания CertiK, занимающаяся безопасностью в Web3, совместно с Ant Group и её облачным сервисом Ant Group Cloud представила новое исследование, формализующее проверку основных компонентов операционной системы общего назначения следующего поколения "Asterinas", разработанной на базе Rust и совместимой с приложениями Linux. Эта работа демонстрирует значительный прогресс в формальной верификации операционных систем на Rust, поднимая уровень их безопасности до стандарта "математического доказательства" и предлагая новые идеи для повышения безопасности операционных систем общего назначения следующего поколения.