OpenShell aims to add an open trust layer and hardware-backed controls for AI agents
OpenShell was released in early access in March under the Apache 2.0 license after about a year of development, and its team says it is on pace to donate the project to a foundation. The team’s goal is an open, community-built trust layer for AI agents, which it says are missing safeguards comparable to those used on the web.
The team describes a layered safety approach: formal verification can be applied to OpenShell’s deterministic runtime, with controls potentially extended into hardware to check whether anything leaves a system. It says it can demonstrate full-stack verification and is optimistic about the method, while stressing that verification must be applied at the right layers. A reference design using BlueField VERA is intended to move network controls into hardware for machine-speed, deterministic enforcement; OpenShell’s drivers are designed to support different hardware, and NVIDIA has briefed ARM and Intel. Hardware monitoring of an agent’s reasoning and actions is described as an area of research, not as a proven ability to identify intent.
OpenShell предлагает открытый доверенный слой и аппаратные средства контроля для ИИ-агентов
OpenShell выпустили в раннем доступе в марте по лицензии Apache 2.0 после примерно года разработки; команда проекта говорит, что движется по плану к передаче проекта одному из фондов. Цель команды — создать открытый доверенный слой для ИИ-агентов, которым, по её оценке, не хватает защитных механизмов, сопоставимых с используемыми в интернете.
Команда описывает многоуровневый подход к безопасности: формальную верификацию можно применять к детерминированной среде выполнения OpenShell, а средства контроля потенциально можно перенести и на аппаратный уровень, чтобы проверять, покидает ли что-либо систему. По её словам, уже можно продемонстрировать сквозную верификацию; команда оптимистично оценивает этот метод, но подчёркивает, что верификацию нужно применять на правильных уровнях. Референсная архитектура на базе BlueField VERA призвана перенести сетевые ограничения в аппаратную часть для детерминированного контроля на скорости оборудования; драйверы OpenShell рассчитаны на поддержку разного оборудования, а NVIDIA провела брифинги для ARM и Intel. Аппаратный мониторинг рассуждений и действий агента описан как направление исследований, а не как доказанная способность распознавать намерения.