Theorem发布机器码级验证沙箱原型
热点事件持续更新
Theorem发布机器码级验证沙箱原型
1 篇报道1 个报道来源1 小时前更新
先了解这件事
AI 综述
Theorem团队发布“验证沙箱”系列首部分，构建了可运行Linux的原型hypervisor，并在编译后的机器码层面验证任意访客代码无法修改宿主文件。方案基于MIT的xv6iris，包含约150万行Rocq证明，覆盖内核正确性与访客隔离。 这是研究原型，而非已投入使用的生产级沙箱；Theorem团队称其为迈向生产级可信沙箱的第一步，后续成果仍待发布。
AI 根据报道生成 · 1 小时前更新
最新进展11月4日 12:51
Theorem 发布验证沙箱原型，以机器码级形式化验证隔离访客代码报道时间线
沿着报道，了解事件的不同侧面。
11月4日
- AGI HuntTheorem 发布验证沙箱原型，以机器码级形式化验证隔离访客代码
Theorem 团队发布「验证沙箱」系列第一部分，构建可运行 Linux 的原型 hypervisor。该方案基于 MIT 的 xv6iris，以约 150 万行 Rocq 证明验证内核正确性，并在机器码层面证明访客代码无法修改宿主文件。团队称这是迈向生产级可信沙箱的第一步。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。