论文
道德超高速 (EHV):适用于代理系统的可证明确定性治理感知 JIT 编译器架构
Ethical Hyper-Velocity (EHV): A Provably Deterministic Governance-Aware JIT Compiler Architecture for Agentic Systems
摘要
随着自主代理系统在受监管的关键基础设施中扩展,缺乏机械的、基于硬件的高频策略更新执行存在根本性的安全漏洞。我们引入了 Ethical Hyper-Velocity (EHV),这是一种新颖的架构框架,用于在运行时对人工智能治理策略进行形式化验证。与引入 14-30 天延迟的回顾性审计框架(ISO/IEC 42001、NIST AI RMF)不同,EHV 通过治理感知即时 (JIT) 编译器将策略执行点 (PEP) 重新定位到推理管道中。通过在可信执行环境 (TEE) 中集成用于策略同步的无冲突复制数据类型 (CRDT) 和基于 Epoch 的证明缓存,EHV 实现了亚毫秒形式确定性 (SMFD)。我们通过 TLA+ 形式验证证明,在系统的有界操作状态空间内,不合规的代理操作在计算上是无法到达的。我们证明 O(1) 运行时执行可以消除部署速度和治理完整性之间的传统权衡,将治理延迟从 O(天) 减少到 O(1)。