1994年4月,作為麻省理工學院計算機科學實驗室成立35周年的慶祝活動,時任實驗室主任MichaelDertouzos設計了一個“創新成果時間膠囊“。
他將一系列計算機領軍人物的創新成果收錄其中,準備在35年后再取出來,作為實驗室成立70周年的獻禮工程。
不過問題來了,如何能保證剛好在35年之后取出來呢?這可難不倒麻省理工學院這些頂級的科學家,他們為時間膠囊設計了一把“密碼鎖“,也就是一道密碼學難題。
同時,他們還非常嚴謹地考慮了未來計算機算力的提升速度,特意加大難度,使得密碼學難題至少需要35年時間來破解。
業界一眾密碼學大牛也都十分清楚,麻省理工學院給出的密碼學難題肯定不是鬧著玩的,所以就沒在上面浪費時間。于是乎,這道密碼學難題足足塵封了20年之久。
今年4月,一名程序員成功地破解了麻省理工學院的密碼學難題,更厲害的是,這名程序員并不是用了20年,他在2015年才偶然發現了這個密碼學難題,也就是說他破解只用了3年的時間。
他是怎么做到的?他又有著什么樣的訣竅?讓我們一起走進這名程序員的傳奇。
RSA算法發明人設計了一個塵封35年的密碼學難題
Cobo今日正式在Opensea上線 “ Cobo 4th Anniversary NFT ”:據官方消息,機構托管與資管技術服務商 Cobo今日正式在Opensea上線 “ Cobo 4th Anniversary NFT ” ,創始人神魚在 Twitter 贈予1000位行業建造者和Cobo的同行人;以慶祝 Cobo 成立四周年了。并公布三問三答活動提供優質內容的投資者白名單。
據悉,Cobo 在今年9月宣布完成由 DST Global、IMO Ventures 和 A&T Capital領投的 4000 萬美元 B 輪融資。并推出合規DeFi基金 與 DaaS -“DeFi as a Service”服務,為全球金融機構(及其客戶)創建的允許他們安全合規快捷接入 DeFi 的一套標準化的 SaaS 化的服務。[2021/12/20 7:51:21]
故事的主人公是BernardFabrot,一名自學成才的比利時程序員。在講他如何解迷之前,我們先來從頭看看故事的起因。
1999年的4月初,著名建筑師FrankGehry收到了一個時間膠囊,時間膠囊就是即將現代發明的有代表性意義的物品裝入容器內,密封后深埋地下,在未來的某一時刻打開。按照指示,這個時間膠囊要放入他主持修建的麻省理工學院「計算機科學和人工智能實驗室」的大樓中。
DApp應用Forsage上ETH總值快接近1億美元:7月22日,以太坊研發者Philippe Castonguay發布推文稱,旁氏騙局DApp應用Forsage上的ETH價值已經快要接近1億美元,其Gas費消耗量已占到每日Gas使用量的近10%。月初消息,DApp Forsage被菲律賓證券交易委員會認定為龐氏騙局。且曾于6月在以太坊上交易活動排名首位。[2020/7/22]
這個時間膠囊可以說是一個早期計算機歷史的博物館,它里面包含由微軟創始人比爾·蓋茨和圖靈獎得主、萬維網之父TimBerners-Lee爵士等計算機領軍人物捐獻的50件計算機歷史上偉大的藏品。
這其中,很可能包括1975年,微軟為麻省理工學院開發的AltairBASIC編輯器,也是微軟有史以來第一個產品。
顧名思義,時間膠囊需要有了時間的沉淀才會變得更有意義。于是這個與計算機科學密切相關的時間膠囊采取了計算機科學的方法,設計了一個密碼學難題,只有破解了這個難題才能打開時間膠囊,這個密碼學難題只能通過一次次按順序的計算解開。
考慮到計算機算力的發展速度,解開這個難題至少需要計算35年。
這個別出心裁的設計出自RonRivest之手,對于Rivest這個人你可能不太熟悉,但說到大名鼎鼎的非對稱加密的RSA算法你可能會覺得有點熟悉。沒錯,Rivest就是RSA算法三個發明人中的“R”。
動態 | Ethos Universal錢包宣布支持25種ERC20代幣:據bitcoinexchangeguide報道,Voyager最近收購的區塊鏈資產生態系統Ethos宣布將25個ERC20代幣添加到其Universal錢包中,將允許用戶存儲、發送和接收代幣。[2019/3/22]
RonaldLinnRivest,美國密碼學家;RSA加密算法發明者之一
同時,Rivest還寫了一本書,就是被稱為程序員必修課的《算法導論》。RSA算法可以說是有史以來最重要的密碼學算法之一,今天加密貨幣的輝煌也離不開其底層RSA加密算法的支持。
雖然Rivest說這個密碼學難題并不復雜,但實際上,計算這個難題的答案至少需要花費35年的時間。甚至在今天故事的主人公Fabrot把難題的答案發給麻省理工學院的時候,相關負責人都已經忘了這個問題的存在。
在今年4月15日,也就是Rivest提出這一密碼學難題后的20年,自學成才的比利時程序員BernardFabrot解決了這個難題。
按照這個密碼學難題官方說明的指示,Fabrot準備將解決方案發送給麻省理工學院計算機科學實驗室主任,但他驚訝地發現這個實驗室已經不復存在,早在2003年,這個實驗室就與麻省理工學院人工智能實驗室合并,成立了現在的麻省理工學院計算機科學和人工智能實驗室。
Coinbase聯合創始人Fred Ehrsam:區塊鏈不只是一場瘋狂的投機游戲:今日,Coinbase聯合創始人Fred Ehrsam和A16Z Chris Dixon進行對話。Fred Ehrsam認為區塊鏈最大的意義在于,我們第一次把經濟系統嵌入到了互聯網里。因為在互聯網的基礎設計上,我們并沒有把這種支付的能力寫入到底層協議的代碼里面,所以你沒辦法直接在協議層支付購買你想要的商品或服務。而去中心化的區塊鏈和token則是一種更直接的經濟系統。[2018/4/12]
更令人震驚的是,這個新成立的實驗室也早已忘了這個密碼學難題的存在,Fabrot說,現任麻省理工學院計算機科學和人工智能實驗室主任DanielaRus在收到解決方案時一頭霧水,因為她根本不知道這個密碼學難題是怎么回事。
?「簡單」的麻省理工學院密碼學難題
那么,Rivest設的這個密碼學難題到底是什么呢?
簡單來說,這個難題就是要找到運行近80萬億次平方操作的結果。比如說,如果你從2開始計算,平方后就得到了4,緊接著4再進行平方計算就得到了16,這個過程需要重復80萬億次。
麻省理工學院密碼學難題的形式十分簡單
加拿大數字銀行VersaBank將推出數字貨幣保險庫服務:一家名為VersaBank的數字加拿大銀行即將迎來兩名用戶,使用其加密貨幣保險庫服務。該銀行周一宣布,它已簽署了兩份諒解備忘錄——一份是加密貨幣交易所,另一份是“加密貨幣基金”。Versa在一份聲明中表示,MOUs的意圖是“促進有關VersaVault提供托管服務的討論,并基于安全沙盒進行引導。”[2018/3/20]
當然了,每次平方計算后還需要對一個很大的數字n求模值,也就是求除以n之后的余數,最后算得的結果與難題中給定的一個數字進行數學計算,你就會得到一個新的數字,也就是這個密碼學難題的答案。
雖然說當前密碼學難題已經被破解,但出題人Rivest和破題人Fabrot都拒絕透露確切的答案。他們準備在5月15日舉行一個開啟時間膠囊的儀式,屆時將會在儀式上公布答案。
你可能覺得這看起來也不難嘛,用更多的計算機加大算力不就可以了么?事實上沒那么簡單。這個密碼學難題的關鍵在于它需要順序操作,也就是說你需要在前一步計算結果的基礎上進行這一步的平方計算,這意味著你只能一步步計算來得到結果,而無法通過當下常用的并行化計算來更快地得到答案。
RonRivest在當年的說明中,給出的解題思路示例
因此使用更多的計算機或是超級計算機都無濟于事。考慮到「摩爾定律」,以及在1999年進行平方操作所需要的時間,Rivest估計僅靠計算得出密碼學難題的答案至少需要35年。
而作為一名獨立開發者,Fabrot是在2015年才偶然發現了這個密碼學難題。Rivest最初使用Java語言開發了破解難題的代碼。
后來,他便意識到如果借助GNU多精度運算程序庫這個用C語言編寫的精確運算工具可以加快破解難題的速度。
所以Fabrot立即著手去做,他在家里的臺式計算機上專門分出一個CPU內核用于運行平方計算,在此期間除了他去度假或是家里停電,Fabrot的電腦一直在全天候運行。
“在這些年里,除了非常親密的幾個朋友之外,我沒有向任何人透露過我正在解決這個密碼學難題,”Fabrot說,“我相信自己可以做到,同時我也知道如果我告訴其他人,他們可能會使用更強大的CPU來超越我。”
三年半之后,Fabrot終于完成了大約80萬億的平方計算,得到了密碼學難題的結果。
解題者不止Fabrot一個
Fabrot很幸運,雖然他不知道,但此時一群計算機科學家和密碼學專家也正在開展一個名為Cryptophage的項目,該項目主攻的目標是硬件,目標是使用專門的硬件來解決麻省理工學院提出的密碼學難題,而且在Fabrot得到結果時,Cryptophage團隊的解決方案也在出爐的邊緣。
在前英特爾工程師SimonPeffers的帶領下,Cryptophage團隊當時正在研究將可驗證的延遲函數作為以太坊等區塊鏈安全機制的可能性。
可驗證的延遲函數是對Rivest早期延時加密工作的進一步拓展,它們的解決方案都只能通過順序操作得出。Peffers說,在研究的過程中,Cryptophage團隊遇到了Rivest提出的密碼學難題,這個難題似乎是為他們的研究量身定制的“考試”。
3月中旬,Cryptophage團隊開始研究由土耳其薩班哲大學研究員ErdincOzturk設計的算法。這個算法為減少平方操作之間的延遲作了專門的優化,并且該算法可以在現場可編程門陣列上運行。
現場可編程門陣列這種多用途芯片可以為運行特定算法做出優化,因而它比通用的CPU更加高效。通過使用Ozturk的算法優化,這個密碼學難題在現場可編程門陣列上的破解速度比在沒有軟件層面優化的高端商用CPU上快了約10倍。
根據現場可編程門陣列的計算能力,Cryptophage團隊推算出他們將在5月10日晚上得出麻省理工學院密碼學難題的正確答案。
然而,當他們聯系麻省理工學院準備分享這份難題即將被攻克的喜悅時,迎接他們的是一盆冷水,出題人Rivest告訴他們Fabrot已經捷足先登了。
“在這二十年里沒有任何人來找過我們,直到這兩個人幾乎在同一天告訴我們:“我們已經解決了你的密碼學難題,”出題人Rivest說,“這是一個令人驚訝的巧合。”
同時,Rivest也很快承認自己高估了密碼學難題的難度。Rivest表示預測很長一段時間內的技術進步是一件很困難的事,在當時他并沒有預料到現場可編程門陣列取得的計算能力突破,而且在那時芯片并不像現在這么復雜,用途也沒有這么廣泛。
雖然Cryptophage團隊并不是第一個解決密碼學難題的人,但Peffers表示他們仍將參加5月15日開啟時間膠囊的儀式。
時間膠囊中都有些什么只有它的設計師MichaelDertouzos知道,不過目前可以確定其中包括圖靈獎得主、萬維網之父TimBerners-Lee爵士,以太網之父BobMetcalfe,微軟創始人兼微軟首款產品AltairBASIC的開發者比爾·蓋茨等幾位計算機先驅人物捐贈的創新成果。
不過Fabrot表示,他對時間膠囊最大的期待,就是里面包含的原始版本的世界上最早的電腦游戲Zork。
圖片來源:維基百科
麻省理工學院密碼學難題的官方說明:
https://people.csail.mit.edu/rivest/lcs35-puzzle-description.txt
這事兒本質和區塊鏈關系不大,是一種人性的實驗。慶祝勞動節的最好方式是勞動。這當然是一句玩笑話,不過對于區塊鏈行業的一些從業者,是沒有五一節的,很多公司996,而一些創業者或者公司/組織的負責人就.
1900/1/1 0:00:00據路透社4月17日報道,日本金融服務局將在加密交易所中引入關于冷錢包存儲加密貨幣的新規定。路透社援引知情人士的話稱,據報道,該國的金融監管機構將要求加密貨幣交易所加強對冷錢包的內部監管.
1900/1/1 0:00:00文章系金色財經專欄作者供稿,發表言論僅代表其個人觀點,僅供學習交流!金色盤面不會主動提供任何交易指導,亦不會收取任何費用指導交易,請讀者仔細甄別,謹防上當.
1900/1/1 0:00:001、熱點解讀 五一期間BTC一路高歌猛進,頗有一股牛來的氣勢,但由于比特幣強大的吸虹效應,其他主流幣和山寨幣并沒有給出好臉色.
1900/1/1 0:00:00互聯網從PC端進入移動互聯網時代后,各種APP如雨后春筍般相繼出現,極大地豐富了人們的移動互聯網生活。購物、外賣、打車、資訊、社交等各方面的生活方式都發生了翻天覆地的變化.
1900/1/1 0:00:00Dgroup創始人趙東邀朋友分析BFXIEO的潛在風險和回報,對其文章大加贊賞,并表示“我無法完全客觀,因為我是股東”.
1900/1/1 0:00:00