AmericanFortress提出BTC、SOL錢包連結證明方案

AmericanFortress提出一種零知識證明方案，讓跨鏈橋使用者在不公開助記詞或私鑰的情況下，證明存款地址與提款地址源自同一個錢包。這項方案針對提款地址遭攻擊者竄改的問題，但目前尚未確認已有跨鏈橋或交易所採用。

AmericanFortress研究團隊成員Vincenzo Botta、Michal Pospieszalski、Emanuele Ragnoli與Justus Ranvier公開了〈Provenance Proofs: Linkable, Post-Quantum ZK Derivation Relations for Blockchain DeFi, Wallet and Identity Systems〉研究。研究內容收錄於24日公開的介紹資料與相關報導。

方案核心是確認多個區塊鏈地址是否源自同一個密碼學秘密。使用者不必公開錢包的助記詞、私鑰、其他地址或衍生路徑，只需證明指定地址之間的關係。

研究提出的主要應用案例，是比特幣(BTC)存款地址與Solana(SOL)提款地址。比特幣使用secp256k1，Solana使用Ed25519，兩者採用不同密碼學體系，因此僅憑公開金鑰難以確認兩個地址是否來自同一名使用者的錢包。

使用者可提交證明，說明比特幣存款地址與Solana提款地址源自同一個秘密。跨鏈橋驗證證明後處理提款；若提款請求被改成其他地址，攻擊者將難以產生有效證明。

研究團隊提出三種不同公開程度的方式：僅確認指定地址之間的關係；留下承諾值，讓所有者日後公開這種關係；以及使用標籤持續識別源自同一錢包的證明。

性能仍有限制。相關說明顯示，產生完整路徑證明約需6.7秒，驗證約需475毫秒。若同時驗證比特幣與Solana，產生兩個完整路徑證明約需13.3秒；連結兩項證明的額外步驟性能尚未測量。

證明檔案也相對龐大。完整路徑證明約9.7MB，連結兩條區塊鏈的證明約19MB。若要部署在手機錢包、低規格裝置或交易頻繁的服務上，仍須同時評估處理時間與傳輸量。

Michal Pospieszalski（Michal Pospieszalski）AmericanFortress執行長表示：「這能讓跨鏈橋竊取資金變得困難得多。」這是公司對方案效果的主張，與在實際運作環境中獨立驗證的結果仍需區分。

零知識證明是一種密碼學技術，能在不公開交易或錢包完整資訊的情況下，證明特定事實成立。此次方案也提出交易所選擇性確認錢包、僅公開接受審計的交易，以及確認新付款地址是否與既有錢包相連等用途。

不過，這項方案適合存款者與提款者必須是同一人的服務。若使用者要將資產發送至他人地址，正常交易可能受到限制。

先前研究〈ZKPoSP〉是登錄於IACR ePrint的預印本。相關研究將後量子安全性描述為「推測性（conjectured）」，因此不能把量子抗性或實務安全性寫成已獲確定的事實。

此外，這項證明並不能解決跨鏈橋的全部安全問題。驗證者金鑰遭竊、智慧合約漏洞與訊息驗證錯誤等攻擊，仍屬於地址竄改以外的安全範疇。

AmericanFortress此前曾提出一套在不更換既有錢包地址的情況下降低量子攻擊風險的零知識證明保護方案。此次研究則將同類技術延伸至確認不同區塊鏈地址的所有權關係，以及驗證跨鏈橋提款。

若要在實際服務中採用這項技術，仍須檢視證明產生時間、檔案大小，以及如何處理使用者向其他地址提款的交易。目前尚未有特定跨鏈橋或交易所宣布導入。