跨链消息自带证明：ERC-7965 在 ERC-7786 网关里装进密码学验证

跨链桥的信任问题，根源大多不在消息格式，而在”谁替你确认对面链上真发生过这件事”。多数中继方案的答案是一组签名验证者。ERC-7965（Proof-based Broadcast in ERC-7786 Gateways）给出另一种答案：消息随附源链状态的密码学证明，目标链自己验，不需要任何中间人表态。按 ercs 仓库记录，该提案状态为 Draft，创建于 2025 年 6 月 6 日。

挂在 ERC-7786 的属性机制上，不另造接口

ERC-7786 定义了一套通用跨链消息层：发送方与接收方各自接一个网关，消息除 payload 外还带一组 attributes，网关用 supportsAttribute 自报支持哪些属性。ERC-7965 没有新增任何接口函数，而是往这套属性清单里加几个标准化属性：route 与 inclusionProof 两个必选属性承载证明路径与包含性证明，targetBlock 可选属性指明证明对应哪个区块。接收端网关的处理流程被写成编号步骤：解析 route 与 inclusionProof、按需读取 targetBlock，校验属性齐备且格式正确，验证证明，必要时再按 targetBlock 检查区块的新鲜度或终局性。属性验证结果可以缓存，供后续消息复用，缓存键通常取证明内容的哈希，命中即跳过重复验算，这是控制目标链 gas 开销的关键工程细节。

提案特别强调多跳支持：当两条链之间不存在直接可验证的关系时，消息可以途经多条链接力，每一跳都用同一种属性语义携带证明，形成验证路径。

无许可信任从哪来，又止于哪

这条路线的信任来源是数学而非名单：消息在源链以可验证方式提交，证明以源链状态或交易历史的默克尔证明形式呈现，目标链合约直接验证，桥的运营者从”担保人品”降级为”搬运工”——搬错、搬慢都造成不了伪造。ERC-7888 这类 EVM 存储证明方案可以直接借用这套属性包装成 ERC-7786 网关，不必重造消息层。

一次投毒消息在这条链路上会卡在哪一环

用一个攻击场景检验这套机制的价值。假设攻击者想让某条链上的网关错误承认”源链上发生了一笔 NFT 提款”。在签名验证者模式下，攻击目标是名单：收买、攻破或滥用某一家的密钥就可能凑齐法定数。在证明模式下，攻击者必须让目标链验证一个对源链真实状态的错误陈述——要么伪造默克尔证明本身，这在哈希原像抗性意义上不可行；要么让证明引用的区块在源链上被重组替换，这就回到终局性博弈，需要真金白银的算力或质押代价。标准把这道防线拆在三个检查点：属性齐备性、证明验证、可选的新鲜度与终局性复核，每个点都可以独立审计。但也要如实标注残余风险：证明系统自身的实现缺陷（电路漏洞、验证合约逻辑错误）是新出现的攻击面，重组窗口内的策略判断也因接收方而异。无信任从来不是”零攻击面”，只是把攻击面从人和密钥挪到了数学与实现质量上。

边界同样清楚。第一，证明只能证明”源链状态如描述”，证明生成之后、目标链确认之前，源链仍可能发生深度重组，接收方要不要等终局、等几个块，是策略问题，标准把它交给 targetBlock 的新鲜度校验自由裁量。第二，验证证明要花 gas，跨链消息的目标链成本里多了一块验算费，这是用成本换无信任的明账。第三，属性体系假定双方网关诚实实现验证逻辑，合约字节码审计仍然不可省略。对 NFT 用户，这类机制的可见形态通常是”某链上的跨链藏品无需桥的托管地址”——判断时可以直接问：证明是什么类型、验证合约在哪、有没有管理员暂停开关，三个答案决定它离”无许可”有多远。本文为机制说明，不构成任何投资建议。