arXiv:2603.16938cs.CRcs.AI2026-03被引 4

用密码学保证自治AI运行时合规,违规即自动关停并留证。

Cryptographic Runtime Governance for Autonomous AI Systems: The Aegis Architecture for Verifiable Policy Enforcement

  • 将政策作为可验证的执行条件,而非仅作指导
  • 证明验证延迟中位数238毫秒,发布开销约9.4毫秒
  • 适合高安全要求的AI系统,如金融、医疗决策

当前的AI治理依赖事后监督和行为对齐,但随着系统自主性、速度和运作透明度下降,这些机制变得脆弱。本文提出Aegis架构,将政策与法律约束视为运行时执行条件。系统初始化时,每个智能体绑定加密密封的不可变伦理策略层(IEPL),通过伦理验证代理(EVA)、执行内核模块(EKM)和不可变日志内核(ILK)强制外部输出。政策变更需多数同意并重新声明系统信任根;经验证的违规行为触发自动关机并生成可审计证据。在Civitas运行时环境中,我们以三项指标评估:篡改条件下证明验证延迟、发布开销及对齐保留性能。实验显示,中位证明验证延迟为238毫秒,中位发布开销约9.4毫秒,且在匹配任务中对齐保留率高于无治理基线。结果表明,治理应从主观监督转向可验证的运行时约束。本架构不试图解决抽象机器伦理问题,而是展示在受控框架下,违规行为可被操作上不可执行。论文最后讨论方法局限、证据意义及面向高保障部署的证明导向治理作用。

原文摘要 · Abstract (English)

Contemporary AI governance frameworks rely heavily on post hoc oversight, policy guidance, and behavioral alignment techniques, yet these mechanisms become fragile as systems gain autonomy, speed, and operational opacity. This paper presents Aegis, a runtime governance architecture for autonomous AI systems that treats policy and legal constraints as execution conditions rather than advisory principles. Aegis binds each governed agent to a cryptographically sealed Immutable Ethics Policy Layer (IEPL) at system genesis and enforces external emissions through an Ethics Verification Agent (EVA), an Enforcement Kernel Module (EKM), and an Immutable Logging Kernel (ILK). Amendments to the governing policy layer require quorum approval and redeclaration of the system trust root; verified violations trigger autonomous shutdown and generation of auditable proof artifacts. We evaluate the architecture within the Civitas runtime using three operational measures: proof verification latency under tamper conditions, publication overhead, and alignment retention performance relative to an ungoverned baseline. In controlled trials, Aegis demonstrates median proof verification latency of 238 ms, median publication overhead of approximately 9.4 ms, and higher alignment retention than the baseline condition across matched tasks. We argue that these results support a shift in AI governance from discretionary oversight toward verifiable runtime constraint. Rather than claiming to resolve machine ethics in the abstract, the proposed architecture seeks to show that policy violating behavior can be rendered operationally non executable within a controlled runtime governance framework. The paper concludes by discussing methodological limits, evidentiary implications, and the role of proof oriented governance in high assurance AI deployment.

AI治理密码学运行时安全可验证

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。