同一筆跨鏈提款換一種簽名編碼再提交應(yīng)該被當(dāng)成第二筆業(yè)務(wù)嗎顯然不應(yīng)該。但如果接收端用簽名字節(jié)的哈希充當(dāng)“已消費(fèi)”索引業(yè)務(wù)身份就會(huì)被密碼學(xué)包裝牽著走。即使簽名庫(kù)正確處理了編碼消息的域、目標(biāo)和唯一編號(hào)仍需要單獨(dú)設(shè)計(jì)。EIP-712 提供結(jié)構(gòu)化消息與域隔離的規(guī)則同時(shí)明確它本身不包含重放保護(hù)。因此“采用了 typed data”不是跨鏈橋防雙花的完成條件。規(guī)范消息鍵應(yīng)覆蓋業(yè)務(wù)意圖一個(gè)提款消息通常需要綁定源鏈、目標(biāo)鏈、源端合約、目標(biāo)接收器、業(yè)務(wù) nonce、資產(chǎn)、金額和接收人。具體字段由協(xié)議決定但不能只綁定其中一部分再讓調(diào)用者自由替換其他字段。唯一性還必須說(shuō)明作用域同一個(gè)源發(fā)送者的 nonce不能和另一發(fā)送者混為一談。簽名是否由可信主體產(chǎn)生消息是否對(duì)應(yīng)已最終確認(rèn)的源鏈?zhǔn)录约跋⑹欠癖幌M(fèi)是三個(gè)獨(dú)立問(wèn)題。多簽、輕客戶端或 ZK 證明各自解決不同的認(rèn)證問(wèn)題不該都被一個(gè)verify()布爾值掩蓋。本地演示改變包裝不改變消費(fèi)記錄下面使用規(guī)范化 JSON 和 SHA-256 演示“業(yè)務(wù)字段決定消息身份”。這是應(yīng)用層身份示例不是 Solidity ABI 編碼、EIP-712 哈希、Keccak 或真實(shí)簽名驗(yàn)證器。不要把輸出拿去當(dāng)鏈上兼容簽名摘要。import hashlib import json FIELDS {src, dst, sender, receiver, nonce, asset, amount, to} used set() def message_id(message): if set(message) ! FIELDS: raise ValueError(missing or unexpected business fields) raw json.dumps(message, sort_keysTrue, separators(,, :)).encode() return hashlib.sha256(raw).hexdigest() def consume_after_authentication(message): key message_id(message) if key in used: return REPLAY used.add(key) return PROCESSED m dict(src1, dst2, senderbridge-A, receiverbridge-B, nonce7, assettoken-X, amount50, toalice) assert consume_after_authentication(m) PROCESSED # Different signature wrappers would still pass the same authenticated message. assert consume_after_authentication(dict(m)) REPLAY assert message_id(dict(m, dst3)) ! message_id(m) assert message_id(dict(m, senderbridge-C)) ! message_id(m) print(4 identity cases checked; authentication is not implemented)保存為replay.py并運(yùn)行python3 replay.py。函數(shù)名里的after_authentication是調(diào)用前提不是認(rèn)證實(shí)現(xiàn)。真實(shí)接收器需要在認(rèn)證成功后、外部調(diào)用前按正確的重入防護(hù)和事務(wù)語(yǔ)義消費(fèi)消息進(jìn)程內(nèi)的set既沒(méi)有持久化也沒(méi)有并發(fā)原子性。映射升級(jí)也會(huì)改變消息的含義源資產(chǎn)到目標(biāo)資產(chǎn)的映射如果可被管理者隨意改寫舊消息可能在新配置下解釋成另一種資產(chǎn)。協(xié)議應(yīng)說(shuō)明消息綁定映射版本還是讀取當(dāng)前配置升級(jí)如何影響排隊(duì)中的提款取消與退款由誰(shuí)處理。時(shí)間鎖能為危險(xiǎn)變更提供觀察窗口但不能證明新映射正確。OpenZeppelin 文檔也將提案者和執(zhí)行者分開(kāi)強(qiáng)調(diào)延遲給用戶留下審閱與退出機(jī)會(huì)。訪問(wèn)控制與延遲本文沒(méi)有復(fù)現(xiàn)任何頭部橋的真實(shí)漏洞也沒(méi)有調(diào)用模型或驗(yàn)證器。代碼驗(yàn)證的是四個(gè)消息身份用例可信根、密碼學(xué)簽名、源鏈最終性和跨鏈執(zhí)行仍未集成。一個(gè)可靠的防重放設(shè)計(jì)應(yīng)能明確回答“這是誰(shuí)的哪一條業(yè)務(wù)消息”而不只回答“這串簽名以前見(jiàn)過(guò)沒(méi)有”。