2012 年的時候,你注定要成為神諭,被現在所困擾,被別人看不到的未來所證明。看,你正試圖與你室友的煙斗爭奪注意力,以解釋你已經瞥見了未來,它是一個鍍金的、奇妙的真理燈塔,一種具有神化普通人的力量的技術——你不安地註意到你的室友——被稱為“比特幣”。
“哇哦,”你的室友特雷說,幫助自己進行了一次大規模的撕裂。 “什麼?”
佔領華爾街,你說。阿拉伯之春。 Yeats 是對的——中心無法持久。民粹主義已經在世界上蔓延開來,我們的新聞是從Facebook 用戶生成的,“專家”已經被4 chan 暴徒吞噬,美利堅帝國正處於根深蒂固的衰落之中。 Napster 對音樂做了什麼——現在想像一下貨幣對民族國家做了什麼。
這將是比特幣,你不經意地吹響了口哨:一種互聯網原生的全球p2 p 貨幣,供人民使用,由人民使用。它將比印鈔機更大:就像古騰堡使只有有文化的精英才能獲得的知識民主化一樣,比特幣讓我們將貨幣本身民主化為我們印刷、移植和使用的東西。這是用戶創造的錢。這是一個將吞噬精英的時代的民粹主義貨幣。
“哇哦,”被你雷鳴般的預言驚呆了的特雷說。 “伙計,這就像……哥們。”
你意識到,特雷不是一個值得你傳授的指導的學生。話又說回來,你告訴自己,他笨得像狗屎不是特雷的錯。只是他的時代讓他如此。
突然間,你意識到如何與他溝通。
“特雷,”你輕聲說,特雷羞怯地把眼睛從煙槍上移開。 “如果我告訴你有一種新形式的數字貨幣,你可以用它在互聯網上購買藥品——沒有任何被抓的風險?”
“像Craigslist?”
當然,無論如何,你就這樣解釋。就像Craigslist 一樣,但這次是錢。任何人都可以將錢用於任何事情。世界各地的任何人都可以購買並在線使用它。在與國家相關的傳統金融機構的KYC 要求之外,他們可以進行交易。
當特雷的眼睛露出最朦朧的微光時,你意識到你已經找到了神奇的公式。比特幣專注於兩件事。它是無需許可的:任何人都可以使用它,而無需屬於某個民族國家。它是主權的:他們可以將它用於任何目的,因為它是他們所擁有的,可以隨心所欲地使用。比特幣讓任何人都可以隨心所欲地使用錢。
無許可和主權。你鬆了一口氣。您已經了解了加密的原理。
歲月流逝,每一天你都不會在某個陌生人身上晃動你的食指來解釋你新發現的框架。
2014 年,您向在BitcoinTalk 上遇到的越來越多的追隨者解釋了以太坊白皮書。它是無許可的,它是主權的:以太坊允許任何人創造金錢(無許可),他們可以隨心所欲地管理(主權)。
2016 年,輪到Cosmos 了。 Cosmos,“區塊鏈的互聯網”,是無許可和主權的:它允許任何人創建自己的區塊鏈(無許可),他們可以隨心所欲地管理(主權)。
你的追隨者很高興。但是有些東西讓你有些煩惱。因為事實是,以太坊並不像Cosmos 那樣擁有主權。如果你的以太坊協議遭到黑客攻擊,那你就完蛋了。整個以太坊生態系統必須決定分叉鏈以回滾黑客攻擊並找回資金,並且您需要整個網絡的社會共識來支持您(當然,這發生在DAO 中)。
但是在Cosmos 上,您將擁有自己的鏈,因此您只需要讓本地系統中的驗證者同意回滾黑客攻擊——因為您控制著自己的金融系統。如果您的社區對代幣經濟學、基礎設施以及有效交易的構成有任何爭議,他們總是可以在保留所有過去交易的同時分叉您的鏈。
在Cosmos 上,你擁有主權。
然而,有一個權衡,而這個權衡是你自己。您需要引導自己的驗證者集以確保您的鏈的安全性,這不是一項小任務——理想情況下,您希望世界各地的節點運行者都可以排序和驗證交易,同時確保他們不會向您隱藏任何交易。這意味著用你的原生代幣支付它們,這反過來又讓你陷入困境:代幣需要有價值才能吸引驗證者,但沒有驗證者,代幣根本不值錢。更糟糕的是,廉價的代幣可能會激勵節點攻擊系統,因為被削減的成本可能遠低於腐敗帶來的收益。
然後是可組合性的問題。在以太坊上,你可以從Aave 獲得一筆閃電貸款,在Uniswap 上購買代幣,在SushiSwap 上出售它們以獲取利潤,然後將貸款歸還給Aave,所有這些都在一次交易中完成(又名原子可組合性)。同樣,您可以將您的資金投資於Yearn 池,該池會自動將其再投資於不同的協議以最大化收益,並且之所以能夠這樣做是因為所有這些協議都支持相同的代幣,因為它們結算到同一個鏈- 以太坊- 並它們的安全性也來自以太坊。
換句話說,以太坊以一種比簡單地讓任何人復制彼此的代碼更有意義的方式真正實現了無許可:它允許任何協議與金融應用程序互聯網絡中的任何其他協議進行交互,從而使彼此獲得機會甚至成功。每個應用程序都可以在無許可的情況下利用彼此的共享安全性和交易。
但是,無許可和主權開始看起來不像是同胞,而是競爭者。您可以擁有完全的互操作性,以便在開放網絡中隨意插入應用程序,或者您可以擁有自己控制的網絡。 (事實上,這是Cosmos 面臨的主要挑戰,他們正在努力應對——但稍後會更多。)
現在的重點是,這是一個非常現實的挑戰。擁有自己的鏈也意味著引導自己的驗證者集——但部署到其他人的鏈意味著依賴他們的驗證系統。在某種程度上,這明顯到了白痴的程度。當然,擁有自己的鏈意味著運行自己的驗證者,使用別人的鏈意味著使用他們的驗證者。對嗎?
加密的承諾開始感到相互排斥:無許可或主權。非此即彼。但是,如果有辦法……兩者兼得呢?
讓我們在這裡停下來定義我們的術語——模塊化堆棧的術語。
首先,我們談論的是兩種類型的無權限:無許可安全性和無許可可組合性。事實上,這些中的每一個都巧妙地映射到區塊鏈的三個模塊化功能中的兩個,即數據可用性和結算。如果您願意,這些是堆棧的“無許可”部分,而第三層執行——更新所有帳戶狀態的實際事務——可以說是“主權”模塊。請注意,我有爭議地忽略了共識,因為每一層都需要共識才能正確地對交易進行排序。
讓我們關注無需許可的部分,數據可用性和結算。我們可以通過類比來定義每一個。想像一下,你收到了一份潛在求職者的簡歷。您在這裡有三項工作:確保簡歷沒有隱藏任何內容,確保簡歷沒有錯誤,以及僱用候選人。不完全是這個順序。
簡而言之,區塊鏈
第一步是數據可用性:簡歷看起來不錯,所以你要進行背景調查,看看候選人是否有任何隱瞞。您確保所有數據都可用,換句話說,沒有任何東西是隱藏的。 (在區塊鏈中,數據可用性測試所有數據是否可見,沒有任何內容被隱瞞。)數據可用性是我們的安全層:它確保我們不僅被告知真相,而且被告知全部真相,以便我們能夠開展業務。
第二步是執行:你僱傭候選人。用技術術語來說,你執行了一個更新狀態的交易,也就是所有賬戶的狀態——換句話說,你已經更新了候選人的簡歷。
但是,當每個人都在簽署文書工作時,您有一段時間進行最後的參考檢查,並確保候選人沒有對任何事情撒謊。這是第三步,結算:即使您樂觀地用新職位更新了候選人的簡歷,但您發現的任何欺詐行為都會使更新無效。結算是我們執行欺詐證明以確認新交易的地方,以確保我們只說真話。
對於Optimistic Rollup,假設交易在被證明存在欺詐之前是有效的,結算是保險層:雖然表面上的目的是發現欺詐,但您將發現並懲罰欺詐這一事實首先阻止了欺詐的發生。結算是針對欺詐行為的保險。
所以如果你喜歡:
執行(Execution)= 真相
數據可用性(DA)= 全部真相
結算(Settlement)= 真相大白
神聖Rollup:聲稱結算和數據可用性(DA)的人必須是同一層
但結算還有另一個功能。請記住,執行(Execution)正在更新候選人的簡歷以添加他們的新職位。然而,在區塊鏈中,這是一個全球性的變化。也就是說,你在全球範圍內廣播它讓每個人都可以看到。所以想像一下,每次你更新簡歷時,它都會在一個全球數據庫中更新——這個全球數據庫是一種無需許可、去中心化驗證的LinkedIn,讓任何人都可以根據他們的新工作和薪水委託候選人工作。
結算(Settlement)的工作是確保全球數據庫的準確性和最終確定性,這樣如果一家公司更新了候選人的簡歷,另一家公司也可以信任更新並僱用他們。我們的類比在這里站不住腳,因為我們必須想像未來DAO 會自動更新候選人的簡歷,所以實際上,結算的功能是確保獨立的鏈可以在彼此之間信任地轉移資產而不會欺詐。
從這個意義上說,結算不僅僅是我們的保險或仲裁層。它也是我們的可組合層。如果你有一個rollup——一條鏈,其全部工作是廉價執行交易並將證明批量發佈到像以太坊這樣的結算層——那麼結算層使你能夠與其他執行rollup 進行交互。從這個意義上說,它支持跨鏈交易,前提是每條鏈都在同一層上。
回到我們之前的例子。現在想像一個世界,Uniswap 有自己的應用程序特定rollup,Aave 有自己的應用程序特定rollup 以最大化執行:理論上,你可以在Aave 上進行閃電貸以在Uniswap 上購買代幣,前提是它們以相同的結算方式結算層塊,以便每條鏈都可以驗證另一條鏈上的交易是否有效。在實踐中,在我們擁有像Polymer 這樣的ZK 橋之前,立即做到這一點是相當不可能的,即使那樣,它們也可能不會在同一個區塊中解決。但關鍵是,結算層作為rollup 之間的一種信任最小化橋樑運行。它們支持可組合性——異步可組合性,是的,但仍然是可組合性。
這裡有細微差別。
-
“神聖rollup”最大主義者將告訴您,數據可用性和結算應該是同一層,以優化單個代幣的使用並聚合其流動性,以提供更好的安全性。
-
以太坊最大主義者會告訴你,你應該選擇以太坊,因為這是它目前擅長的一件事,而且從長遠來看,一旦它添加了數據可用性採樣功能,以太坊也將成為你的數據可用性的首選。
-
ZK-rollup 最大主義者呢?嗯,是的,按照他們的習慣,ZK-rollup 最大主義者無論如何都會告訴你這些結算狗屎都不重要,因為有效性證明將否定發布欺詐證明或聚合流動性的任何需要——rollup 將能夠立即交換具有完全可組合性的代幣。
zkEVM 終局遊戲離得更遠,所以我明白為什麼沒有提到它。結算層升級為神聖的zkEVM Rollup。整個以太坊生態系統- 可能有數千個rollup/volitions 和數百萬TPS——將由一個簡潔的ZKP 驗證。 ——@apolynya
但切開噪音,看看更大的點。您可以擁有自己的應用程序特定執行Rollup 的主權,同時還擁有獨立數據可用性和結算層的無需許可的安全性和可組合性。這是模塊化堆棧的承諾。事實上,將這些層中的每一層模塊化也可以為每一層帶來好處——例如,輕客戶端採樣能夠在數據可用性層上實現更大的去中心化、可擴展性和安全性——這是一個側面。
模塊化堆棧的承諾為我們提供了主權和無許可的全部好處。
Cosmos 呢?
對於我的(神奇的互聯網)金錢,可能沒有比Cosmos 更令人興奮的21 世紀技術實驗了。 Cosmos 的應用程序擁有自己的鏈的願景摸索了比特幣最初的承諾,即我們可以隨心所欲地進行交易,而以太坊的承諾是我們可以隨心所欲地打印貨幣——我們可以隨心所欲地創建自己的金融系統。
Cosmos 讓你像WordPress 讓你創建一個網站一樣創建區塊鏈:Cosmos-SDK 是你的WordPress 面板,Tendermint 共識引擎是支持它的後端代碼,IBC 是互聯網,使你可以鏈接到其他網站。事實上,Cosmos-SDK 和Tendermint 已經誕生了從Polygon(實際上)到Celestia 再到Terra (RIP) 的所有東西,更不用說Osmosis、Kyve、Agoric、Axelar 和Akash 等協議,這可以說是IBC 的定位。現在可能是迄今為止最安全的跨鏈消息傳遞協議。
不過,除了Tendermint、IBC 和Cosmos SDK 之外,我喜歡Cosmos 還有另一個原因,那就是Cosmos 知道它有一個非常難解決的問題。當然,這是我們最喜歡的問題——主權與無許可的問題,或者正如創始人Ethan Buchman 反复闡述的Cosmos 的使命,即本地主權和全球互操作性的問題。
根本沒有其他協議能像Cosmos 一樣為我們提供如此努力的工作。這尤其是過去一年Cosmos 生態系統的目標:為主權鏈提供與以太坊上Rollups 相同的可組合性和安全性。
-
首先,Cosmos 正在開發鏈間賬戶(interchain accounts),它將讓不同鏈上的智能合約相互讀取和寫入狀態——實現異步、跨鏈可組合性。
-
其次,Cosmos 選擇的去中心化交易所Osmosis 不僅匯集了Cosmos 鏈上的流動性,而且還使用Axelar 實現了與Polkadot 和以太坊的交換——實際上成為Cosmos 為跨鏈交易提供動力的流動性層,有點類似於傳統的結算層(在這里和我一起工作)。
-
第三,最重要的是,Cosmos 一直致力於鏈間安全(Interchain Security),其中一條鏈的驗證節點可以通過抵押$ATOM 有效地借給另一條鏈,以創建一個跨鏈的權益證明網絡。
這些中的任何一個都是完全無需許可的嗎?好吧,不:主權第一的方法意味著這些是需要參與者相互同意的選擇性加入系統,這該死的應該如此。從長遠來看,Cosmos 可能會面臨以太坊在之前以分片為重點的路線圖中所面臨的相同問題。如果沒有共享的執行或結算層,原子可組合性可能是一個挑戰;如果沒有共享的數據可用性層,安全性可能會成為一個問題,因為許多鏈都依賴於同一組昂貴、龐大的驗證者集。 (如果您過去曾看到我對Radix 感到興奮,這就是原因。)
但對於Cosmos 生態系統來說,好消息是它在主權方面(執行)和無許可方面(數據可用性和結算)都處於模塊化堆棧的最前沿。想要部署自己的社區可以控制的執行鏈?不難想像像Osmosis 這樣的Cosmos 鏈會成為Celestia 這樣的共享數據可用性層之上的Rollup。在某些方面,Celestia 本身就是Cosmos 的下一代迭代,以及使用Cosmos SDK 構建的Cosmos 鏈間安全性的下一代迭代。
“@CelestiaOrg DAS 技術很可能在成熟時淘汰鏈間安全。 $ATOM 在這個敘述中的位置是什麼?結算層?$ATOM 應該是DASing 嗎?
目前只有一個缺失的部分,那就是來自結算層的無需許可的可組合性。短期來看,由$ATOM 支持的Cosmos Hub 可能是最接近的。從長遠來看,我們可以想像以太坊成為全球結算層的世界,其中結算被ZK 鏈淘汰,或者為非以太坊鏈的新結算層提供巨大機會。敬請關注。
現在唯一的一點是,我們最初將其歸類為圖表右下角的碎屑的Cosmos 也為我們提供了解決方案。
因為描述模塊化堆棧的最簡單方法是它賦予你Cosmos 的主權和以太坊的無許可性:它允許你在外部驗證者集的完全支持下引導你自己的鏈。它使“部署自己的鏈就像部署智能合約一樣容易”。
簡而言之,這就是模塊化堆棧的承諾:去中心化即服務。
通常的警告:Celestia 等有自己的驗證者集,甚至rollup 也有稱為排序器的驗證器集。關鍵是這些技術中的每一個啟用了什麼。
讓任何人部署自己的區塊鏈的承諾是什麼?請記住,區塊鏈不僅僅是金融鏈,而是任何類型的去中心化數據鏈,您將看到模塊化堆棧帶來的機會。
“未來,我們都將能夠擁有自己的區塊鏈。它代表了我們一生中最大的社會革命之一。這是它可以改變技術、金融、工作和整個政治體系的10 種方式。
就此而言,它是Cosmos 願景的高潮。
我們已經找到了調和這些無許可和主權的加密貨幣價值的解決方案,對吧?
早些時候,我遺漏了另一個反對結算(Settlement)的案例,或者更確切地說是神聖的結算。我知道我們在兔子洞裡,你可能想知道我現在把你當作人質是什麼奇怪的土豆沙拉。但請給我最後繞路,因為我保證它會鞏固我們為什麼在這裡。
Celestia 最近提出的案例是,如果我們想決定什麼構成有效交易,我們可能不希望其他人負責結算。畢竟,結算的全部目的是為欺詐和有效性提供一個全球性的、客觀的標準——直到我們記住法律和金錢只是因為我們決定接受它們為真實的,而有效性本身就是一種社會結構,由以下因素決定社會共識。
例如,假設您的社區注意到寡頭正在使用您的區塊鏈支付殺手來殺死持不同政見者。不用說,您的社區可能會達成社會共識,決定不結算該交易——將其歸類為欺詐。而你現在正置身於主觀主權區塊鏈的歡樂屋中,由人而非算法決定什麼是有效的。對於主權rollup(即社區負責結算的rollup)而言,影響是巨大的,因為它是治理而不是算法。
“rollup 作為主權鏈”(Mustafa Al-Bassam、Ertem Nusret Tas、Nima Vaziri)
為了讓你了解,本文不得不採用了一條非常曲折的路線來解釋。因為您可能會看到我們陷入困境的難題。擁有主權可以讓你的社區決定什麼是真實的,但也有通常的成本——也是無許可的。如果您當地的法律違反國際條約會怎樣?確定你自己的正義代碼可能意味著沒收其他人的代碼,而主權鏈很可能會面臨全球互操作性的挑戰,而沒有其他鏈可以依賴的結算層。
但這不是加密的意義,即我們決定我們自己社會的規則嗎?或者等等,不是創建一個完整的全球網絡,讓所有人都能互動嗎?
我們又回到了我們的根本困境。這並不是說ZK 橋不會最終解決這些問題,而是說這些是每個項目都需要在爭取獨立主權或全球包容性的鬥爭中做出的權衡。我個人對這兩條路徑的可能性感到興奮,因為它們是全球無許可和本地主權的,我懷疑模塊化堆棧給了我們對兩者的最大希望。
但也無法避免更深層次的懷疑——他們之間的戰鬥定義了今天超越加密每一層的技術和意識形態之戰。
—DP
非常感謝Mustafa Al-Bassam、Jon Charbonneau 和Polynya。我也非常感謝與Josh Bowen 和Aditi Sriram 的對話,他們經常參與上述大量爭論。
最後,我要特別感謝閱讀這篇文章並提供反饋的所有人,包括Ekram Ahmed、Alex Beckett、Jim Chang、Jon Charbonneau、Yuan Han Li、Kinjal Shah、Aditi Sriram 和Jack Zampolin。