四月中旬教鏈寫過一篇科普,聊的是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年之前的裸私鑰持有者,沒有助記詞,只能靠傳統簽名自證,而量子時代簽名等於自曝。
中本聰被關在了這個三重困境裡。
Dan Robinson的提案試圖為中本聰們提供一個自行打造救生艇逃生的新思路。
PACTs的核心思路很簡單:不移動幣,只證明所有權,而且在量子威脅到來之前悄悄證明。
具體怎麼做呢?
第一步,趕在量子計算時代前面,提前生成證明。持有老地址私鑰的人,用BIP-322這個標準對一段隨機消息簽個名,生成一份獨一無二的所有權證明。再混入一個隨機鹽——你可以理解為給這份證明加一勺調料,讓別人無法暴力猜出原始信息。然後把簽名和鹽打包,通過OpenTimestamps服務錨定到比特幣區塊鏈上,蓋一個永久的時間戳。所有這些文件保存在自己手裡,不公開。
第二步,未來需要動幣時,出示證明。假設比特幣網路確實採用了BIP-361,凍結了所有量子易受攻擊的舊地址。這時候,如果你想讓那些被凍結的幣重新動起來,可以用一個STARK證明,向全網展示,你在量子威脅出現之前,就已經創建了那個時間膠囊。
STARK是一種抗量子計算機攻擊的零知識證明。驗證者不需要知道你到底是誰、有多少錢、什麼時候做的證明,只需要確認你確實提前做好了那個承諾。
第三步,網路驗證通過,幣釋放。
最關鍵的是,整個過程不暴露地址、不暴露金額、不暴露原始時間戳。
這就是零知識證明的魔力。你證明了你知道某個秘密,但完全不透露這個秘密是什麼,也不透露任何和這個秘密相關的元數據。
教鏈看到有些人說,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最大的價值不是真的救了他的幣,而是給了他一個繼續沉默的理由。他不需要做任何可能暴露自己的事,就保留了未來某一天悄悄復活的可能性。這種可能性是否存在,沒有人能知道,也沒有人能證偽。
也許這正是中本聰會喜歡的設計。比特幣的創造者,用密碼學為自己編織了一個完美的無聲迷宮:要么永遠消失,幣被永久凍結;要么悄悄留下後門,但永遠不用。
無論哪種結局,外界都只能看到同一個結果。
而真相,可能永遠藏在那個未被觀測的量子態裡。
113.49萬 熱度
18.75萬 熱度
90.45萬 熱度
28.53萬 熱度
1.99億 熱度
量子恐慌的第三副解藥:中本聰的秘密救生艇
四月中旬教鏈寫過一篇科普,聊的是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最大的價值不是真的救了他的幣,而是給了他一個繼續沉默的理由。他不需要做任何可能暴露自己的事,就保留了未來某一天悄悄復活的可能性。這種可能性是否存在,沒有人能知道,也沒有人能證偽。
也許這正是中本聰會喜歡的設計。比特幣的創造者,用密碼學為自己編織了一個完美的無聲迷宮:要么永遠消失,幣被永久凍結;要么悄悄留下後門,但永遠不用。
無論哪種結局,外界都只能看到同一個結果。
而真相,可能永遠藏在那個未被觀測的量子態裡。