Ken Priore

Put an agent on that agent

can technology build the next wave of compliance requirements

– 2 min read
Put an agent on that agent

Zero-point-seven milliseconds. That's how long it takes to produce a tamper-evident, cryptographically verified audit log for a single AI agent action, in a working system rather than a whitepaper.

An arXiv paper formalizes five system invariants for verifiable agent execution and implements them on infrastcture running at 400 actions per second. Append-only logging. Capability-based isolation. Human approval gates that pause execution instead of notifying after the fact.

As EU AI Act enforcement comes online, these are product specs now, not theory.

The paper maps directly to Articles 12, 14, and 19. The performance numbers eliminate the "governance costs too much" argument. And the five invariants give product and legal teams a concrete checklist for evaluating whether their agent infrastructure is compliance-ready or compliance-aspirational.

Right to History: A Sovereignty Kernel for Verifiable AI Agent Execution
AI agents increasingly act on behalf of humans, yet no existing system provides a tamper-evident, independently verifiable record of what they did. As regulations such as the EU AI Act begin mandating automatic logging for high-risk AI systems, this gap carries concrete consequences -- especially for agents running on personal hardware, where no centralized provider controls the log. Extending Floridi’s informational rights framework from data about individuals to actions performed on their behalf, this paper proposes the Right to History: the principle that individuals are entitled to a complete, verifiable record of every AI agent action on their own hardware. The paper formalizes this principle through five system invariants with structured proof sketches, and implements it in PunkGo, a Rust sovereignty kernel that unifies RFC 6962 Merkle tree audit logs, capability-based isolation, energy-budget governance, and a human-approval mechanism. Adversarial testing confirms all five invariants hold. Performance evaluation shows sub-1.3 ms median action latency, ~400 actions/sec throughput, and 448-byte Merkle inclusion proofs at 10,000 log entries.
arXiv.orgJing Zhang

You might also like