谷歌希望通过推出用于机器学习工具的新操作系统KataOS来扩大其在软件行业的份额。 在公司博客文章中描述(在新标签中打开)作为一个为运行ML应用程序的嵌入式设备优化的可证明安全的平台,KataOS将与其参考实现Sparrow一起运行。 大多数计算机用户将习惯于Windows和macOS操作系统,而专业用户则只能使用他们最喜欢的Linux发行版进行更具体的操作。谷歌发布KataOS和Sparrow 该公司在其公告中表示,随着智能设备变得越来越普遍,能够构建嵌入式硬件可验证安全系统的重要性。 谷歌表示,如果无法在数学上证明这些设备能够保证数据的安全,我们的个人身份数据(如图像和录音)可能会面临风险。 尽管还有很多工作要做,但谷歌仍然确认了有关即将推出的KataOS的一些细节。过去,该公司偏爱Carbon和C编程语言,但根据其相关的GitHub页面,其新项目几乎完全用Rust编写(在新标签中打开)。 登记册(在新标签中打开)仔细研究底层的seL4微内核,它通常用C实现。本文解释了使用Haskell和Python的CAmkES如何作为将C和Rust层连接在一起的抽象层发挥作用。 谷歌将此视为智能环境ML系统始终值得信赖的未来的第一步。 展望未来,该公司希望开放所有Sparrow的源代码包括硬件和软件。