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

TL;DR
This paper introduces Aegis, a cryptographic runtime governance architecture for autonomous AI systems, enabling verifiable enforcement of policies through cryptographic seals, external verification, and auditable proofs, enhancing operational safety.
Contribution
It presents a novel architecture that treats policies as enforceable execution conditions, using cryptographic seals and verification agents to ensure compliance in autonomous AI systems.
Findings
Median proof verification latency of 238 ms
Publication overhead of approximately 9.4 ms
Higher alignment retention compared to ungoverned baseline
Abstract
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…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdversarial Robustness in Machine Learning · Security and Verification in Computing · Scientific Computing and Data Management
