AI若攻不破密碼學假設，信心反而比十年驗證更強
一條「bunker模式」警告推文引發恐慌，但專家指出：目前沒有證據說明密碼學假設被削弱——真正的問題是AI實驗室從未公開是否試過用模型攻擊這些假設。
原視頻在 YouTube 上放不出來，用音頻聽：
核心論點 · 點時間戳可跳到原聲
700篇數學突破論文，密碼學議題一篇沒有
Dan Boneh看完OpenAI發布的約700篇論文列表後發現，這些論文展示的數學與計算機科學進展令人印象深刻，但沒有一篇真正涉及密碼學問題，甚至沒有涉及理論密碼學裡構造新密碼系統的開放問題。這種「該出現卻沒出現」的缺席正是整場辯論的起點——它既可能說明AI模型在密碼學上確實很弱，也可能說明實驗室發現了什麼但出於種種原因沒有公開。
— Dan Boneh密碼學的安全感來自「攻不破」,不是「證明」
現代密碼學的基礎假設(比如橢圓曲線上的離散對數、格上的最短向量問題)從未被數學證明為真正困難——證明這一點等價於解決P與NP是否相等這一著名難題。人們幾十年來不斷嘗試攻破這些假設卻屢戰屢敗，這種「嘗試並失敗」的歷史才是信心的真正來源。所以如果AI實驗室讓最強模型全力攻擊這些假設卻依然攻不破，這不是壞消息，而是前所未有的強力背書——哪怕模型只削弱了10比特的安全性，也是極有價值的信息。
— Dan BonehAI能把十年驗證壓縮成一個月
過去，一套新密碼系統要經過約十年的業內分析、攻擊嘗試才能被信任，這依賴於全球密碼學家群體把注意力正確分配到重要系統上。現在實驗室可以直接讓最強、最不受限的模型全力攻擊某個方案一個月，如果模型攻不破，得到的信心可能超過傳統十年流程積累的信心。問題不在於AI讓密碼學更危險，而在於實驗室掌握的這類測試結果目前並不對外公開，信息差才是恐慌的根源。
真正該擔心的不是「人類太笨」,而是「算法根本不存在」
討論釐清了一個關鍵區別：密碼學界相信像離散對數這樣的難題不存在高效算法，不是因為「人類還沒聰明到找到它」,而是因為相信這種算法壓根不存在。如果某個困難問題的高效算法確實不存在，那麼無論AI多聰明都無法憑空發明出一個不存在的算法。真正的風險敞口，是「我們對不存在性的信念本身可能是錯的」,而不是「AI比人類聰明所以遲早能找到」。
— Dan BonehAI的威脅範圍比量子計算機更廣
量子計算機的威脅只針對橢圓曲線一類系統(如ECDSA),這也是為什麼業界早就在準備遷移到後量子密碼學。但AI數學能力帶來的威脅原則上更廣——它可能同樣能削弱甚至攻破那些被設計用來抵禦量子計算機的格密碼系統，而格密碼恰恰是目前準備遷移到的「後量子」候選方案。也就是說，現在最需要知道的是最新模型能否攻破這些後量子候選方案本身。
— Dan Boneh格密碼一旦出錯就整體崩潰，哈希簽名可以替換零件
區塊鏈社區圍繞「遷移到格簽名還是哈希簽名」爭論不休。哈希簽名的優勢在於結構穩固：就算某個具體哈希函數被發現不夠安全，換一個哈希函數繼續用同一套結構即可。而格密碼的多種方案依賴同一類共同假設，一旦這個基礎假設被證明不成立，整個機制會崩潰且無法修復。代價是哈希簽名犧牲了格密碼具備的門限簽名、非交互式密鑰派生等更豐富的代數性質，密碼學家因此對「被迫轉向哈希方案」感到有些可惜。
— Dan BonehAI帶來的是零bug軟件，不是更大的攻擊面
有人提出一個樂觀反轉：既然AI能被用來攻擊密碼系統，它同樣能被初創公司用來在部署前掃描修復自己代碼裡的漏洞——過去一套密碼系統往往是部署之後才真正吸引密碼學界的攻擊性關注，這是最糟糕的攻破時機。隨著單位智能成本過去一年下降90%到95%,而軟件中的bug數量是有限的，理論上可以漸進逼近「零錯誤」的軟件。這輪變化更可能提升全世界的安全水位，而不是削弱它。
就算橢圓曲線真被攻破，互聯網已經留了後手
許多主流互聯網連接(包括此前升級的iMessage等系統)已經採用「混合加密」,同時用橢圓曲線和格密碼加密同一條數據——其中一種被攻破也不影響整體安全，因為另一種仍然保密。如果格密碼也被攻破，下一步就是標準化第三類方案，這個過程會更久、更倉促，但路徑是清楚的。真正的風險不在於沒有退路，而在於實驗室是否會負責任地披露攻破結果，給機構留出升級時間。
— Dan Boneh原話 · 已逐字校驗
everyone calm down. Don't panic. Calm down. The world today is the same as it was a year ago, two years ago.
大家都冷靜下來，別恐慌，冷靜。今天的世界和一年前、兩年前是一樣的。
Dan Boneh1:01
The fact that people try to break them and fail gives us confidence.
人們嘗試攻破它們卻屢屢失敗，這件事本身就給了我們信心。
Dan Boneh7:04
We took our best, most fully-unconstrained, most cyber- capable model, we told it to go full throttle, and we spent $20 or $50 million trying to break this scheme.
我們用了最好的、最不受限的、網絡能力最強的模型，讓它全力以赴，花了兩千萬或五千萬美元去攻破這個方案。
We believe that it simply does not exist.
我們相信它壓根就不存在。
Dan Boneh16:11
I think we humans tend to struggle with unlikely risks that seem very scary to us.
我認為人類往往難以應對那些看起來很可怕、但發生概率很低的風險。
If for some reason it turns out that the basic problems on the lattices are not as difficult as we thought, the entire mechanism will collapse
如果出於某種原因，格上的基礎難題被發現沒有我們想像的那麼難，整個機制就會崩潰。
Dan Boneh25:17
Then we asymptotically approach zero errors.
那樣我們就會漸進地逼近零錯誤。
數字與實體
| OpenAI數學突破論文數量 | 約700篇 | 2:04 |
| 削弱安全性的參考量級 | 10比特安全性 | 8:04 |
| 單位智能能力成本降幅(一年內) | 90%-95%(有人估99%) | 35:38 |
術語
- lattice-based cryptography格密碼
- 基於格上數學難題(如最短向量問題)構造的公鑰密碼體系，是主流後量子候選方案之一。
- cryptographic agility密碼學靈活性
- 系統設計上能快速從一種密碼方案切換到另一種，以應對某個假設被攻破的風險。
- SNARK recursionSNARK遞歸
- 用一個證明去驗證另一個證明已驗證過某結果，層層嵌套的零知識證明技術，安全性尚不完全明確。
- P vs NP problemP與NP問題
- 計算機科學著名開放難題，若被解決將決定許多密碼學難題是否真的「困難」。
收聽指南
關注區塊鏈密碼學遷移決策的工程師、投資人，以及想弄清AI數學突破和密碼學恐慌推文之間關係的人。
開場前兩分鐘主持人介紹嘉賓身份的部分可以跳過，不影響理解後續論證。