OpenAI聲稱密碼學突破 比特幣暫無即時威脅

OpenAI聲稱，其人工智能系統已推翻「指數時間假設」（Exponential Time Hypothesis, ETH）。該假設長期用於描述某些邏輯問題的計算難度。10月26日的公布促使研究人員組織獨立審查。已披露結果並未展示可實際攻擊比特幣的方法。文中ETH指指數時間假設，並非以太幣。 該假設涉及3SAT：要求電腦為一組邏輯條件賦予真或假值，以滿足全部條件。假設認為，最壞情況下的求解時間會隨變量數目呈指數增長。一份10月17日成稿、10月25日修訂的手稿聲稱，已找到確定性算法，可精確計算固定寬度布爾公式的滿足賦值數目；手稿並稱運行時間為次指數級，所需空間為多項式級。次指數運行時間隨問題規模增長而慢於指數上限，但不代表現有電腦可輕易求解。披露的界限既未建立多項式時間算法，也未解決P=NP問題。P=NP問題問的是：若一個決策問題的答案可在多項式時間內驗證，是否也必然可在多項式時間內計算。 OpenAI表示，證明助手Lean已驗證結果。不過，Lean的範圍說明所描述的次指數時間界限，弱於手稿最強的主張。組織獨立審查的研究人員明確表示不作出認證。組織者信件稱：「我們的參與不應被視為對該主張的認證。」CryptoSlate僅檢視引言第1至8頁，並未審閱完整證明。 比特幣挖礦與授權動用資金涉及不同的安全任務。礦工尋找低於目標值的區塊標頭哈希；簽名則證明有權動用資金。比特幣按BIP340所述，在secp256k1橢圓曲線上使用ECDSA及Schnorr簽名。BIP340描述的安全假設涉及橢圓曲線離散對數及哈希函數。密鑰恢復問題問的是，攻擊者能否由對應公鑰取得私鑰。推翻最壞情況下的SAT假設，本身並不展示如何攻破上述特定安全機制。實際攻擊需要合適編碼、可運行實作，以及就目標任務比較成本。SAT公式的變量數目不能替代密碼密鑰或哈希的位元長度。Lean的範圍以編碼後公式的變量及輸入長度表述該界限；把密碼位元數代入該界限，會繞過實際問題所需的表示方式。 比特幣每2,016個區塊調整一次挖礦目標。該調整管轄區塊生產，而非簽名授權。調整也不會消除私人挖礦優勢的重要性。在OpenAI早前公布一項數學結果後，Justin Drake於10月7日呼籲為「掩體模式」作準備。Drake的警告針對潛在未來攻擊；較早前的公布並未展示可實際攻破ECDSA或RSA。OpenAI在10月26日的主張則屬另一項結果。 Ryan Williams表示，他與Russell Impagliazzo、Mohan Paturi獲邀安排公開、獨立審查，不設保密協議，也不支付報酬。Williams另稱，他曾要求OpenAI檢查現有密碼系統是否已被攻破，並轉述這些系統似乎仍然安全。Williams的說法只是關於向OpenAI提出檢查要求的二手資料，並非獨立密碼審計。OpenAI表示，要達致實際改善仍需大量額外研究。Williams稱，他不知道開發者最終會否看到好處；他未排除12個月內取得進展，也未排除毫無此類發展。組織者計劃在審查期間公布研究結果。