1994年4月,作為麻省理工學院計算機科學實驗室成立35周年的慶祝活動,時任實驗室主任MichaelDertouzos設計了一個“創新成果時間膠囊“。
他將一系列計算機領軍人物的創新成果收錄其中,準備在35年后再取出來,作為實驗室成立70周年的獻禮工程。
不過問題來了,如何能保證剛好在35年之后取出來呢?這可難不倒麻省理工學院這些頂級的科學家,他們為時間膠囊設計了一把“密碼鎖“,也就是一道密碼學難題。
同時,他們還非常嚴謹地考慮了未來計算機算力的提升速度,特意加大難度,使得密碼學難題至少需要35年時間來破解。
業界一眾密碼學大牛也都十分清楚,麻省理工學院給出的密碼學難題肯定不是鬧著玩的,所以就沒在上面浪費時間。于是乎,這道密碼學難題足足塵封了20年之久。
今年4月,一名程序員成功地破解了麻省理工學院的密碼學難題,更厲害的是,這名程序員并不是用了20年,他在2015年才偶然發現了這個密碼學難題,也就是說他破解只用了3年的時間。
他是怎么做到的?他又有著什么樣的訣竅?讓我們一起走進這名程序員的傳奇。
RSA算法發明人設計了一個塵封35年的密碼學難題
加拿大銀行VersaBank將推出加元穩定幣VCAD:2月24日消息,加拿大銀行VersaBank宣布推出穩定幣VCAD。該穩定幣是首個由北美銀行存款發行和支持的數字貨幣。該穩定幣與加元掛鉤,將計劃用于商業。為推出該該穩定幣,VersaBank已與加密資產管理公司3iQ和區塊鏈開發公司Mavennet的合資企業Stablecorp進行合作。預計VCAD將在未來幾個月向公眾開放。(CoinDesk)[2021/2/24 17:49:29]
故事的主人公是BernardFabrot,一名自學成才的比利時程序員。在講他如何解迷之前,我們先來從頭看看故事的起因。
1999年的4月初,著名建筑師FrankGehry收到了一個時間膠囊,時間膠囊就是即將現代發明的有代表性意義的物品裝入容器內,密封后深埋地下,在未來的某一時刻打開。按照指示,這個時間膠囊要放入他主持修建的麻省理工學院「計算機科學和人工智能實驗室」的大樓中。
這個時間膠囊可以說是一個早期計算機歷史的博物館,它里面包含由微軟創始人比爾·蓋茨和圖靈獎得主、萬維網之父TimBerners-Lee爵士等計算機領軍人物捐獻的50件計算機歷史上偉大的藏品。
HashKeyMeCo-founderSaijie:未來計劃參與波卡平行鏈插槽的競拍:去中心化身份錢包HashKeyMe的Co-founder,Saijie在今日舉行的“2020波卡中國行|平行鏈篇”北京站上表示,分布式數字身份(DID)作為Web3.0的重要基礎設施,可以幫助用戶實現數據主權、鏈上信譽、隱私保護和數據價值的回歸。HashKeyMe的數字身份鏈也是基于Substrate開發,未來也計劃參與波卡平行鏈插槽的競拍。HashKeyMe旨在為波卡、以太坊、PlatON等多個公鏈生態提供一整套基于分布式身份協議MeID的去中心化身份錢包解決方案。[2020/10/10]
這其中,很可能包括1975年,微軟為麻省理工學院開發的AltairBASIC編輯器,也是微軟有史以來第一個產品。
顧名思義,時間膠囊需要有了時間的沉淀才會變得更有意義。于是這個與計算機科學密切相關的時間膠囊采取了計算機科學的方法,設計了一個密碼學難題,只有破解了這個難題才能打開時間膠囊,這個密碼學難題只能通過一次次按順序的計算解開。
考慮到計算機算力的發展速度,解開這個難題至少需要計算35年。
這個別出心裁的設計出自RonRivest之手,對于Rivest這個人你可能不太熟悉,但說到大名鼎鼎的非對稱加密的RSA算法你可能會覺得有點熟悉。沒錯,Rivest就是RSA算法三個發明人中的“R”。
Forsage回應V神稱:大規模項目才帶來以太坊繁榮:8月11日消息,Forsage反駁V神稱:“你為自己洗白!項目大規模出現,才帶來以太坊繁榮。以太坊曾在2017年大規模上漲很大一部分是因為各種“項目”,包括盤子項目。就是項目們為以太坊帶來了流量,交易手續費:人們才會知道以太坊,并用以太坊,并消耗以太坊。比特幣也一樣,沒有各種項目和盤子,它在2017年何來的大漲?”據金色財經此前報道,V神警告龐氏騙局Forsage不要污染以太坊生態。
據了解,今年7月,菲律賓證券交易委員會(SEC)稱,Forsage缺乏運營所需的許可證。因此,不允許他們從公眾那里進行投資或發行投資合同和其他形式的證券。[2020/8/11]
RonaldLinnRivest,美國密碼學家;RSA加密算法發明者之一
同時,Rivest還寫了一本書,就是被稱為程序員必修課的《算法導論》。RSA算法可以說是有史以來最重要的密碼學算法之一,今天加密貨幣的輝煌也離不開其底層RSA加密算法的支持。
雖然Rivest說這個密碼學難題并不復雜,但實際上,計算這個難題的答案至少需要花費35年的時間。甚至在今天故事的主人公Fabrot把難題的答案發給麻省理工學院的時候,相關負責人都已經忘了這個問題的存在。
動態 | Ampersand Markets的聯合創始人發文闡述選擇在EOS而非ETH上開發的原因:據MEET.ONE消息,Ampersand Markets的聯合創始人Satya Avala在VentureBeat上發文《為什么我們在EOS上建立自己的區塊鏈業務,而不是在以太坊上》,他在文章中提到,EOS是目前最好的公共區塊鏈平臺,同時他還闡述了他們選擇在EOS上開發的幾個重要原因。 Block.one CEO BB轉推了該文章,并附文:“我們的評估標準很簡單: 我們需要選擇一種技術來支持無限制的金融市場,協助嚴格的監管,并以消費者為中心。”[2019/4/14]
在今年4月15日,也就是Rivest提出這一密碼學難題后的20年,自學成才的比利時程序員BernardFabrot解決了這個難題。
按照這個密碼學難題官方說明的指示,Fabrot準備將解決方案發送給麻省理工學院計算機科學實驗室主任,但他驚訝地發現這個實驗室已經不復存在,早在2003年,這個實驗室就與麻省理工學院人工智能實驗室合并,成立了現在的麻省理工學院計算機科學和人工智能實驗室。
更令人震驚的是,這個新成立的實驗室也早已忘了這個密碼學難題的存在,Fabrot說,現任麻省理工學院計算機科學和人工智能實驗室主任DanielaRus在收到解決方案時一頭霧水,因為她根本不知道這個密碼學難題是怎么回事。
動態 | Ethos Universal錢包宣布支持25種ERC20代幣:據bitcoinexchangeguide報道,Voyager最近收購的區塊鏈資產生態系統Ethos宣布將25個ERC20代幣添加到其Universal錢包中,將允許用戶存儲、發送和接收代幣。[2019/3/22]
?「簡單」的麻省理工學院密碼學難題
那么,Rivest設的這個密碼學難題到底是什么呢?
簡單來說,這個難題就是要找到運行近80萬億次平方操作的結果。比如說,如果你從2開始計算,平方后就得到了4,緊接著4再進行平方計算就得到了16,這個過程需要重復80萬億次。
麻省理工學院密碼學難題的形式十分簡單
當然了,每次平方計算后還需要對一個很大的數字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
Tags:VESTESTVESROTVesta Protocolcelestial幣最新消息InvestroAIArkania Protocol
金色財經比特幣5月8日訊相比于一個月之前,比特大陸自有比特幣挖礦業務算力已經減少了88%,表明他們似乎“有意”消減產能.
1900/1/1 0:00:00比特幣現金是目前第六大加密貨幣,市值和萊特幣不相上下,并遠超Dogecoin。但是,在過去24小時內,BCH網絡上的活躍地址數量不到萊特幣的50%,不到狗狗幣的1/3.
1900/1/1 0:00:00文章系金色財經專欄作者供稿,發表言論僅代表其個人觀點,僅供學習交流!金色盤面不會主動提供任何交易指導,亦不會收取任何費用指導交易,請讀者仔細甄別,謹防上當.
1900/1/1 0:00:00ThunderCore(TT鏈)首發火幣PrimeLite,百萬TT空投活動展開中!為了慶祝ThunderCore(TT鏈)成為火幣PrimeLite第一個合作伙伴,我們將要開展空投活動.
1900/1/1 0:00:00這篇是PeterMcCormack與Hashcash的發明人、Blockstream聯合創始人兼CEOAdamBack在去年11月做的對話訪談.
1900/1/1 0:00:00作者:AnaAlexandre翻譯:Maya加拿大魁北克省能源監管機構Regiedel’energie發布加密貨幣挖礦新規。當地主要電力供應商魁北克水電公司于4月29日公布了這一新進展.
1900/1/1 0:00:00