幣安聯合創始人趙長鵬給Vitalik數學打99.99分,給自己打了0.01分
幣安聯合創始人趙長鵬於10月8日給Vitalik Buterin的數學打了99.99分,給自己打了0.01分,並寫兩人加起來也許能做成點什麼。他同時說,就算看懂的和自己一樣少,這條長帖也值得讀。帖子瀏覽超過120萬次。
被引用的是Buterin前一天的密碼學警告。他不建議任何人今天就慌着把資金轉到新錢包,但認爲該認真對待人工智能加速數學帶來的風險,減少對量子脆弱密碼、也減少對可能被人工智能打弱的密碼的暴露。他點名的新風險區是ML-DSA、全同態加密和格密碼。
舊假設是橢圓曲線會破、哈希安全、格也安全。他認爲未來兩年的人工智能數學有較大可能重創格的具體安全性。類比是因數分解從樸素的2的n/2次方,被數域篩降到2的O(n的1/3次方),所以RSA密鑰要約400字節而不是64字節。他問橢圓曲線和格里是否也有這種未被發現的結構,人找不到、機器人很快能找到。
因此以太坊Lean路線圖過去一年走向只用哈希:不要格,不要ML-DSA,不要Falcon,零知識證明裏也不要基於格的承諾。簽名用基於哈希的WOTS或SPHINCS。簽名和證明已經知道怎麼只靠哈希;更大的麻煩是公鑰加密,而定理表明公鑰加密不能只靠哈希,必須有陷門結構。他的推斷是,想要看起來長期安全,把密鑰尺寸乘以10。若人工智能用兩年帶來50年的數學,格還在,但必須大很多;到那個尺寸,能用哈希的地方哈希會更有效率。
他的個人清單是:能用哈希就優先哈希;格參數要更偏執,這超出區塊鏈,包括網站訪問、加密通信和匿名網絡;隱私協議不要把加密筆記放上鍊;若不難,把資金放在還沒發過交易的地址,但遷移要小心,他本人在搞砸的遷移裏虧的錢,多於所有黑客事件之和;多籤確認放在鏈下,這樣簽名者的簽名不公開,即便ECDSA更快失守,也只退化成收集簽名的那一方,而不是任何人都能取走。
這是研究立場的轉發,不是聯合開發公告。趙長鵬沒有承諾幣安或BNB鏈改簽名。買方是要決定是否提前換未使用地址的持幣人,賣方是把格密碼風險寫進路線圖的以太坊研究員。資金沒有因打分轉移。受益的是已經走向哈希簽名的Lean方案,承壓的是把ML-DSA和全同態加密當默認安全的項目。他明確說不要今天搶着搬錢包。
來源:公開信息
ABAB AI 解讀
以太坊的密碼路線在過去一年已經從格往哈希收。Lean方案去掉ML-DSA、Falcon和格承諾,簽名改用WOTS或SPHINCS。這是在NIST把格算法立爲後量子標準之後的反向押注:標準假設格能扛住量子,Buterin假設人工智能會在結構裏找到類似數域篩的捷徑。數域篩把RSA從指數級降到次指數,密鑰因此脹到約400字節。他把同一模板套到格上,給出的緩衝是密鑰尺寸乘以10。
趙長鵬的0.01分不調動幣安的簽名系統。他轉發的是閱讀建議。真正的資源在以太坊客戶端和錢包:未使用地址、鏈下多籤、加密筆記不放上鍊。Buterin自己寫,搞砸的遷移虧掉的錢多於全部黑客。所以清單把“不要今天搬”放在第一句。
可比的是2010年代從SHA-1遷到SHA-2時瀏覽器給的多年窗口,以及比特幣社區對Shor算法的討論至今沒有強制換地址。差別是這次把兩年人工智能數學等同於五十年人類數學。行業在觀察段:路線圖已改,鏈上強制升級沒有宣佈。
本質是技術替代的預備,不是替代本身。機制是有結構的數學對象更容易被新工具拆開,哈希的設計目標是沒有可利用結構。公鑰加密又不能沒有陷門,所以網站鎖和加密通信比區塊鏈更難只靠哈希。打分把這套判斷從研究員傳到交易所創始人,沒有變成聯合實驗室。
ABAB News · 認知定律
有結構的鎖,更容易被新工具拆開
遷移虧的錢,可以多於黑客
打分能傳閱讀,傳不了協議升級