在密碼學界引起轟動的新獲獎論文如何改變區塊鏈密碼學基礎_VER

密碼學是許多區塊鏈協議的核心。從傳統的工作量證明 (PoW) 到 L2 現代方法（如 ZK-rollups），許多高級加密方法為區塊鏈運行時和協議提供了基礎。因此，關于任何區塊鏈架構的安全穩健性都存在一個無所不在的問題。天真地，我們假設在復雜攻擊中幸存下來的區塊鏈加密實現本質上是安全的，但這遠非經驗證明。有沒有更好的方法來驗證安全算法的魯棒性。答案似乎在一篇剛剛贏得美國國家安全局 (NSA) 的「最佳網絡安全研究論文競賽」的新論文中，這在密碼學研究界引起了很大的轟動。 

這篇題為「單向函數和 Kolmogorov 復雜性」的論文為密碼學中的一個 500 周年問題提供了答案。手頭的問題與存在稱為「單向函數」的數學結構有關，該結構可以證明 L2 區塊鏈中的零知識證明等方法是否是加密安全的。 

FinCEN代理總監：FinCEN擬議的加密錢包規則仍在密切討論中:5月27日消息，美國金融犯罪執法網絡（FinCEN）代理總監Michael Mosier（FinCEN）提議的有關加密錢包規則“尚未做出任何決定”。FinCEN繼續就這一有爭議的擬議規則與加密貨幣行業進行接觸。批評人士稱，這將使使用某些智能合約變得困難，并給交易所帶來沉重的合規負擔。Michael Mosier周四表示：“上一屆政府的領導層有一種非常強烈的緊迫感，對解決這個問題的時機、風險和擔憂等各種因素進行討論。我們有能力延長我們所做的評論期，并繼續與行業在這方面進行接觸。”Mosier說，FinCEN作為金融情報部門的部分任務是通過分析數據來尋找趨勢或風險。他表示，國會可能會詢問他如何監視其他潛在的國內恐怖襲擊和可能使用加密貨幣。Michael Mosier稱，對醫院等關鍵基礎設施的勒索軟件攻擊是FinCEN必須關注的另一個類似問題。他指出，如果FinCEN能夠主動發現并解決這些問題，就可以防止過度繁重的監管措施的實施。Michael Mosier說：“重要的是要明白，并非政府中的每個人都天生對加密貨幣持懷疑態度。有很多人對它非常感興趣，覺得它有不可思議的潛力。”（Coindesk）[2021/5/27 22:50:16]

現代密碼學的本質依賴于在數據上創建密碼，希望它們保持安全。但是，我們如何確保它們是安全的？這個問題的理論答案出現在 1970 年代，當時密碼學家提出了單向函數的概念，單向函數是易于計算但難以反轉的數學函數。為了說明單向函數的工作原理，想想如果有人要求您將兩個大素數相乘，如 485144 和 999983。得到數字 485,135,752,552 作為答案可能需要一些工作，但我們有一種方法可以做到這一點。現在讓我們來回答反問題，從數字開始，嘗試確定它的質因數。這是一項極其艱巨的任務。這是單向函數的本質。

橋水基金聯席主席：公司正在密切關注比特幣:1月28日消息，橋水基金聯席主席Ray Dalio表示，該公司正在密切關注比特幣。Dalio在專欄中寫道:“我寫這篇文章是為了澄清我對比特幣的看法。我相信比特幣是一項了不起的發明。比特幣看起來像是一個長期的選擇，在一個高度未知的未來，我可以投入一筆錢，我不介意失去80%的錢。”此外他還稱比特幣可能成為黃金的替代品。Dalio此前對比特幣長期持批評態度，他曾稱不認為比特幣會成為一種日常貨幣。但他在上個月做出了一些讓步，稱像比特幣這樣的加密貨幣可能是一種“黃金般的資產”。（TheBlock）[2021/1/28 14:15:55]

動態 | 幣安下架BSV或因趙長鵬與Roger Ver存在密切聯系:加密貨幣研究機構CryptoMedication在推特猜測Bitcoin.com的Roger Ver和幣安CEO趙長鵬之間存在密切聯系。CZ在Blockchain.info工作時與Ver等人密切合作。2015年，OKCoin和Roger Ver之間就Roger Ver將域名bitcoin.com租給OKCoin的合同發生糾紛時，CZ正在OKCoin工作。當時的爭議在于CZ在兩份不同版本但時間戳相同的合同上簽名，這促使許多人猜測是惡意行為。CZ后來聲稱他不知道文件有兩個不同版本。 在租賃爭議之后，Ver加強了合同某些條款，這后來成為新的爭議，導致Roger Ver提起訴訟。在此期間，OKCoin否認了Ver的所有指控，同時懷疑CZ涉嫌參與整個事件。“當然，我們都知道CZ在2015年離開OKCoin后，他后來又在2017年開始創建幣安。他最早（種子）投資者之一正是Roger Ver！看起來，這些家伙真的是好朋友。” 該賬號聲稱，可以“大聲推測”這種友情是CZ將BSV（Roger Ver的Bitcoin Cash是其競爭對手）從其平臺上下架的關鍵因素。（AMBCrypto）[2019/6/2]

L1 和 L2 區塊鏈中使用的密碼技術的基礎是以單向函數的存在為前提的。如果給定問題存在單向函數，那么它的加密保護，如果沒有，它可能容易受到不同的攻擊。然而，到目前為止，幾乎不可能證明單向函數的存在。在他們的論文中，康奈爾大學的研究人員發現了一個與計算機科學的一個晦澀領域相似的答案。

回到我們的例子，KC 理論要復雜得多，但希望您掌握了核心思想。幾十年來，KC 理論已經成為計算機科學許多領域的基礎，但在密碼學中卻沒有那么重要。直到康奈爾研究小組從帽子里拿出一只兔子，并證明單向函數的存在與給定問題的 KC 相關。簡單來說，如果一個問題是 KC 復雜的，則存在單向函數，如果不存在，則很可能不存在。 

這個簡單的陳述可能成為現代密碼學中最具革命性的發現之一。

康奈爾論文提供了一種經驗方法來評估 L1 和 L2 區塊鏈中使用的密碼技術的穩健性。考慮到基于加密技術（例如安全多方計算或零知識證明）的 L2 運行時的出現，這一點尤為重要。確定算法是否是 KC 復數從根本上說比確定單向函數的存在更簡單。誠然，這個問題超出了區塊鏈生態系統的范圍，但是，如果我們談論的是構建新金融系統的軌道，那么加密穩健性是一項基礎能力。

原文標題：《The Paper that can Change the Foundations of all Blockchain Cryptography》

原文作者：Jesus Rodriguez

原文編譯：蟬爺講禪

來源：區塊律動

Tags：VEROIN比特幣COINKVERSE幣florincoin比特幣市值Space Coin

幣贏