Google представила новую ОС KataOS

На прошлой неделе Google представила новый проект, направленный на создание защищенной встроенной платформы для приложений машинного обучения (Machine Learning, ML). Цель проекта — разработка безопасных интеллектуальных ML-систем.

Проект под названием Sparrow связан с новой операционной системой Google KataOS, для которой корпорация уже открыла исходный код нескольких компонентов.

Google поясняет, что KataOS предоставляет проверенно-безопасную (verifiably-secure) платформу, которая защищает конфиденциальность пользователя. В KataOS приложения не нарушают аппаратную защиту безопасности ядра, а системные компоненты надежно защищены. KataOS в основном разработана на Rust, что делает ее более безопасной, поскольку устраняет переполнение буфера и другие классы ошибок.

Sparrow — эталонная реализация для KataOS. Проект сочетает в себе:

• новую ОС, которая обеспечивает логически безопасное ядро;
• защищенную аппаратную платформу, которая обеспечивает логически безопасный корень доверия, используя проект OpenTitan на архитектуре RISC-V.

Компоненты KataOS основаны на расширенной версии платформы sel4 CAmkES. Критические системные службы — это статически настроенные компоненты CAmkES. Приложения разрабатываются с использованием SDK (Software Development Kit), ориентированного на AmbiML, и динамически загружаются системными службами.

Google заявляет, что ее цель — открыть исходный код всего проекта Sparrow, включая все разработки аппаратного и программного обеспечения.