首款CHERIoT芯片

# 首款 CHERIoT 芯片面世！ 来源：https://cheriot.org/silicon/2026/03/04/cheriot-first-silicon.html 开发板上的 ICENI 芯片 迄今为止，大多数 CHERIoT 工作都是在软件或 FPGA 仿真上完成的。我们拥有多个这样的实现：基于正式 ISA 规范（https://github.com/CHERIoT-Platform/cheriot-sail）构建的可执行模型、谷歌的 MPact 模拟器（https://mpact.googlesource.com/mpact-cheriot/）、微软面向 Arty A7 的 CHERIoT SAFE FPGA 目标（https://github.com/microsoft/cheriot-safe），以及 lowRISC 设计用于模拟 CHERIoT 系统的精美 Sonata FPGA 板（https://www.mouser.co.uk/new/newae-technology/newae-sonata-one-dev-board）。这些系统本意是用于开发和原型验证，因此我很高兴地宣布，SCI Semiconductor 已推出首款 CHERIoT 芯片实现。 \[ 利益冲突声明：我是 SCI Semiconductor 的联合创始人。 \] 上图所示的开发板搭载了首批从晶圆厂回来的 ICENI 芯片之一。这是一个完整的 CHERIoT 系统，具备所有核心 CHERI 特性（空间内存安全、无指针注入等），以及所有 CHERIoT 扩展功能，这些扩展提供了确定性的释放后使用保护、可审计的中断状态控制，以及构建高度隔离的 RTOS 所需的一切。 该芯片采用 CHERIoT Ibex 核心，运行频率高达 250 MHz，并包含一些加速时间安全、改善中断确定性等特性的功能。这些都是在任何 CHERIoT 实现的所有优势基础上构建的：从简单缓冲区溢出到释放后使用等内存安全漏洞的确定性缓解、细粒度的隔离，以及与 ISA 和软件栈协同设计的编程模型，以提供极小的可信计算基（TCB）。任何能在 CHERIoT SAFE 或 Sonata 上运行的程序，都应能非常轻松地移植到 ICENI 用于生产环境。任何能在软件模拟器上运行的程序，都应该可以直接工作。 我们将在下周的 Embedded World（展位 4A - 131）（https://www.embedded-world.de/en）以及数周后的 CHERI Blossoms（https://cheri-alliance.org/events/cheri-blossoms-conference-2026/）上展示这些芯片。从明天开始，其中一枚芯片还将在剑桥计算机实验室的 CHERI 十五周年纪念展上展出。 顺便一提：Iceni 部落（https://en.wikipedia.org/wiki/Iceni）是罗马时代之前不列颠的部落之一，以其战车而闻名（尽管更多是源于这座雕像（https://en.wikipedia.org/wiki/Boadicea_and_Her_Daughters）而非历史事实）。命名中的那些谐音梗，我只负部分责任。