Digital signatures prove key possession, not authorship. An author who generates text with AI, constructs intermediate document states post-hoc, and signs each hash produces a signature chain indistinguishable from genuine composition. We address this gap between cryptographic integrity and process provenance. We introduce proof-of-process, a primitive category for evidence that a physical process, not merely a signing key, produced a digital artifact. Our construction, the jitter seal, injects imperceptible microsecond delays derived via HMAC from a session secret, keystroke ordinal, and cumulative document hash. Valid evidence requires that real keystrokes produced the document through those intermediate states. We propose the Adversarial Collapse Principle as an evaluation criterion: evidence systems should be judged by whether disputing them requires a conjunction of specific, testable allegations against components with independent trust assumptions. We present Witnessd, an architecture combining jitter seals with Verifiable Delay Functions, external timestamp anchors, dual-source keystroke validation, and optional hardware attestation. Each layer forces allegations at different capability levels; disputing authentic evidence requires coordinated claims across independent trust boundaries. The system does not prevent forgery: a kernel-level adversary can defeat it, and typing AI-generated content produces valid evidence. The contribution is converting vague doubt into falsifiable allegations. We evaluate across 31,000 verification trials with deterministic rejection of invalid proofs.


翻译:数字签名仅能证明密钥持有,而非作者身份。若作者使用AI生成文本、事后构建中间文档状态并对每个哈希值进行签名,所产生的签名链与真实创作过程无法区分。本文旨在弥合密码学完整性与流程溯源性之间的鸿沟。我们提出流程证明这一基础概念,用于证明数字产物由物理过程(而非仅签名密钥)生成。我们设计的抖动封印技术通过HMAC从会话密钥、击键序数及累积文档哈希中提取不可感知的微秒级延迟进行注入。有效证据要求文档必须通过真实击键在这些中间状态中生成。我们提出对抗性崩溃原则作为评估标准:证据系统应通过"质疑其有效性是否需要同时提出针对具有独立信任假设组件的具体可验证指控"进行评判。本文提出Witnessd架构,整合抖动封印与可验证延迟函数、外部时间戳锚点、双源击键验证及可选的硬件证明。每层架构均要求在不同能力层级提出指控;质疑真实证据需要协调跨越独立信任边界的多重主张。本系统不防止伪造:内核级攻击者可破解系统,键入AI生成内容亦会产生有效证据。其核心贡献在于将模糊质疑转化为可证伪的指控。我们通过31,000次验证试验进行评估,实现了对无效证明的确定性拒绝。

0
下载
关闭预览

相关内容

【2023新书】程序证明,Program Proofs,642页pdf
专知会员服务
67+阅读 · 2023年3月29日
专知会员服务
122+阅读 · 2021年1月31日
智能合约的形式化验证方法研究综述
专知
16+阅读 · 2021年5月8日
NetworkMiner - 网络取证分析工具
黑白之道
16+阅读 · 2018年6月29日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
7+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
VIP会员
相关基金
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
7+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
Top
微信扫码咨询专知VIP会员