谷歌的 AmbiML 团队最近开源了，这是一个适用于嵌入式机器学习硬件的可证明安全操作系统。KataOS 基于微内核，使用实现。除了 KataOS，谷歌正在发布 Sparrow，这是针对基于架构安全硬件平台的操作系统参考实现。
该版本发布是在谷歌开源博客上宣布的。AmbiML 团队在安全的嵌入式环境上为机器学习构建工具，他们开发了 KataOS，以解决智能设备所收集的数据在隐私和安全性方面所面临的挑战。该解决方案的基础是 seL4，一个在数学上已证明其安全性的微内核。其他组件是使用 Rust 编写的，该团队选择 Rust 的部分原因在于其内存安全性。KataOS 是使用构建系统构建的，适用于 RISC-V 或 ARM 架构。按照 AmbiML 团队的说法：
近年来，始终在线或智能设备已经变得越来越普遍，它们收集和使用个人数据进行机器学习，这引起了人们对隐私的关注。尽管像谷歌这样的公司已经开发了诸如联合学习这样的技术，以帮助保护机器学习数据集的隐私，但是这仍然有设备被破坏或黑客攻击的隐私风险。
作为提升这些设备安全性的基础，谷歌最近与合作，为 RISC-V 矢量指令开发了Renode仿真支持。这项工作是谷歌开发 Springbok 的一部分，这是一个基于 RISC-V 的机器学习硬件加速器。Renode 仿真环境允许谷歌团队共同开发适用于安全嵌入式机器学习平台的硬件和软件。
谷歌团队继续与Antmicro合作开发了 KataOS。团队通过开发 seL4-sys crate 为 seL4 微内核添加了 Rust 支持。他们还为面向微内核的 RISC-V 实现做出了贡献，并为 Renode 添加了针对 sel4 的调试功能。
在 Twitter 上，有些用户想知道 KataOS 的发布是不是意味着谷歌会将淘汰，Fuschia 是一个由谷歌开发并在 Nest 设备中使用的嵌入式操作系统。软件开发人员Danny Thompson指出：
KataOS 项目组负责人June Tate-Gans参加了 Hacker News 上的讨论，并回答了用户的问题。当一位用户指出，可证明安全的硬件和软件是更安全的系统的“筹码”时，Tate-Gans 回答说：
KataOS的源代码可以在 GitHub 上找到。
原文链接：
Google Open-Sources Secure ML Operating System KataOS
相关阅读：
医学生自学机器学习，利用GPT-3开发写作助手，收入月月翻倍，项目被收购后成人生赢家
InfoQ 2022年趋势报告：人工智能、机器学习和数据工程篇
机器学习工程化，企业AI的下一个起点
