編者按:本文來自以太坊愛好者,作者:VitalikButerin,翻譯&校對:阿劍、陳亮&阿劍,Odaily星球日報經授權轉載。特別感謝JustinDrake和JinglanWang的反饋。2014年,我曾在一篇文章和一場演講中列出了一系列我認為對密碼學貨幣領域的成熟有重大意義的數學、計算機科學和經濟學難題。五年過去,滄海桑田,但在這些我們認定重要的事項上,到底取得了多少進展?在哪些挑戰上我們成功了,哪些事情上我們失敗了、又或者我們轉變了看法?本文中我會歷數2014年列舉出的16大問題,并檢視我們的進展。最后,我會給出2019年版的新難題。我把難題分成了三類:密碼學難題,如果可解,應有純數學形式的解決辦法;共識理論,基本上就是要求對工作量證明和權益證明做改進;經濟學問題,要求創造一種為不同參與方賦予經濟激勵的結構,并且一般都在協議層以外包含了應用層。雖然進度不一,但我們在所有類別中都看到了重大進展。密碼學問題
1.區塊鏈可擴展性
RIZZO:傳奇密碼學家Nick Szabo將比特幣視為最好的貨幣形式已過去兩年整:金色財經報道,比特幣雜志編輯RIZZO表示,傳奇密碼學家Nick Szabo談論比特幣已經過去整整兩年了。
Nick Szabo于2020年12月26日表示,比特幣是價值投資,貨幣是一種相當有價值的服務,而比特幣是最好的貨幣形式。[2022/12/27 22:09:18]
當前密碼學貨幣領域面臨的最大挑戰之一就是可擴展性問題……對“區塊鏈數據量過大”的擔心是有道理的:如果只有小一部分人才有能力運行全節點,那么這些實體就可以秘密勾結并給自己分配額外的比特幣,而其它用戶則無力為自己伸張正義,因為只有自己驗證區塊才能發現非法區塊。問題定義:創造一種區塊鏈結構,既能擁有比特幣級別的安全保障,同時用于保證網絡功能存續的最強大節點的規模上限會隨著交易數量的增加而呈次線性增長。現狀:有大量的理論進步,但有待生產環境檢驗。在可擴展性問題上,我們已經在理論上取得了大量進展。五年前,幾乎還沒有人思考過分片的可能性;現在,分片設計是大家司空見慣的東西了。除了以太坊2.0,還有OmniLedger、LazyLedger、Zilliqa,而且新論文幾乎每個月都會冒出幾篇來。我個人的觀點是,在這個點上出現的進展會越來越多。最基本來說,我們已經有多項技術可以讓驗證者群體對超過單個驗證者所能處理的數據安全地達成共識,同時技術還讓客戶端能夠間接地驗證區塊的完全有效性和可得性,即便是在51%攻擊的條件下。下面列舉出的可能是這些技術中最重要的一部分:隨機采樣:可以隨機選出一些驗證者組成委員會,使其在統計意義上代表整個驗證者群體:https://github.com/錯誤性證明:讓監測到錯誤的節點向其它節點廣播自己發現的錯誤:https://bitcoin.stackexchange.com/數據托管證明:讓驗證者可以概率性地證明自己下載并驗證了一些數據:https://ethresear.ch/數據可用性證明:當客戶端具備區塊頭的區塊體不可用時,讓客戶端可以探測到錯誤:https://arxiv.org/。也可以看看更新的編碼化默克爾樹提案。還有一些更小的進展,比如用收據實現跨分片通信,還有“常量因子”強化技術如BLS簽名聚合技術。雖說如此,完全分片的區塊還是沒能在現實中出現。理論上來說,剩下的爭議都是細節上的,圍繞著與分片組網穩定性、開發者體驗和緩解中心化風險的各項挑戰;基本的技術可行性看起來不再有疑問。但剩下的挑戰都是不可能僅靠理論來解決的問題;只有開發出這樣的系統、看到以太坊2.0或類似的鏈實際運行才能解決這些問題。2.時間戳
加密KOL:請修改與FTX US關聯銀行賬戶密碼并停止共享數據:11月13日消息,Web3社區項目gm.xyz聯創Mike McGuiness在Twitter發文預警稱,若存在與FTX US關聯的銀行賬戶,請立即更改銀行賬戶密碼并停止共享數據。Mike McGuiness表示其銀行賬戶曾于40分鐘前被FTX US嘗試訪問。隨后該推文被CZ轉發。[2022/11/13 12:58:01]
問題:創建一種分布式的激勵兼容系統,無論它是區塊鏈上的覆蓋層還是區塊鏈本身,能夠以高準確度維護一個實時的時鐘。所有合法用戶的時鐘圍繞某個“真實時間”以20秒的標準差呈正態分布……沒有任何兩個節點的時間差會超過20秒。解決方案可以依賴現有的“N個節點”概念;可以通過權益證明或者non-sybiltoken來組織節點。這個系統應能不斷地提供時間,并且時間在超過99%的誠實參與者節點內部時間的120秒范圍內。外部系統可能最終會依賴這個系統;因此,它應該能在攻擊者無視激勵措施且控制25%的節點條件下保持安全性。現狀:有一些進展。以太坊在13秒的出塊時間、無特殊高級時間戳技術的條件下運作得非常好;這個網絡只是要求客戶端不要接受所引時間戳比本地時間更新的區塊。也就是說,這一技術還沒有在高強度攻擊下接受過檢驗。最新的網絡調整時間戳提案嘗試改變現狀,它讓客戶端本地可以在并不知道高精確度的當前時間時對時間達成共識;不過這也還沒有被檢驗過。總的來說,時間戳技術已從研究挑戰的前沿退了下來;也許這一點會在眾多權益證明區塊鏈上線之后改變,到時候我們就能更具體地定位問題了。3.通用的計算過程證明
央行:密碼技術是支持金融科技創新應用的基石:8月26日消息,中國人民銀行“金融密碼杯”2020全國密碼應用和技術創新大賽啟動會于8月26日在京召開,本次大賽由中國人民銀行數字貨幣研究所與清華大學密碼理論與技術研究中心聯合主辦。人民銀行表示,近年來加強金融網絡與信息安全已成全球共識。密碼技術是保障金融網絡安全的關鍵,是支持金融科技創新應用的基石。作為金融行業首次全國密碼應用與創新大賽,本次大賽旨在促進密碼人才交流,提升密碼創新應用能力,增強金融領域信息安全水平。主辦方希望通過舉辦此次密碼大賽貫徹落實《密碼法》相關規定,以競賽的形式推動密碼學在金融領域的實際應用;在金融科技創新領域發掘和儲備密碼學專業人才和優秀算法,全面提升金融安全保障能力;向社會公眾傳達金融科技基于密碼學保障安全性的理念。[2020/8/26]
問題:創建程序POC_PROVE(P,I)->(O,Q)以及POC_VERIFY(P,O,Q)->{0,1},使得POC_PROVE以I為輸入運行程序P,可以返回程序輸出O以及一段計算過程證明Q;當POC_VERIFY以P、O、Q為輸入時,可輸出結果,表明Q和O是不是POC_PROVE算法使用程序P生成出來的。現狀:大量理論進展和實際進展。這個基本上就是說,要構建一個SNARK。而且我們已經做到了!SNARKs越來越被充分理解了,甚至已經被用在多條區塊鏈中。而且SNARKs是非常有用的,無論是作為隱私保護技術,還是作為可擴展性技術。不過還是有些效率上的問題,創造一種算術友好型的哈希函數是一個;高效證明隨機內存存取是另一個。進一步來說,還有一個未解決的問題是,是不是此類方案的證明時間都遵循O(n*log(n))的限制,還是說,有某種辦法可以構建一個簡潔的證明,開銷僅呈線性增長,就像bulletproofs一樣。此外,這些現有方案有bug的風險也是一直存在的。總而言之,問題都是細節上的,在問題的基本層面已經沒有疑問了。4.代碼混淆
黑客使用假冒冠狀病跟蹤應用程序挾持用戶密碼以索要比特幣贖金:金色財經報道,黑客正在散布用于安卓設備的假冠狀病跟蹤應用程序CovidLock。黑客誘騙用戶下載惡意軟件,從而更改設備的鎖屏密碼。受害者被迫向黑客支付100美元的比特幣,以重新獲得對其智能手機的訪問權限。[2020/3/14]
密碼學難題的圣杯是創造一個混淆器O:對給定的任意程序P,該混淆器能產生一個次級的程序O(P)=Q,只要給出相同的輸入,P與Q會返回相同的輸出,并且更重要的是,Q不會暴露P的任何信息。這樣話,人們就可以在Q中隱藏口令、秘密的加密密鑰,或者僅僅是用Q來隱藏算法本身的工作方式。現狀:進展緩慢。翻譯成大白話,這個問題就是說,我們想要一種方式來“加密”一個程序,使得加密后的程序能對同樣的輸入給出相同的輸出,但原程序內部的機理又是完全隱藏起來的。這種技術的一種用場是一段包含一把私鑰的程序,僅允許這把密鑰對特定消息簽名。代碼混淆方案對區塊鏈協議來說是非常有用的,雖然用起來會比較微妙,因為我們必須面對這樣的可能性:一個在鏈上的混淆過的程序可能會被復制并用在一個完全不同的環境中,由此產生許多不同的結果。讓我很感興趣的點在這里:我們可以用包含一些工作量證明的、混淆后的程序來代替運營者,從而能在抗串謀工具中移除中心化的運營者,因為在確定單個參與者的行動時,使用多個輸入、運行多次程序的開銷會非常大。不幸的是,到目前為止,這還是一個難題。在這個問題上不斷有人付出努力,一方面是創造一些建構,嘗試減少對那些我們不知道其實用性的數學對象的假設,另一方面是嘗試做出有用數學對象的有用實現。不過,所有這些路徑距離我們的目的——創建出可行且在已知條件下安全的代碼混淆器——非常遙遠。請看https://eprint.iacr.org/2019/463.pdf。以了解對該問題的更一般化的概述。5.基于哈希的密碼學
聲音 | Anchorage聯合創始人:加密技術正在開創分布式系統、安全性和密碼學研究的新領域:據AMBCrypto報道,在最近的一次演講中,加密安全公司Anchorage的聯合創始人Diogo Monica談到了加密在提高個人安全、隱私和數據主權方面的作用。Diogo注意到加密降低了黑客攻擊和服務中斷的風險,他宣稱加密技術正在開創分布式系統、安全性和密碼學研究的新領域。他稱,“缺乏個人安全、缺乏隱私和數據主權是我們日常生活中的事情,我們接受這些東西作為互聯網的一部分,但這不應該是這樣,這就是加密技術的來源。加密貨幣的發展實際上幫助你的每一臺設備變得更安全,因此有助于你的個人安全,新的加密方法有助于保護你的數據,并最終讓你重新獲得一些隱私。”[2020/2/3]
問題:創造一種簽名算法,除了依靠哈希函數的隨機特性以外沒有別的安全假設;哈希函數對古典計算機保持160比特的安全性,并且具有最優大小及其他屬性。現狀:有一些進展。自2014年以來,這個題目下出現了兩項進展:SPHINCS,一種“無狀態”的簽名方案。該方案在《難題》一文出版后不久就出現了,提供了一種僅基于哈希函數的簽名方案,簽名大小在41kB左右;STARKs也已經被開發出來了,所以人們可以基于STARK技術實現相近大小的簽名。不僅是簽名方案,連通用型零知識證明技術,都可以僅用哈希函數實現出來,這是我在5年前完全沒有料到的事,我很高興能見識到這一切。雖然說,簽名的大小仍然是一個問題,但人們也在不斷付出努力減少證明的大小,而且看起來進一步的進展效果會越來越強。基于哈希函數的密碼學中尚未解決的主要問題是簽名聚合,就是類似于BLS簽名方案所提供的功能。已知的是我們可以對許多Lamport簽名方案生成STARK,所以一個更有效率的簽名方案可能就快出來了。
每次談到BTC、BCH、BSV的時候,很多人會對后兩者不屑一顧,理由是:分叉幣憑什么來爭“比特幣”這個名號?另一些人則質疑稱:忒修斯之船,一路修修補補,船上的每一塊木板都換掉之后.
1900/1/1 0:00:00編者按:本文來自鏈聞,作者:LeftOfCenter,Odaily星球日報經授權轉載。11月18日,對于以太坊和DeFi生態來說,是個重要的日子.
1900/1/1 0:00:00區塊鏈、人工智能、量子計算、5G、大數據、云計算、物聯網……進入21世紀以來,全球科技創新進入空前密集活躍的時期,新一輪科技革命和產業變革正在重構全球創新版圖、重塑全球經濟結構.
1900/1/1 0:00:00編者按:本文來自白話區塊鏈,作者:五火球教主,Odaily星球日報經授權轉載。身為媒體,很多時候你會發現,業內人士對自身行業唱多的聲音,要遠遠多過唱空的數量.
1900/1/1 0:00:00就像沒有社區的區塊鏈實際上只是一個數據庫一樣,沒有章程的社區根本不是一個社區,它只是一群偶然的,沒有聯系的人恰好在一起.
1900/1/1 0:00:00Overview概述V神在布拉格以太坊開發者會議上表示,以太坊2.0即將推出,它可以將以太坊網絡處理交易的能力提高一千倍.
1900/1/1 0:00:00