感謝Felix Lange, Martin Swende, Marius van der Wijden 和 Mark Tyneway的反饋和校對。
我們能將區塊鏈的可擴展性提升到多少?是否真的能像 Elon Musk 所說的那樣“區塊時間加速十倍,區塊大小增長十倍并且手續費降低一百倍”,而不會導致極度中心化并違背區塊鏈的本質屬性?如果答案是否定的,那我們能達到什么程度?改變公式算法會怎樣?更重要的是,如果引入類似 ZK-SNARK 或分片的功能會怎樣?一個分片型的區塊鏈在理論上能夠不斷添加分片,那么是否真的可以這么做呢?
事實證明,無論是否使用分片,都有重要且非常微妙的技術因素限制了區塊鏈的可擴展性。許多情況都有解決方案,但是即使有了解決方案,也存在局限性。這篇文章將探討其中的許多問題。
如果只是簡單地拔高參數,問題似乎就能得到解決。但是我們會因此付出什么代價?
普通用戶能夠運行節點對于區塊鏈的去中心化至關重要
想象一下凌晨兩點多,你接到了一個緊急呼叫,來自世界另一端幫你運行礦池 (質押池) 的人。從大約 14 分鐘前開始,你的池子和其他幾個人從鏈中分離了出來,而網絡仍然維持著 79% 的算力。根據你的節點,多數鏈的區塊是無效的。這時出現了余額錯誤:區塊似乎錯誤地將 450 萬枚額外代幣分配給了一個未知地址。
一小時后,你和其他兩個同樣遭遇意外的小礦池參與者、一些區塊瀏覽器和交易所方在一個聊天室中,看見有人貼出了一條推特的鏈接,開頭寫著“宣布新的鏈上可持續協議開發基金”。
到了早上,相關討論廣泛散布在推特以及一個不審查內容的社區論壇上。但那時 450 萬枚代幣中的很大一部分已經在鏈上轉換為其他資產,并且進行了數十億美元的 defi 交易。79%的共識節點,以及所有主要的區塊鏈瀏覽器和輕錢包的端點都遵循了這條新鏈。也許新的開發者基金將為某些開發提供資金,或者也許所有這些都被領先的礦池、交易所及其裙帶所吞并。但是無論結果如何,該基金實際上都成為了既成事實,普通用戶無法反抗。
或許還有這么一部主題電影。或許會由 MolochDAO 或其他組織進行資助。
這種情形會發生在你的區塊鏈中嗎?你所在區塊鏈社區的精英,包括礦池、區塊瀏覽器和托管節點,可能協調得很好,他們很可能都在同一個 telegram 頻道和微信群中。如果他們真的想出于利益突然對協議規則進行修改,那么他們可能具備這種能力。以太坊區塊鏈在十小時內完全解決了共識失敗,如果是只有一個客戶端實現的區塊鏈,并且只需要將代碼更改部署到幾十個節點,那么可以更快地協調客戶端代碼的更改。能夠抵御這種社會性協作攻擊的唯一可靠方式是“被動防御”,而這種力量來自去一個中心化的群體:用戶。
Vitalik Buterin:賬戶抽象升級可以吸引數十億人使用以太坊:7月20日消息,以太坊創始人Vitalik Buterin最近在以太坊社區會議(EthCC)演講中詳細介紹賬戶抽象升級“paymasters”如何讓用戶用用于交易的代幣支付Gas費,從而吸引數十億人使用以太坊。賬戶抽象使用戶能夠從外部擁有的錢包(EOA)切換到基于智能合約的錢包。如果此次升級成功,錢包管理將比現在更加高效和輕松。Vitalik Buterin和社區相信,這可以使加密貨幣得到廣泛采用。
此外,加密貨幣領域充斥著丟失助記詞或助記詞被盜的用戶。通過賬戶抽象,用戶可以創建充當可編程智能合約的非托管錢包。錢包恢復只是此次新升級帶來的眾多功能之一。[2023/7/20 11:06:21]
想象一下,如果用戶運行區塊鏈的驗證節點 (無論是直接驗證還是其他間接技術),并自動拒絕違反協議規則的區塊,即使超過 90% 的礦工或質押者支持這些區塊,故事會如何發展。
如果每個用戶都運行一個驗證節點,那么攻擊很快就會失敗:有些礦池和交易所會進行分叉,并且在整個過程中看起來很愚蠢。但是即使只有一些用戶運行驗證節點,攻擊者也無法大獲全勝。相反,攻擊會導致混亂,不同用戶會看到不同的區塊鏈版本。最壞情況下,隨之而來的市場恐慌和可能持續的鏈分叉將大幅減少攻擊者的利潤。對如此曠日持久的沖突進行應對的想法本身就可以阻止大多數攻擊。
Hasu 關于這一點的看法:
“我們要明確一件事,我們之所以能夠抵御惡意的協議更改,是因為擁有用戶驗證區塊鏈的文化,而不是因為 PoW 或 PoS。”
假設你的社區有 37 個節點運行者,以及 80000 名被動監聽者,對簽名和區塊頭進行檢查,那么攻擊者就獲勝了。如果每個人都運行節點的話,攻擊者就會失敗。我們不清楚針對協同攻擊的啟動群體免疫的確切閾值是多少,但有一點是絕對清楚的:好的節點越多,惡意的節點就越少,而且我們所需的數量肯定不止于幾百幾千個。
那么全節點工作的上限是什么?
為了使得有盡可能多的用戶能夠運行全節點,我們會將注意力集中在普通消費級硬件上。即使能夠輕松購買到專用硬件,這能夠降低一些全節點的門檻,但事實上對可擴展性的提升并不如我們想象的那般。
Vitalik Buterin:比特幣若希望進一步發展,需測試更多擴展解決方案:7月10日消息,以太坊創始人Vitalik Buterin本周在Twitter Space上表示,“如果我們希望比特幣不僅僅作為支付方式,它需要像Plasma或ZK Rollup這樣的擴展解決方案。而這兩種方案都已經在以太坊上測試過”。他還表示,Optimism和Arbitrum是兩個成功的Rollup,可以作為比特幣的案例研究。Buterin還試圖找出以太坊和比特幣兩個生態系統的共性。他指出,兩個區塊鏈都具有不變性,同時它們都存在L1隱私問題。多年來,以太坊一直在嘗試多種擴展解決方案,最新提案為EIP-4844,它引入了blob,每秒可實現多達10萬次交易。
?[2023/7/10 10:12:34]
全節點處理大量交易的能力主要受限于三個方面:
算力:在保證安全的前提下,我們能劃分多少 CPU 來運行節點?
帶寬:基于當前的網絡連接,一個區塊能包含多少字節?
存儲:我們能要求用戶使用多大的空間來進行存儲?此外,其讀取速度應該達到多少?(即,HDD 足夠嗎?還是說我們需要 SSD?)
許多使用“簡單”技術對區塊鏈進行大幅擴容的錯誤看法都源自于對這些數字過于樂觀的估計。我們可以依次來討論這三個因素:
算力
錯誤答案:100% 的 CPU 應該用于區塊驗證
正確答案:約 5-10% 的 CPU 可以用于區塊驗證
限制之所以這么低的四個主要原因如下:
我們需要一個安全邊界來覆蓋 DoS 攻擊的可能性 (攻擊者利用代碼弱點制造的交易需要比常規交易更長的處理時間)
節點需要在離線之后能夠與區塊鏈同步。如果我掉線一分鐘,那我應該要能夠在幾秒鐘之內完成同步
運行節點不應該很快地耗盡電池,也不應該拖慢其他應用的運行速度
節點也有其他非區塊生產的工作要進行,大多數是驗證以及對 p2p 網絡中輸入的交易和請求做出響應
請注意,直到最近大多數針對“為什么只需要 5-10%?”這一點的解釋都側重于另一個不同的問題:因為 PoW 出塊時間不定,驗證區塊需要很長時間,會增加同時創建多個區塊的風險。這個問題有很多修復方法,例如 Bitcoin NG,或使用 PoS 權益證明。但這些并沒有解決其他四個問題,因此它們并沒有如許多人所料在可擴展性方面獲得巨大進展。
Vitalik:從多個來源確認烏克蘭加密貨幣捐贈地址是合法的:2月27日消息,針對此前烏克蘭官方推特宣布接受加密貨幣捐贈,以太坊創始人Vitalik表示從幾個來源得到一些確認它是合法的,并暫時刪除我的警告。[2022/2/27 10:18:31]
并行性也不是靈丹妙藥。通常,即使是看似單線程區塊鏈的客戶端也已經并行化了:簽名可以由一個線程驗證,而執行由其他線程完成,并且有一個單獨的線程在后臺處理交易池邏輯。而且所有線程的使用率越接近 100%,運行節點的能源消耗就越多,針對 DoS 的安全系數就越低。
帶寬
錯誤答案:如果沒 2-3 秒都產生 10 MB 的區塊,那么大多數用戶的網絡都大于 10 MB/秒,他們當然都能處理這些區塊
正確答案:或許我們能在每 12 秒處理 1-5 MB 的區塊,但這依然很難
如今,我們經常聽到關于互聯網連接可以提供多少帶寬的廣為傳播的統計數據:100 Mbps 甚至 1 Gbps 的數字很常見。但是由于以下幾個原因,宣稱的帶寬與預期實際帶寬之間存在很大差異:
“Mbps”是指“每秒數百萬 bits”;一個 bit 是一個字節的 1/8,因此我們需要將宣稱的 bit 數除以 8 以獲得字節數。
網絡運營商,就像其他公司一樣,經常編造謊言。
總是有多個應用使用同一個網絡連接,所以節點無法獨占整個帶寬。
P2P 網絡不可避免地會引入開銷:節點通常最終會多次下載和重新上傳同一個塊 (更不用說交易在被打包進區塊之前還要通過 mempool 進行廣播)。
當 Starkware 在 2019 年進行一項實驗時,他們在交易數據 gas 成本降低后首次發布了 500 kB 的區塊,一些節點實際上無法處理這種大小的區塊。處理大區塊的能力已經并將持續得到改善。但是無論我們做什么,我們仍然無法獲取以 MB/秒為單位的平均帶寬,說服自己我們可以接受 1 秒的延遲,并且有能力處理那種大小的區塊。
存儲
錯誤答案:10 TB
正確答案:512 GB
正如大家可能猜到的,這里的主要論點與其他地方相同:理論與實踐之間的差異。理論上,我們可以在亞馬遜上購買 8 TB 固態驅動 (確實需要 SSD 或 NVME;HDD 對于區塊鏈狀態存儲來說太慢了)。實際上,我用來寫這篇博文的筆記本電腦有 512 GB,如果你讓人們去購買硬件,許多人就會變得懶惰 (或者他們無法負擔 800 美元的 8 TB SSD) 并使用中心化服務。即使可以將區塊鏈裝到某個存儲設備上,大量活動也可以快速地耗盡磁盤并迫使你購入新磁盤。
Vitalik Buterin:加密開發人員將從“加密冬天”中受益:2月22日消息,在面臨包括以太坊在內的所有主要加密貨幣的價格和市值快速下跌的情況下,Vitalik Buterin表達了他對這種情況的看法。Vitalik Buterin聲稱,許多開發商贊成熊市,因為它允許專注于開發技術最先進的產品和服務,而不會被金融和投機問題分心。V神認為,通過獲得加密社區的適當認可,最可持續和最有效的加密項目可以從“加密冬天”中顯著受益。
Vitalik Buterin 表示,他無法可靠地預測加密行業的未來動態。他考慮了以下兩種主要情況。第一個是“加密貨幣冬天”,長期衰退將影響所有主要加密貨幣的資本化,包括比特幣、以太坊等。(crypto.news)[2022/2/22 10:07:15]
一群區塊鏈協議研究員對每個人的磁盤空間進行了調查。我知道樣本量很小,但仍然...
此外,存儲大小決定了新節點能夠上線并開始參與網絡所需的時間。現有節點必須存儲的任何數據都是新節點必須下載的數據。這個初始同步時間 (和帶寬) 也是用戶能夠運行節點的主要障礙。在寫這篇博文時,同步一個新的 geth 節點花了我大約 15 個小時。如果以太坊的使用量增加 10 倍,那么同步一個新的 geth 節點將至少需要一周時間,而且更有可能導致節點的互聯網連接受到限制。這在攻擊期間更為重要,當用戶之前未運行節點時對攻擊做出成功響應需要用戶啟用新節點。
交互效應
此外,這三類成本之間存在交互效應。由于數據庫在內部使用樹結構來存儲和檢索數據,因此從數據庫中獲取數據的成本隨著數據庫大小的對數而增加。事實上,因為頂級 (或前幾級) 可以緩存在 RAM 中,所以磁盤訪問成本與數據庫大小成正比,是 RAM 中緩存數據大小的倍數。
不要從字面上理解這個圖,不同的數據庫以不同的方式工作,通常內存中的部分只是一個單獨 (但很大) 的層 (參見 leveldb 中使用的 LSM 樹)。但基本原理是一樣的。
例如,如果緩存為 4 GB,并且我們假設數據庫的每一層比上一層大 4 倍,那么以太坊當前的 ~64 GB 狀態將需要 ~2 次訪問。但是如果狀態大小增加 4 倍到 ~256 GB,那么這將增加到 ~3 次訪問。因此,gas 上限增加 4 倍實際上可以轉化為區塊驗證時間增加約 6 倍。這種影響可能會更大:硬盤在已滿狀態下比空閑時需要花更長時間來讀寫。
現場 | Vitalik Buterin:“去中心化”系統有三種不同的形式:金色財經現場報道,今日,由金色財經提供戰略媒體支持的以太坊產業發展峰會在香港舉辦,會上以太坊創始人Vitalik Buterin分享了“去中心”的三種不同形式,即架構上的去中心化、上的去中心化和邏輯上的去中心化。Vitalk進一步解釋了關注“去中心”的原因。他認為,去中心的系統在容錯性方面更強,更容易抵制網絡攻擊,也更容易防止參與方的作惡行為。[2018/9/8]
這對以太坊來說意味著什么?
現在在以太坊區塊鏈中,運行一個節點對許多用戶來說已經是一項挑戰,盡管至少使用常規硬件仍然是可能的 (我寫這篇文章時剛剛在我的筆記本電腦上同步了一個節點!)。因此,我們即將遭遇瓶頸。核心開發者最關心的問題是存儲大小。因此,目前在解決計算和數據瓶頸方面的巨大努力,甚至對共識算法的改變,都不太可能帶來 gas limit 的大幅提升。即使解決了以太坊最大的 DoS 弱點,也只能將 gas limit 提高 20%。
對于存儲大小的問題,唯一解決方案是無狀態和狀態逾期。無狀態使得節點群能夠在不維護永久存儲的情況下進行驗證。狀態逾期會使最近未訪問過的狀態失活,用戶需要手動提供證明來更新。這兩條路徑已經研究了很長時間,并且已經開始了關于無狀態的概念驗證實現。這兩項改進相結合可以大大緩解這些擔憂,并為顯著提升 gas limit 開辟空間。但即使在實施無狀態和狀態逾期之后,gas limit 也可能只會安全地提升約 3 倍,直到其他限制開始發揮作用。
另一個可能的中期解決方案使使用 ZK-SNARKs 來驗證交易。ZK-SNARKs 能夠保證普通用戶無需個人存儲狀態或是驗證區塊,即使他們仍然需要下載區塊中的所有數據來抵御數據不可用攻擊。另外,即使攻擊者不能強行提交無效區塊,但是如果運行一個共識節點的難度過高,依然會有協調審查攻擊的風險。因此,ZK-SNARKs 不能無限地提升節點能力,但是仍然能夠對其進行大幅提升 (或許是 1-2 個數量級)。一些區塊鏈在 layer1 上探索該形式,以太坊則通過 layer2 協議 (也叫 ZK rollups) 來獲益,例如 zksync, Loopring 和 Starknet。
分片之后又會如何?
分片從根本上解決了上述限制,因為它將區塊鏈上包含的數據與單個節點需要處理和存儲的數據解耦了。節點驗證區塊不是通過親自下載和執行,而是使用先進的數學和密碼學技術來間接驗證區塊。
因此,分片區塊鏈可以安全地擁有非分片區塊鏈無法實現的非常高水平的吞吐量。這確實需要大量的密碼學技術來有效替代樸素完整驗證,以拒絕無效區塊,但這是可以做到的:該理論已經具備了基礎,并且基于草案規范的概念驗證已經在進行中。
以太坊計劃采用二次方分片 (quadratic sharding),其中總可擴展性受到以下事實的限制:節點必須能夠同時處理單個分片和信標鏈,而信標鏈必須為每個分片執行一些固定的管理工作。如果分片太大,節點就不能再處理單個分片,如果分片太多,節點就不能再處理信標鏈。這兩個約束的乘積構成了上限。
可以想象,通過三次方分片甚至指數分片,我們可以走得更遠。在這樣的設計中,數據可用性采樣肯定會變得更加復雜,但這是可以實現的。但以太坊并沒有超越二次方,原因在于,從交易分片到交易分片的分片所獲得的額外可擴展性收益實際上無法在其他風險程度可接受的前提下實現。
那么這些風險是什么呢?
最低用戶數量
可以想象,只要有一個用戶愿意參與,非分片區塊鏈就可以運行。但分片區塊鏈并非如此:單個節點無法處理整條鏈,因此需要足夠的節點以共同處理區塊鏈。如果每個節點可以處理 50 TPS,而鏈可以處理 10000 TPS,那么鏈至少需要 200 個節點才能存續。如果鏈在任何時候都少于 200 個節點,那可能會出現節點無法再保持同步,或者節點停止檢測無效區塊,或者還可能會發生許多其他壞事,具體取決于節點軟件的設置。
在實踐中,由于需要冗余 (包括數據可用性采樣),安全的最低數量比簡單的“鏈 TPS 除以節點 TPS”高幾倍,對于上面的例子,我們將其設置位 1000 個節點。
如果分片區塊鏈的容量增加 10 倍,則最低用戶數也增加 10 倍。現在大家可能會問:為什么我們不從較低的容量開始,當用戶很多時再增加,因為這是我們的實際需要,用戶數量回落再降低容量?
這里有幾個問題:
區塊鏈本身無法可靠地檢測到其上有多少唯一用戶,因此需要某種治理來檢測和設置分片數量。對容量限制的治理很容易成為分裂和沖突的根源。
如果許多用戶突然同時意外掉線怎么辦?
增加啟動分叉所需的最低用戶數量,使得防御惡意控制更加艱難。
最低用戶數為 1,000,這幾乎可以說是沒問題的。另一方面,最低用戶數設為 100 萬,這肯定是不行。即使最低用戶數為 10,000 也可以說開始變得有風險。因此,似乎很難證明超過幾百個分片的分片區塊鏈是合理的。
歷史可檢索性
用戶真正珍視的區塊鏈重要屬性是永久性。當公司破產或是維護該生態系統不再產生利益時,存儲在服務器上的數字資產將在 10 年內不再存在。而以太坊上的 NFT 是永久的。
是的,到 2372 年人們仍能夠下載并查閱你的加密貓。
但是一旦區塊鏈的容量過高,存儲所有這些數據就會變得更加困難,直到某時出現巨大風險,某些歷史數據最終將……沒人存儲。
要量化這種風險很容易。以區塊鏈的數據容量 (MB/sec) 為單位,乘以 ~30 得到每年存儲的數據量 (TB)。當前的分片計劃的數據容量約為 1.3 MB/秒,因此約為 40 TB/年。如果增加 10 倍,則為 400 TB/年。如果我們不僅希望可以訪問數據,而且是以一種便捷的方式,我們還需要元數據 (例如解壓縮匯總交易),因此每年達到 4 PB,或十年后達到 40 PB。Internet Archive (互聯網檔案館) 使用 50 PB。所以這可以說是分片區塊鏈的安全大小上限。
因此,看起來在這兩個維度上,以太坊分片設計實際上已經非常接近合理的最大安全值。常數可以增加一點,但不能增加太多。
結語
嘗試擴容區塊鏈的方法有兩種:基礎的技術改進和簡單地提升參數。首先,提升參數聽起來很有吸引力:如果您是在餐紙上進行數學運算,這就很容易讓自己相信消費級筆記本電腦每秒可以處理數千筆交易,不需要 ZK-SNARK、rollups 或分片。不幸的是,有很多微妙的理由可以解釋為什么這種方法是有根本缺陷的。
運行區塊鏈節點的計算機無法使用 100%的 CPU 來驗證區塊鏈;他們需要很大的安全邊際來抵抗意外的 DoS 攻擊,他們需要備用容量來執行諸如在內存池中處理交易之類的任務,并且用戶不希望在計算機上運行節點的時候無法同時用于任何其他應用。帶寬也會受限:10 MB/s 的連接并不意味著每秒可以處理 10 MB 的區塊!也許每 12 秒才能處理 1-5 MB 的塊。存儲也是一樣,提高運行節點的硬件要求并且限制專門的節點運行者并不是解決方案。對于去中心化的區塊鏈而言,普通用戶能夠運行節點并形成一種文化,即運行節點是一種普遍行為,這一點至關重要。
然而,基礎的技術改進是可行的。當前,以太坊的主要瓶頸是存儲大小,而無狀態性和狀態逾期可以解決該問題,并使其能夠最多增長約 3 倍,但不能再多,因為我們希望運行節點比當前更容易。采用分片的區塊鏈可以進一步擴展,因為分片區塊鏈中的單個節點不需要處理每筆交易。但即使是分片區塊鏈,容量也有局限性:隨著容量的增加,最低安全用戶數增加,歸檔區塊鏈的成本 (以及如果沒有人歸檔鏈,數據存在丟失的風險) 就會上升。但是我們不必過于擔心:這些限制足以我們在保證區塊鏈完全安全性的同時每秒處理一百萬筆交易以上。但是要在不損害區塊鏈最寶貴的去中心化特性的前提下實現這一點,我們需要付出更多努力。
原文鏈接:https://vitalik.ca/general/2021/05/23/scaling.html
ECN的翻譯工作旨在為中國以太坊社區傳遞優質資訊和學習資源,文章版權歸原作者所有,轉載須注明原文出處以及ETH中文站。若需長期轉載,請聯系eth@ecn.co進行授權。
來源 | vitalik.ca
作者 | Vitalik Buterin
Tags:區塊鏈以太坊VITALI我朋友做區塊鏈被捉了怎么辦以太坊幣今日價格行情實時Huobi Vitamin TokenPALI
我們經常會在業內媒體報道上看到“ERC-20”這個詞,它是以太坊上的一種標準協議。除了ERC-20,以太坊上的另一個較多數人聽說過的協議是ERC-721.
1900/1/1 0:00:00最近,比特幣從高點發生巨大的回撤,創下了10年來的最大單月跌幅(-37.9%),大多數市場參與者對加密貨幣市場未來的走勢感到十分焦慮和恐慌.
1900/1/1 0:00:001.金色觀察 | ETH價格上漲11%后 DeFi代幣市場回暖加密市場經歷過周末行情低迷后,有所回暖,ETH價格則有較大幅度的上漲。在過去24小時內ETH價格上漲了11%,達到2640美元高點.
1900/1/1 0:00:00近日,中國互聯網金融協會、中國銀行業協會與中國支付清算協會聯合發布公告,要求會員機構不得開展虛擬貨幣交易兌換以及其他相關金融業務.
1900/1/1 0:00:00根據區塊鏈分析公司 Chainalysis 的一份報告,美國的比特幣投資者在2020年實現了41億美元的比特幣收益.
1900/1/1 0:00:00DeFi 領域之所以能煥發如此強勁的生命力和創新力,主要原因之一是人們可以在以太坊上編寫靈活的智能合約,并創建具有可組合性的貨幣積木.
1900/1/1 0:00:00