为AI决策提供可验证的持久化审计凭证,确保崩溃后证据不丢失。
The Acknowledgment Point Is the System: Durable Policy-Decision Receipts for AI Audit Evidence
- 将每个决策绑定到具体策略源,通过签名收据保证同步点完成状态。
- 在4线程下实现2.7万请求/秒,141.9微秒延迟,支持崩溃恢复验证。
- 适合需要高可信审计的金融、医疗等合规性要求高的AI系统使用。
AI审计记录的有效性取决于其持久性和信任边界是否明确。在任何持久写入前返回受保护的决策可降低延迟,但无法保证在立即崩溃时证据仍存在。我们基于此约束重构了RuntimeGuard-AI原型。该系统将每个确定性策略决策与精确策略源绑定,在调用者选定的同步边界上提交隐私最小化的记录,并返回一个Ed25519签名收据,声明该边界是否完成。重启后,引擎验证分段记录、清单、分片位置、序列连续性及重放身份。另设独立证明路径,将已提交记录分组为链式签名的梅克尔纪元,审计员可用外部获取的密钥验证。在苹果M4 Pro上,4个工作线程、2048字节提示下,缓冲签名证据达27,193请求/秒,中位延迟141.9微秒。每条记录数据与完整同步使吞吐降至约242请求/秒,中位延迟升至16.0毫秒。密封一个包含10万条记录的签名纪元耗时97.0毫秒。结果呈现可量化的耐久性-延迟权衡,而非免费的异步审计路径。该原型不证明模型执行过程,无法防止被攻破的签名者篡改历史,也不具备法律合规性保障。
原文摘要 · Abstract (English)
An AI audit record is useful only if its durability and trust boundary are explicit. Returning a guarded decision before any durable write minimizes latency, but it cannot guarantee that evidence survives an immediate crash. We rebuild RuntimeGuard-AI around this constraint. The resulting research prototype binds each deterministic policy decision to the exact policy source, commits a privacy-minimizing record at a caller-selected synchronization boundary, and returns an Ed25519-signed receipt that states whether that boundary completed. After restart, the engine validates framed records, manifests, shard placement, sequence continuity, and replay identity. A separate attestation path groups committed records into chained, signed Merkle epochs that an auditor verifies with an externally obtained key. On an Apple M4 Pro at four worker threads and 2,048-byte prompts, buffered signed evidence reaches 27,193 requests/s with 141.9 microseconds median latency. Per-record data and full synchronization reduce throughput to approximately 242 requests/s and raise median latency to 16.0 ms. Sealing a 100,000-record signed epoch takes 97.0 ms. The result is a measured durability-latency trade-off, not a "free" asynchronous audit path. The prototype does not prove model execution, prevent a compromised signer from forking history, or establish legal conformity.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。