量子恐慌的第三副解藥:中本聰的秘密救生艇

四月中旬教鏈寫過一篇科普,聊的是BIP-361提案和量子威脅的兩副解藥。 當時教鏈的結論是:有BIP-39助記詞的普通用戶不用擔心,有逃生通道。 真正被卡住的是2013年之前的遠古巨鯨——那些沒有助記詞的裸私鑰持有者,包括中本聰。

教鏈當時說,這是一個三重困境:要么眼睜睜看著幣被量子凍結,要么被量子黑客搶走,要么必須現身於世、提前把幣挪走。

沒想到不到一個月,5月2日,Paradigm的合夥人Dan Robinson就拿出了一份新提案,叫PACTs。 全稱是Provable Address-Control Timestamps,可驗證地址控制時間戳。

量子恐慌的第三副解藥。這副解藥,給了裸私鑰持有者包括中本聰,一個新的選擇。

溫故而知新

量子威脅這件事,普通用戶不用太緊張。原因教鏈4月中旬那篇文章已經講得很清楚了。

當前的BTC系統對抗量子計算機有兩個死穴。死穴一是交易時會暴露公鑰。死穴二是有些老地址的公鑰早就赤裸裸地寫在鏈上了。針對前者,有QSB方案兜底;針對後者,社群提了BIP-361,打算五年後統一凍結所有量子易受攻擊的舊地址,同時給出一條基於零知識證明的遷移通道(逃生通道)。

但逃生通道有個硬前提:你得有BIP-39助記詞。

BIP-39是2013年才引入的標準。12個或者24個英文單詞,可以恢復整個錢包。而且從助記詞到私鑰經過了2048次哈希迭代,量子計算機也很難逆向破解。

早期巨鯨用的是完全不同的方式。私鑰就是私鑰,備份的是wallet.dat文件(甚至就是手抄私鑰)。沒有助記詞,沒有標準化的恢復機制。

中本聰挖礦是2009到2010年的事。他用的P2PK地址,公鑰直接暴露;他持有的私鑰也沒有對應的BIP-39助記詞。

這就是教鏈那篇文章的核心洞見:2013年之後的人有助記詞,可以通過ZK證明自救;2013年之前的裸私鑰持有者,沒有助記詞,只能靠傳統簽名自證,而量子時代簽名等於自曝。

中本聰被關在了這個三重困境裡。

PACTs是什麼

Dan Robinson的提案試圖為中本聰們提供一個自行打造救生艇逃生的新思路。

PACTs的核心思路很簡單:不移動幣,只證明所有權,而且在量子威脅到來之前悄悄證明。

具體怎麼做呢?

第一步,趕在量子計算時代前面,提前生成證明。持有老地址私鑰的人,用BIP-322這個標準對一段隨機消息簽個名,生成一份獨一無二的所有權證明。再混入一個隨機鹽——你可以理解為給這份證明加一勺調料,讓別人無法暴力猜出原始信息。然後把簽名和鹽打包,通過OpenTimestamps服務錨定到比特幣區塊鏈上,蓋一個永久的時間戳。所有這些文件保存在自己手裡,不公開。

第二步,未來需要動幣時,出示證明。假設比特幣網路確實採用了BIP-361,凍結了所有量子易受攻擊的舊地址。這時候,如果你想讓那些被凍結的幣重新動起來,可以用一個STARK證明,向全網展示,你在量子威脅出現之前,就已經創建了那個時間膠囊。

STARK是一種抗量子計算機攻擊的零知識證明。驗證者不需要知道你到底是誰、有多少錢、什麼時候做的證明,只需要確認你確實提前做好了那個承諾。

第三步,網路驗證通過,幣釋放

最關鍵的是,整個過程不暴露地址、不暴露金額、不暴露原始時間戳。

這就是零知識證明的魔力。你證明了你知道某個秘密,但完全不透露這個秘密是什麼,也不透露任何和這個秘密相關的元數據。

PACTs能救中本聰嗎

教鏈看到有些人說,PACTs不適用於中本聰的地址。這個說法其實是混淆了兩個不同的問題。

技術上,PACTs完全可以兼容中本聰用的P2PK地址。簽名、做承諾、蓋時間戳、未來用STARK贖回,每一步都沒有原理性障礙。

那為什麼有人說它不適用呢?因為PACTs有一個硬前提,即必須由私鑰持有者本人,在量子凍結生效之前,主動去創建這個承諾。如果私鑰的控制人已經消失了,或者永遠不會出現,那麼技術上再完美,也沒人能替他做這件事。

所以不是技術不兼容,而是執行的前提可能不成立。

而中本聰到底還在不在,沒有人知道。

這就引出了PACTs最精妙的地方。

薛定谔的中本聰

假設中本聰還活著,並且看到了BIP-361和PACTs的討論。他有兩個選擇:什麼都不做,或者秘密創建一個PACTs承諾。

如果他什麼都不做,若干年後如果凍結被社群實施,他的幣將被永久鎖死。世界會推斷:中本聰果然不在了。

如果他秘密創建了承諾,但永遠不去使用它。若干年後凍結實施,他的幣同樣被鎖死。世界做出完全相同的推斷:中本聰果然不在了。

看到了嗎?兩種截然不同的真相,指向完全相同的可觀測結果。

而如果他某一天決定使用那個承諾去贖回,世界才會後知後覺地知道:原來那個人還在,還一直關注著比特幣。

但是的但是,那个贖回動作本身,很可能會引爆一場比量子盜幣更猛烈的風暴。媒體、黑客、政府、陰謀論者,全世界都會發瘋似地去追查那個提交STARK證明的人。無論密碼學把身份隱藏得多好,那個提交行為本身就是一個信號——中本聰還活著。

所以PACTs與其說是一條救生艇,不如說是一扇只有自己知道密碼的後門。門後是一個可以永遠不進去的房間,但房間裡確實放著提前藏好的證據。

而這個房間裡到底有沒有東西,外界永遠無法知道。

這枚時間膠囊處於一种量子態。它同時存在,又同時不存在。只有當中本聰本人選擇讓它坍縮——也就是說真的去贖回那筆幣——波函數才會變成一個確定的結果。

在此之前,任何猜測都是徒勞的。

教鏈覺得最有趣的地方在於,以數字擬真的量子態,對抗量子計算機的量子態,有一種以毒攻毒的美。

無聲的迷宮

第一,PACTs不是BIP-361的替代品,而是它的補充。BIP-361解決的是社群如何統一行動的問題,PACTs解決的是個人在不暴露身份的前提下自救的問題。兩者可以並行。

第二,PACTs的落地還需要很長的路。比特幣網路目前不支持STARK驗證。Dan Robinson自己也承認,這需要一套全新的基礎設施,包括多重簽名錢包、複雜腳本、硬體錢包支持,都需要仔細的標準化。這不是一兩個月能完成的事。

第三,實踐上,對於普通用戶來說,BIP-39助記詞依然是量子時代最可靠的逃生通道。正如教鏈4月份那篇文章裡說的,確保你的錢包是基於BIP-39助記詞生成的。12個單詞或者24個單詞,抄在紙上,鎖在保險箱裡。

第四,關於中本聰。教鏈覺得,PACTs最大的價值不是真的救了他的幣,而是給了他一個繼續沉默的理由。他不需要做任何可能暴露自己的事,就保留了未來某一天悄悄復活的可能性。這種可能性是否存在,沒有人能知道,也沒有人能證偽。

也許這正是中本聰會喜歡的設計。比特幣的創造者,用密碼學為自己編織了一個完美的無聲迷宮:要么永遠消失,幣被永久凍結;要么悄悄留下後門,但永遠不用。

無論哪種結局,外界都只能看到同一個結果。

而真相,可能永遠藏在那個未被觀測的量子態裡。

BTC3.65%
查看原文
此頁面可能包含第三方內容,僅供參考(非陳述或保證),不應被視為 Gate 認可其觀點表述,也不得被視為財務或專業建議。詳見聲明
  • 打賞
  • 回覆
  • 轉發
  • 分享
回覆
請輸入回覆內容
請輸入回覆內容
暫無回覆