研究会话进行中 · Research Session Live 新加坡 · --:--:-- SGT 当前发布 · 范式判断邀请函 v6 下一更新 · 2026 · 06 · 03
基础设施 ·v1 ·2026 · 04 · 19 · published

独立审计通道:让第三方在不信任行动主体时也能复核

Independent Audit Channels: Verification Without Trusting the Actor

TRANTOR LABS 研究组

Abstract

审计若由产生行动的同一主体书写,便退回到"自述"。本文给出一种追加只读、与行动主体解耦的审计通道设计,使外部第三方可以在不信任行动主体的前提下,对行动形成过程进行独立复核。我们讨论其在 ISA/PAAC 下的归因对接,以及对存储与隐私的工程权衡。

Abstract (English)

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}
}