區塊鏈:Vitalik：區塊鏈可擴展性的限制

文章來源：ETH中文站

稿源|vitalik.ca

作者|VitalikButerin

感謝FelixLange,MartinSwende,MariusvanderWijden和MarkTyneway的反饋和校對。

我們能將區塊鏈的可擴展性提升到多少？是否真的能像ElonMusk所說的那樣“區塊時間加速十倍，區塊大小增長十倍并且手續費降低一百倍”，而不會導致極度中心化并違背區塊鏈的本質屬性？如果答案是否定的，那我們能達到什么程度？改變公式算法會怎樣？更重要的是，如果引入類似ZK-SNARK或分片的功能會怎樣？一個分片型的區塊鏈在理論上能夠不斷添加分片，那么是否真的可以這么做呢？

事實證明，無論是否使用分片，都有重要且非常微妙的技術因素限制了區塊鏈的可擴展性。許多情況都有解決方案，但是即使有了解決方案，也存在局限性。這篇文章將探討其中的許多問題。

如果只是簡單地拔高參數，問題似乎就能得到解決。但是我們會因此付出什么代價？

普通用戶能夠運行節點對于區塊鏈的去中心化至關重要

想象一下凌晨兩點多，你接到了一個緊急呼叫，來自世界另一端幫你運行礦池(質押池)的人。從大約14分鐘前開始，你的池子和其他幾個人從鏈中分離了出來，而網絡仍然維持著79%的算力。根據你的節點，多數鏈的區塊是無效的。這時出現了余額錯誤：區塊似乎錯誤地將450萬枚額外代幣分配給了一個未知地址。

一小時后，你和其他兩個同樣遭遇意外的小礦池參與者、一些區塊瀏覽器和交易所方在一個聊天室中，看見有人貼出了一條推特的鏈接，開頭寫著“宣布新的鏈上可持續協議開發基金”。

到了早上，相關討論廣泛散布在推特以及一個不審查內容的社區論壇上。但那時450萬枚代幣中的很大一部分已經在鏈上轉換為其他資產，并且進行了數十億美元的defi交易。79％的共識節點，以及所有主要的區塊鏈瀏覽器和輕錢包的端點都遵循了這條新鏈。也許新的開發者基金將為某些開發提供資金，或者也許所有這些都被領先的礦池、交易所及其裙帶所吞并。但是無論結果如何，該基金實際上都成為了既成事實，普通用戶無法反抗。

ZK-EVM Kakarot完成pre-seed輪融資，Vitalik、StarkWare等參投:6月2日消息，zkEVM 開發平臺 Kakarot 完成Pre-Seed 輪融資，StarkWare、LambdaClass 和天使投資人 Vitalik、Nicolas Bacca、Rand Hindi 等參投。

Kakarot zkEVM 是 Cairo 實施的 EVM，利用 STARK 證明來證明交易和區塊，確保透明度和安全性。據介紹，Kakarot zkEVM 發展分為三個階段：1、作為 EVM 存在于 Starknet L2 上；2、和 Starknet 定序器 Madara 合力創建第 3 層 zkEVM；3、Kakarot 和 Madara 組合啟用類型 1 zkEVM。[2023/6/2 11:54:47]

或許還有這么一部主題電影。或許會由MolochDAO或其他組織進行資助。

這種情形會發生在你的區塊鏈中嗎？你所在區塊鏈社區的精英，包括礦池、區塊瀏覽器和托管節點，可能協調得很好，他們很可能都在同一個telegram頻道和微信群中。如果他們真的想出于利益突然對協議規則進行修改，那么他們可能具備這種能力。以太坊區塊鏈在十小時內完全解決了共識失敗，如果是只有一個客戶端實現的區塊鏈，并且只需要將代碼更改部署到幾十個節點，那么可以更快地協調客戶端代碼的更改。能夠抵御這種社會性協作攻擊的唯一可靠方式是“被動防御”，而這種力量來自去一個中心化的群體：用戶。

想象一下，如果用戶運行區塊鏈的驗證節點(無論是直接驗證還是其他間接技術)，并自動拒絕違反協議規則的區塊，即使超過90%的礦工或質押者支持這些區塊，故事會如何發展。

如果每個用戶都運行一個驗證節點，那么攻擊很快就會失敗：有些礦池和交易所會進行分叉，并且在整個過程中看起來很愚蠢。但是即使只有一些用戶運行驗證節點，攻擊者也無法大獲全勝。相反，攻擊會導致混亂，不同用戶會看到不同的區塊鏈版本。最壞情況下，隨之而來的市場恐慌和可能持續的鏈分叉將大幅減少攻擊者的利潤。對如此曠日持久的沖突進行應對的想法本身就可以阻止大多數攻擊。

Hasu關于這一點的看法：

V神將推特名改為豚林vitalik.eth，并呼吁關注不友好的AI風險問題:金色財經報道，以太坊創始人Vitalik Buterin將推特名改為豚林vitalik.eth。昨日，V神呼吁更多的人關注“不友好的AI風險”問題，認為這是未來一兩個世紀可能讓人類脫軌的“最大事情”。V神稱，在未來1-2個世紀里，不友好的AI風險仍然可能是最大的事情，可能會嚴重阻礙人類登上星球。強烈建議更多的人關注這個問題。

推特一名粉絲表示，第三次世界大戰可能是當前人類面臨的一個更大風險時，V神表示不同意這個觀點。V神稱，不，如果真的很糟糕的話，第三次世界大戰可能會殺死10到20億人（主要是由于食品供應鏈中斷），但它不會消滅人類，一個糟糕的人工智能可能真的會永遠地消滅人類。[2022/6/10 4:16:07]

“我們要明確一件事，我們之所以能夠抵御惡意的協議更改，是因為擁有用戶驗證區塊鏈的文化，而不是因為PoW或PoS。”

假設你的社區有37個節點運行者，以及80000名被動監聽者，對簽名和區塊頭進行檢查，那么攻擊者就獲勝了。如果每個人都運行節點的話，攻擊者就會失敗。我們不清楚針對協同攻擊的啟動群體免疫的確切閾值是多少，但有一點是絕對清楚的：好的節點越多，惡意的節點就越少，而且我們所需的數量肯定不止于幾百幾千個。

那么全節點工作的上限是什么？

為了使得有盡可能多的用戶能夠運行全節點，我們會將注意力集中在普通消費級硬件上。即使能夠輕松購買到專用硬件，這能夠降低一些全節點的門檻，但事實上對可擴展性的提升并不如我們想象的那般。

全節點處理大量交易的能力主要受限于三個方面：

算力：在保證安全的前提下，我們能劃分多少CPU來運行節點？

帶寬：基于當前的網絡連接，一個區塊能包含多少字節？

存儲：我們能要求用戶使用多大的空間來進行存儲？此外，其讀取速度應該達到多少？(即，HDD足夠嗎？還是說我們需要SSD？)

許多使用“簡單”技術對區塊鏈進行大幅擴容的錯誤看法都源自于對這些數字過于樂觀的估計。我們可以依次來討論這三個因素：

歐洲刑警組織打擊比利時龐氏騙局Vitae，收回150萬歐元加密貨幣:歐盟法律機構歐洲刑警組織打擊了比利時龐氏騙局Vitae。歐洲刑警組織突襲了與該網站相關的17個地點，這些地點被宣傳為擁有自己的加密貨幣的社交媒體網站。該公司以VITAE AG的名義在瑞士運營。在此次行動中，執法人員收回了110萬歐元現金和150萬歐元的加密貨幣。（Bitcoin）[2021/6/28 0:11:32]

算力

錯誤答案：100%的CPU應該用于區塊驗證

正確答案：約5-10%的CPU可以用于區塊驗證

限制之所以這么低的四個主要原因如下：

我們需要一個安全邊界來覆蓋DoS攻擊的可能性(攻擊者利用代碼弱點制造的交易需要比常規交易更長的處理時間)

節點需要在離線之后能夠與區塊鏈同步。如果我掉線一分鐘，那我應該要能夠在幾秒鐘之內完成同步

運行節點不應該很快地耗盡電池，也不應該拖慢其他應用的運行速度

節點也有其他非區塊生產的工作要進行，大多數是驗證以及對p2p網絡中輸入的交易和請求做出響應

請注意，直到最近大多數針對“為什么只需要5-10%？”這一點的解釋都側重于另一個不同的問題：因為PoW出塊時間不定，驗證區塊需要很長時間，會增加同時創建多個區塊的風險。這個問題有很多修復方法，例如BitcoinNG，或使用PoS權益證明。但這些并沒有解決其他四個問題，因此它們并沒有如許多人所料在可擴展性方面獲得巨大進展。

并行性也不是靈丹妙藥。通常，即使是看似單線程區塊鏈的客戶端也已經并行化了：簽名可以由一個線程驗證，而執行由其他線程完成，并且有一個單獨的線程在后臺處理交易池邏輯。而且所有線程的使用率越接近100%，運行節點的能源消耗就越多，針對DoS的安全系數就越低。

帶寬

錯誤答案：如果沒2-3秒都產生10MB的區塊，那么大多數用戶的網絡都大于10MB/秒，他們當然都能處理這些區塊

正確答案：或許我們能在每12秒處理1-5MB的區塊，但這依然很難

如今，我們經常聽到關于互聯網連接可以提供多少帶寬的廣為傳播的統計數據：100Mbps甚至1Gbps的數字很常見。但是由于以下幾個原因，宣稱的帶寬與預期實際帶寬之間存在很大差異：

Vitalik Buterin：并不認為zkPorter具有比Optimistic Rollup更強的安全保證，且沒有緊密耦合性:以太坊聯合創始人Vitalik Buterin針對Matter Labs披露的zkPorter擴容方案表示：并不認為zkPorter具有比Optimistic Rollup更強的安全保證，寧愿將資產放在Optimistic Rollup中，而不是鏈下數據可用性系統中。zkPorter鏈下數據可用性的安全級別要低于基礎鏈，且沒有緊密耦合性（Tight coupling）。另一方面，分片中的數據可用性層將受到整個以太坊網絡的保護，并兼具緊密耦合性。如果某些應用程序同時使用鏈下數據可用性也是可以的，但前提是鏈下數據在基于分片的數據可用性可用之前明確為臨時措施，但是我認為這沒有必要。[2021/4/14 20:17:45]

“Mbps”是指“每秒數百萬bits”；一個bit是一個字節的1/8，因此我們需要將宣稱的bit數除以8以獲得字節數。

網絡運營商，就像其他公司一樣，經常編造謊言。

總是有多個應用使用同一個網絡連接，所以節點無法獨占整個帶寬。

P2P網絡不可避免地會引入開銷：節點通常最終會多次下載和重新上傳同一個塊(更不用說交易在被打包進區塊之前還要通過mempool進行廣播)。

當Starkware在2019年進行一項實驗時，他們在交易數據gas成本降低后首次發布了500kB的區塊，一些節點實際上無法處理這種大小的區塊。處理大區塊的能力已經并將持續得到改善。但是無論我們做什么，我們仍然無法獲取以MB/秒為單位的平均帶寬，說服自己我們可以接受1秒的延遲，并且有能力處理那種大小的區塊。

存儲

錯誤答案：10TB

正確答案：512GB

正如大家可能猜到的，這里的主要論點與其他地方相同：理論與實踐之間的差異。理論上，我們可以在亞馬遜上購買8TB固態驅動(確實需要SSD或NVME；HDD對于區塊鏈狀態存儲來說太慢了)。實際上，我用來寫這篇博文的筆記本電腦有512GB，如果你讓人們去購買硬件，許多人就會變得懶惰(或者他們無法負擔800美元的8TBSSD)并使用中心化服務。即使可以將區塊鏈裝到某個存儲設備上，大量活動也可以快速地耗盡磁盤并迫使你購入新磁盤。

非營利組織“機器情報研究所”接受加密貨幣捐贈 收到Vitalik Buterin763,970美元的捐贈:非營利組織“機器情報研究所”(Machine Intelligence Research Institute)最近發布了一份籌款統計數據，顯示了對加密貨幣社區的大力支持。該機構是一家非盈利組織，負責調查與人類高級人工智能(AI)相關的安全問題。他們在2017年的年度募款活動籌集了250多萬美元，是125萬美元目標的兩倍多。非營利組織透露，在這次籌款活動中捐贈的資金有66%(大約166萬美元)是用加密貨幣(主要是比特幣和以太坊)進行的。事實上，最大的捐贈是在籌款活動結束的時候，從Vitalik Buterin那里獲得了價值763,970美元的捐贈。Vitalik的捐贈是迄今為止研究機構在所有籌款活動中所收到的第三大捐款。[2018/2/22]

一群區塊鏈協議研究員對每個人的磁盤空間進行了調查。我知道樣本量很小，但仍然...

此外，存儲大小決定了新節點能夠上線并開始參與網絡所需的時間。現有節點必須存儲的任何數據都是新節點必須下載的數據。這個初始同步時間(和帶寬)也是用戶能夠運行節點的主要障礙。在寫這篇博文時，同步一個新的geth節點花了我大約15個小時。如果以太坊的使用量增加10倍，那么同步一個新的geth節點將至少需要一周時間，而且更有可能導致節點的互聯網連接受到限制。這在攻擊期間更為重要，當用戶之前未運行節點時對攻擊做出成功響應需要用戶啟用新節點。

交互效應

此外，這三類成本之間存在交互效應。由于數據庫在內部使用樹結構來存儲和檢索數據，因此從數據庫中獲取數據的成本隨著數據庫大小的對數而增加。事實上，因為頂級(或前幾級)可以緩存在RAM中，所以磁盤訪問成本與數據庫大小成正比，是RAM中緩存數據大小的倍數。

不要從字面上理解這個圖，不同的數據庫以不同的方式工作，通常內存中的部分只是一個單獨(但很大)的層(參見leveldb中使用的LSM樹)。但基本原理是一樣的。

例如，如果緩存為4GB，并且我們假設數據庫的每一層比上一層大4倍，那么以太坊當前的~64GB狀態將需要~2次訪問。但是如果狀態大小增加4倍到~256GB，那么這將增加到~3次訪問。因此，gas上限增加4倍實際上可以轉化為區塊驗證時間增加約6倍。這種影響可能會更大：硬盤在已滿狀態下比空閑時需要花更長時間來讀寫。

這對以太坊來說意味著什么？

現在在以太坊區塊鏈中，運行一個節點對許多用戶來說已經是一項挑戰，盡管至少使用常規硬件仍然是可能的(我寫這篇文章時剛剛在我的筆記本電腦上同步了一個節點！)。因此，我們即將遭遇瓶頸。核心開發者最關心的問題是存儲大小。因此，目前在解決計算和數據瓶頸方面的巨大努力，甚至對共識算法的改變，都不太可能帶來gaslimit的大幅提升。即使解決了以太坊最大的DoS弱點，也只能將gaslimit提高20%。

對于存儲大小的問題，唯一解決方案是無狀態和狀態逾期。無狀態使得節點群能夠在不維護永久存儲的情況下進行驗證。狀態逾期會使最近未訪問過的狀態失活，用戶需要手動提供證明來更新。這兩條路徑已經研究了很長時間，并且已經開始了關于無狀態的概念驗證實現。這兩項改進相結合可以大大緩解這些擔憂，并為顯著提升gaslimit開辟空間。但即使在實施無狀態和狀態逾期之后，gaslimit也可能只會安全地提升約3倍，直到其他限制開始發揮作用。

另一個可能的中期解決方案使使用ZK-SNARKs來驗證交易。ZK-SNARKs能夠保證普通用戶無需個人存儲狀態或是驗證區塊，即使他們仍然需要下載區塊中的所有數據來抵御數據不可用攻擊。另外，即使攻擊者不能強行提交無效區塊，但是如果運行一個共識節點的難度過高，依然會有協調審查攻擊的風險。因此，ZK-SNARKs不能無限地提升節點能力，但是仍然能夠對其進行大幅提升(或許是1-2個數量級)。一些區塊鏈在layer1上探索該形式，以太坊則通過layer2協議(也叫ZKrollups)來獲益，例如zksync,Loopring和Starknet。

分片之后又會如何？

分片從根本上解決了上述限制，因為它將區塊鏈上包含的數據與單個節點需要處理和存儲的數據解耦了。節點驗證區塊不是通過親自下載和執行，而是使用先進的數學和密碼學技術來間接驗證區塊。

因此，分片區塊鏈可以安全地擁有非分片區塊鏈無法實現的非常高水平的吞吐量。這確實需要大量的密碼學技術來有效替代樸素完整驗證，以拒絕無效區塊，但這是可以做到的：該理論已經具備了基礎，并且基于草案規范的概念驗證已經在進行中。

以太坊計劃采用二次方分片(quadraticsharding)，其中總可擴展性受到以下事實的限制：節點必須能夠同時處理單個分片和信標鏈，而信標鏈必須為每個分片執行一些固定的管理工作。如果分片太大，節點就不能再處理單個分片，如果分片太多，節點就不能再處理信標鏈。這兩個約束的乘積構成了上限。

可以想象，通過三次方分片甚至指數分片，我們可以走得更遠。在這樣的設計中，數據可用性采樣肯定會變得更加復雜，但這是可以實現的。但以太坊并沒有超越二次方，原因在于，從交易分片到交易分片的分片所獲得的額外可擴展性收益實際上無法在其他風險程度可接受的前提下實現。

那么這些風險是什么呢？

最低用戶數量

可以想象，只要有一個用戶愿意參與，非分片區塊鏈就可以運行。但分片區塊鏈并非如此：單個節點無法處理整條鏈，因此需要足夠的節點以共同處理區塊鏈。如果每個節點可以處理50TPS，而鏈可以處理10000TPS，那么鏈至少需要200個節點才能存續。如果鏈在任何時候都少于200個節點，那可能會出現節點無法再保持同步，或者節點停止檢測無效區塊，或者還可能會發生許多其他壞事，具體取決于節點軟件的設置。

在實踐中，由于需要冗余(包括數據可用性采樣)，安全的最低數量比簡單的“鏈TPS除以節點TPS”高幾倍，對于上面的例子，我們將其設置位1000個節點。

如果分片區塊鏈的容量增加10倍，則最低用戶數也增加10倍。現在大家可能會問：為什么我們不從較低的容量開始，當用戶很多時再增加，因為這是我們的實際需要，用戶數量回落再降低容量？

這里有幾個問題：

區塊鏈本身無法可靠地檢測到其上有多少唯一用戶，因此需要某種治理來檢測和設置分片數量。對容量限制的治理很容易成為分裂和沖突的根源。

如果許多用戶突然同時意外掉線怎么辦？

增加啟動分叉所需的最低用戶數量，使得防御惡意控制更加艱難。

最低用戶數為1,000，這幾乎可以說是沒問題的。另一方面，最低用戶數設為100萬，這肯定是不行。即使最低用戶數為10,000也可以說開始變得有風險。因此，似乎很難證明超過幾百個分片的分片區塊鏈是合理的。

歷史可檢索性

用戶真正珍視的區塊鏈重要屬性是永久性。當公司破產或是維護該生態系統不再產生利益時，存儲在服務器上的數字資產將在10年內不再存在。而以太坊上的NFT是永久的。

是的，到2372年人們仍能夠下載并查閱你的加密貓。

但是一旦區塊鏈的容量過高，存儲所有這些數據就會變得更加困難，直到某時出現巨大風險，某些歷史數據最終將……沒人存儲。

要量化這種風險很容易。以區塊鏈的數據容量(MB/sec)為單位，乘以~30得到每年存儲的數據量(TB)。當前的分片計劃的數據容量約為1.3MB/秒，因此約為40TB/年。如果增加10倍，則為400TB/年。如果我們不僅希望可以訪問數據，而且是以一種便捷的方式，我們還需要元數據(例如解壓縮匯總交易)，因此每年達到4PB，或十年后達到40PB。InternetArchive(互聯網檔案館)使用50PB。所以這可以說是分片區塊鏈的安全大小上限。

因此，看起來在這兩個維度上，以太坊分片設計實際上已經非常接近合理的最大安全值。常數可以增加一點，但不能增加太多。

結語

嘗試擴容區塊鏈的方法有兩種：基礎的技術改進和簡單地提升參數。首先，提升參數聽起來很有吸引力：如果您是在餐紙上進行數學運算，這就很容易讓自己相信消費級筆記本電腦每秒可以處理數千筆交易，不需要ZK-SNARK、rollups或分片。不幸的是，有很多微妙的理由可以解釋為什么這種方法是有根本缺陷的。

運行區塊鏈節點的計算機無法使用100％的CPU來驗證區塊鏈；他們需要很大的安全邊際來抵抗意外的DoS攻擊，他們需要備用容量來執行諸如在內存池中處理交易之類的任務，并且用戶不希望在計算機上運行節點的時候無法同時用于任何其他應用。帶寬也會受限：10MB/s的連接并不意味著每秒可以處理10MB的區塊！也許每12秒才能處理1-5MB的塊。存儲也是一樣，提高運行節點的硬件要求并且限制專門的節點運行者并不是解決方案。對于去中心化的區塊鏈而言，普通用戶能夠運行節點并形成一種文化，即運行節點是一種普遍行為，這一點至關重要。

然而，基礎的技術改進是可行的。當前，以太坊的主要瓶頸是存儲大小，而無狀態性和狀態逾期可以解決該問題，并使其能夠最多增長約3倍，但不能再多，因為我們希望運行節點比當前更容易。采用分片的區塊鏈可以進一步擴展，因為分片區塊鏈中的單個節點不需要處理每筆交易。但即使是分片區塊鏈，容量也有局限性：隨著容量的增加，最低安全用戶數增加，歸檔區塊鏈的成本(以及如果沒有人歸檔鏈，數據存在丟失的風險)就會上升。但是我們不必過于擔心：這些限制足以我們在保證區塊鏈完全安全性的同時每秒處理一百萬筆交易以上。但是要在不損害區塊鏈最寶貴的去中心化特性的前提下實現這一點，我們需要付出更多努力。

原文鏈接：https://vitalik.ca/general/2021/05/23/scaling.html

Tags：區塊鏈ITA以太坊VIT區塊鏈專業好不好就業SF Capital以太坊交易軟件Vitalick Neuterin

萊特幣價格