不靠桥的 multisig 也能验跨链消息:ERC-7965 证明广播的属性字段 图 1
不靠桥的 multisig 也能验跨链消息:ERC-7965 证明广播的属性字段 · 图 1

跨链消息的安全通常押在”一组可信验证人替大家跑腿”上;另一条路线是把信任交给链自己的共识与密码学证明。ERC-7965 属于后者,它给 ERC-7786 定义的跨链消息接口补了一组”用证明说话”的属性字段:消息在源链被可验证地提交,目的链拿存储证明或事件 inclusion 证明直接核账,不经过任何外部验证人。本文解释这组字段与广播语义怎么读。提案在标准仓库中标注为草案(Draft)。

广播语义:用地址字段表达“说给谁听”

ERC-7786 用 ERC-7930 的互操作地址表达收件人,7965 把这串字节的留白变成广播语法:地址长度字段设为零、链类型或链引用指定,表示”发给这条链上所有地址”;链引用长度为零并给出链类型,表示”发给该类型的所有链”;全零则是”发给所有支持的链和地址”的通用广播。对收信合约,规范的建议很直接:广播消息的来源与真实性要按自身安全要求自行验证,协议不替你兜底。理解这层,才能理解下面的证明字段为什么重要——广播通道人人可发,真伪全靠证明。

不靠桥的 multisig 也能验跨链消息:ERC-7965 证明广播的属性字段 图 2
不靠桥的 multisig 也能验跨链消息:ERC-7965 证明广播的属性字段 · 图 2

三个属性:路线、证明、区块

规范定义了三个 ERC-7786 属性。route 携带一条从目的地回溯源链的验证路径,每一跳是”(地址, 证明, 版本)“三元组:地址是该跳用来验证下一条链状态或交易历史的合约,证明是这一步所需的密码学凭证,版本为 0 表示任何版本都行,非零则要求网关精确支持,不支持必须拒收。inclusionProof 是消息确实写进了源链某个已定块状态的凭证,对 EVM 链典型是事件 inclusion 证明或存储证明。targetBlock 给出消息在源链提交的区块号,接收方可按自己的安全策略用它核新鲜度或终局性,也可以忽略。

验证按六步走

规范的验证流程可以压缩成一条流水账:解析出路线与证明等属性;检查每个属性完整合规;逐跳验证区块哈希转换或等价的状态承诺,并核对版本要求;用 inclusion 证明确认消息确实在最终验证到的那条源链的指定区块里被提交;可选地检查 targetBlock 的新鲜度;全部通过才执行消息。任一跳的地址都可继续委托下一跳网关重发消息,这条设计允许消息穿过多条中间链——多跳不是拼接漏洞,而是逐跳建立信任链。

普通用户为什么该看懂这层

你几乎不会亲手调用这些接口,但你在选桥和跨链应用时天天在给它定价。同样宣称”安全”的两款跨链产品,一款靠多签验证人推送消息,另一款的网关若能按这类标准提交可独立验证的证明,其信任模型就从”信那几个人没被攻破”变成”信两条链的共识与一段可复算的证明”。判断口径依然朴素:产品页有没有公开验证路径、证明能否由第三方重放、验证合约是否源码公开——查部署与合约公开程度的方法合约是谁部署的?从部署交易到权限移交的链上调查法通用。

边界与相邻标准

它不改变 ERC-7786 的消息主流程,属性可被实现者缓存以省重复验证;提交不可删改不是硬性要求,规范只是建议用 ERC-7201 命名空间等手段实现不可变提交。与证明型广播相邻的还有整条”轻量客户端证明”技术路线,7965 的定位只是接口层的通用属性——让不同的证明系统在同一套消息格式里互不重复造轮子。

风险提示:证明型验证不等于零风险,链自身重组、证明实现缺陷都属真实风险面;选择跨链通道请以公开的验证路径与可重放的证明为优先,本文不构成投资建议。