摘要
审计若由产生行动的同一主体书写,便退回到"自述"。本文给出一种追加只读、与行动主体解耦的审计通道设计,使外部第三方可以在不信任行动主体的前提下,对行动形成过程进行独立复核。我们讨论其在 ISA/PAAC 下的归因对接,以及对存储与隐私的工程权衡。
Abstract
If audit logs are written by the same agent that produces the action, verification collapses back into self-report. We present an append-only, actor-decoupled audit channel that lets independent third parties verify the action-formation process without trusting the actor. We discuss attribution wiring under ISA/PAAC and engineering trade-offs for storage and privacy.
BibTeX
@techreport{trantorlabs2026audit,
title = {Independent Audit Channels},
author = {TRANTOR LABS Research Group},
year = {2026},
institution = {TRANTOR LABS}
}