
先明确“离线”发生在哪个环节
离线交易可能指断网设备生成签名,也可能指交易数据在设备间传递,之后再由联网节点广播。这些情形不能直接等同于断网期间完成链上结算。研究首先应说明哪些设备离线、持续到哪个步骤,以及何时依赖网络状态。
核验的关键是把结论拆开:能生成交易、能验证签名、能被节点接收、能进入区块,是不同层级的主张。前一层成立,不能自动证明后一层成立。

两个来源分别支持什么
Bitcoin Developer Guides 的交易说明介绍了输入引用既有输出、UTXO 与脚本验证机制,并说明交易广播后由节点独立验证。这支持区分授权验证与网络验证,但不足以证明某种离线方案能够避免重复支付。

ethereum.org 的交易说明介绍了签名、nonce、交易数据及广播后纳入区块的过程。这支持区分签署授权与链上状态更新,但不能单凭签名或交易哈希认定执行成功。两份文档讨论不同协议,不能视为同一离线方案的两次独立实验。
核验研究需要哪些证据
材料应包含协议与软件版本、网络环境、断网边界、初始状态来源,以及可供独立核对的交易数据和日志。公开验证材料不应包含私钥。只有结果截图,难以判断是否存在联网辅助或遗漏步骤。
对比特币,应核对输入引用的输出及其在指定状态下是否可用;对以太坊,应核对账户 nonce、余额和相关执行条件。离线保存的状态只能说明对应时点,不能证明此后网络状态没有变化。
适用条件与失败边界
如果研究只验证离线签名,结论应限于签名生成和授权检查。若声称交易恢复联网后可以完成,还需关联广播记录、区块记录及执行结果,说明观察截止时的确认状态。
实验还应覆盖状态过期、冲突交易、数据被修改和恢复连接等情况。核验重点不是要求所有情况都成功,而是失败是否被识别,以及安全结论是否明确依赖额外设备或信任假设。
常见问题:什么不能充当完成证明
签名有效是否代表支付完成?不代表,它不能单独证明输入仍可花费或账户状态满足执行条件。交易哈希是否代表已经上链?不代表,标识交易与证明纳入区块是两回事。
引用技术文档是否足以证明研究方案可靠?不够。文档用于解释规则,方案仍需要可复核的实现与实验依据。最终结论应逐项对应证据,并把尚未验证的环节明确保留为限制。