Proof of Execution: Runtime Verification for Governed AI Agent Actions

Proof of Execution 把 agent 的“执行是否合规”形式化为一个可验证对象，而不是看最终回答是否合理。执行被定义为三元组 x=(C,T,R)：contract、Execution Causal Event Stream 和 replay context；PoE validity predicate 包含 well-formedness 与 5 个 validator-checkable invariants，对应授权、路径合规、deny 后无副作用、历史完整性和可重放性。TypeScript prototype 在 minimal flow 中增加约 2.7ms，concurrent batch overhead 为 4.4%，标准 8-event trace 压缩到约 1.1KB，并能拒绝 Gateway-bypass 与 trace-mutation attack；论文也说明它不替代 consensus、TEE 或 zkVM。