tokenim錢包APP/tokenim錢包安卓版下載/蘋果下載/正版下載/最新下載手機(jī)
2024/5/24 10:09:29
tokenim錢包APP/tokenim錢包安卓版下載/蘋果下載/正版下載/最新下載手機(jī)下載訪問(wèn)官網(wǎng):www.imxz.me 為千萬(wàn)用戶提供可信賴的服務(wù),錢包是一款移動(dòng)端冷錢包 App,幫助你安全管理比特幣, 以太坊, ATOM, EOS, TRX, CKB, BCH, LTC, DOT, KSM, FIL 等資產(chǎn).兩年半前,我在「Endgame」一文中提到,區(qū)塊鏈未來(lái)的不同發(fā)展路徑至少在技術(shù)上看起來(lái)非常相似。在這兩種情況下,鏈上都有大量的交易,而處理這些交易需要:(1)大量的計(jì)算;(2)大量的資料頻寬。普通的以太坊節(jié)點(diǎn)(譬如我現(xiàn)在電腦上運(yùn)行的2 TB reth 歸檔節(jié)點(diǎn)),即使有著強(qiáng)大軟體工程效能和Verkle 樹,也不足以直接驗(yàn)證龐大的資料量和運(yùn)算量。相反,在「L1 分片」和以Rollup 為中心的兩種方案中,ZK-SNARK 用於驗(yàn)證計(jì)算,DAS 用於驗(yàn)證資料可用性。無(wú)論是L2 分片還是Rollup,DAS 都是一樣的,ZK-SNARKs 技術(shù)也相同。它們既是智慧合約程式碼,也是協(xié)議的一個(gè)功能。從真正的技術(shù)意義上講,以太坊正在分片,而Rollup 就是分片。
Vitalik新作:L2與執(zhí)行分片有何不同?
Vitalik新作:L2與執(zhí)行分片有何不同?
這自然會(huì)引出一個(gè)問(wèn)題:二者有什麼差別?其中一個(gè)就是程式碼漏洞導(dǎo)致的後果不同:在Rollup 中,代幣會(huì)被偷走;在分片中,共識(shí)則會(huì)破裂。但我預(yù)計(jì),隨著協(xié)議的穩(wěn)固和形式驗(yàn)證(formal verification)技術(shù)的改進(jìn),程式碼漏洞的影響將越來(lái)越小。那麼,這兩個(gè)可能會(huì)長(zhǎng)期存在的方案之間還有哪些不同呢?
執(zhí)行環(huán)境的多樣性
2019 年,我們?cè)谝蕴恢泻?jiǎn)單討論過(guò)的一個(gè)想法是執(zhí)行環(huán)境。從本質(zhì)上講,以太坊將擁有不同的“zones”,這些“zones”可以對(duì)帳戶(包括完全不同的方法,如UTXO)、虛擬機(jī)器的工作方式以及其他功能製定不同的規(guī)則。這樣就能在堆疊的各個(gè)部分實(shí)現(xiàn)方法的多樣性,但如果以太坊試圖將多職能集於一體,就很難實(shí)現(xiàn)這一點(diǎn)。
最後,我們放棄了一些更有野心的計(jì)劃,只保留EVM。不過(guò),以太坊L2(包括rollups、valdiums 和Plasmas)可以說(shuō)最終還是扮演了執(zhí)行環(huán)境的角色。目前,我們通常專注於EVM 等效L2,但其實(shí)忽略了許多其他方法所帶來(lái)的多樣性:
Arbitrum Stylus,它在EVM 之外新增了第二個(gè)基於WASM 的預(yù)言機(jī);
Fuel,它使用類似於比特幣(但功能更齊全)的基於UTXO 的架構(gòu);
Aztec,它引入了一種圍繞基於ZK-SNARK 的隱私保護(hù)智慧合約設(shè)計(jì)的新語(yǔ)言和程式設(shè)計(jì)範(fàn)式。
Vitalik新作:L2與執(zhí)行分片有何不同?
基於UTXO 的架構(gòu),來(lái)源:Fuel 文檔
我們可以嘗試將EVM 打造成一個(gè)涵蓋所有可能範(fàn)式的超級(jí)虛擬機(jī),但這樣做會(huì)讓各個(gè)功能的效率大打折扣,不如讓這些平臺(tái)做他們專業(yè)的事情。
安全折中:擴(kuò)容與交易速度
以太坊L1 提供了非常強(qiáng)大的安全保障。如果L1 上最終完成的區(qū)塊中包含了某些數(shù)據(jù),那麼整個(gè)共識(shí)(包括極端情況下的社會(huì)共識(shí))都會(huì)努力確保這些數(shù)據(jù)不會(huì)被修改,確保由這些數(shù)據(jù)觸發(fā)的任何執(zhí)行都不會(huì)被還原,並仍可存取這些數(shù)據(jù)。為了實(shí)現(xiàn)這種安全保證,以太坊L1 願(yuàn)意接受高昂的成本。在本文撰寫時(shí),交易費(fèi)用相對(duì)較低:Layer2 每筆交易收費(fèi)不到1 美分,即使在L1 上,基礎(chǔ)的ETH 轉(zhuǎn)帳也不到1 美元。如果技術(shù)進(jìn)步夠快,可用區(qū)塊空間的成長(zhǎng)能跟上需求的成長(zhǎng),那麼這些費(fèi)用在未來(lái)可能會(huì)一直比較低,但也可能不會(huì)。對(duì)於許多非金融應(yīng)用(譬如社群媒體或遊戲)來(lái)說(shuō),即使每筆交易0.01 美元也太高了。
但社群媒體和遊戲並不需要與L1 相同的安全模式。如果有人花一百萬(wàn)美元就能撤銷他們輸?shù)粢槐P棋的記錄,或者讓你的一條推文看起來(lái)像是在實(shí)際發(fā)布三天后發(fā)布的,那也沒(méi)關(guān)係。因此,這些應(yīng)用不應(yīng)支付相同的安全成本。 L2 方案透過(guò)支援從rollups、plasma 到validiums 的一系列資料可用性方法來(lái)實(shí)現(xiàn)這一點(diǎn)。
Vitalik新作:L2與執(zhí)行分片有何不同?
不同的L2 類型適用於不同的使用情況。更多可閱讀。
另一個(gè)折中方案是圍繞著從L2 到L2 的資產(chǎn)傳輸問(wèn)題產(chǎn)生的。我預(yù)計(jì),未來(lái)5 到10 年,所有Rollups 都將是ZK Rollup,而Binius 和帶有l(wèi)ookups 的Circle STARKs 等超高效證明系統(tǒng),再加上證明聚合層,將使L2 在每個(gè)slot 提供最終狀態(tài)根成為可能。但目前,我們只能將Optimistic Rollup 和ZK Rollup 複雜地糅合在一起,並使用不同的證明時(shí)間視窗。如果我們?cè)?021 年實(shí)施執(zhí)行分片,那麼保持分片誠(chéng)實(shí)的安全模型將是Optimitic Rollup,而不是ZK,因此L1 將不得不管理鏈上系統(tǒng)複雜的詐欺證明邏輯,提款時(shí)間也要長(zhǎng)達(dá)一周,以便將資產(chǎn)在分片之間轉(zhuǎn)移。但和程式碼漏洞一樣,我認(rèn)為這個(gè)問(wèn)題最終也是暫時(shí)的。