時間:2021-12-14|瀏覽:543
以太坊廣受稱贊的ZK Rollup 擴充計劃方案StarkNet Alpha 于昨日發布以太坊主網,該解決方案有利于減輕以太坊當今昂貴的服務費應用自然環境。現階段早已有好多個擴展解決方案被具體選用,但ZK-Rollup(Zero-Knowledge Rollup)技術性自始至終被算作是擴充解決方案的最好解釋,緣故到底為什么呢?
以太坊可擴展性的問題
昂貴的gas fees 早已變成以太坊的首要問題,因為交易花費是以ETH 付款,當財產漲價時,應用網路的費用也隨著升高,ETH 2021年增漲了460%,這代表著以美金測算的交易成本費也增多了460%。此外,交易花費也在于互聯網擁擠水平,因為現階段的鏈上運用新項目對以太坊區塊鏈室內空間擁有很大的要求,可是區塊鏈室內空間是有局限的,造成其網路非常容易越來越擁堵,使交易確定速率減緩及gas fee 上升。應用網路的高成本費變成客戶參加DeFi(區塊鏈技術金融業)和NFT 的阻攔,乃至喪失參加DAO 的機遇,很多數字貨幣發燒友早已轉移到別的第一層區塊鏈技術上,如Solana(SOL)和Avalanche(AVAX)。
以太坊交易gas 價錢平均數
過去的兩年里,好多個擴展解決方案早已被研發出去,以協助減輕以太坊的網路擁擠及交易成本費問題。Polygon 在2019 年發布,可以說成第一個得到極大誘惑力的以太坊擴充解決方案,該網路應用一個名叫Plasma 的擴充計劃方案,它將交易從關鍵的以太坊區塊鏈技術遷移到一個專用型的主鏈,很多以太坊原生態的DeFi 運用早已在Polygon 上發布,如Curve(CRV)和Aave(AAVE)。
盡管Polygon 網路通過低交易成本費取得成功吸引住客戶應用,但它常被懷疑安全系數和去中心化問題,而被指出并不是一個真真正正的擴展解決方案,該網路應用其自己的時間認證者管理方法PoS 共識機制,這代表它不應用以太坊主網來認證交易,依據截稿日期前的。
Rollup最近Rollup 擴展解決方案在以太坊社群營銷造成了一陣強烈反響,Rollup 計劃方案說白了是一種將測算數據信息「裝包」并將實效性證實(Validity Proof)送到以太坊主網的方法,這類作法可節約區塊鏈室內空間,進一步降低遞交給主網的信息量,因為交易被捆綁在一起,Gas fee 就能讓很多客戶分擔。Rollup 為客戶給予了幾近實時的交易速率,可以將花費降低50 到200 倍,與此同時維持以太坊主網的安全系數和區塊鏈技術。現階段Rollup 計劃方案的二種種類各自為Optimistic Rollup 和Zero-Knowledge Rollup(ZK-Rollup)。
什么叫Optimistic Rollup?
Optimistic Rollup 計劃方案假定送回碳鏈的交易是正規的,僅有當認證人可以通過遞交詐欺證實(Fraud Proof)來證實交易是行騙性的,交易才會被拒絕,也就是說,Optimistic Rollups 采用「在證實犯法以前是沒罪的」的辦法來認證交易。
現階段Optimistic Rollup 早已能見到具體選用情況,一部分緣故是開發人員在該網路上開發設計應用程序較非常容易,Optimistic Rollup 可以直接支援詳細的智能合約作用,開發者可以應用以太坊的程序語言表達Solidity 撰寫應用程序。依據L2beat 的結果顯示,現階段較大的Optimistic Rollup 網路Arbitrum 早已在DeFi 應用程序之中吸引住了超出25 億美金的總鎖單使用價值(TVL),它承受了以太坊上很多受大家喜愛的DeFi 運用。
殊不知,因為Optimistic Rollup 認證交易的方式,他們遭遇著一些試煉,傳輸回以太坊主網的資產要體驗長達一周的試煉期(Dispute Time Delay),這給消費者提供了不方便,并影響了可組合性。盡管Optimistic Rollups 早已改善了根據Plasma 的解決方案,如Polygon,但她們通常被覺得是比不上ZK-Rollups 的,Optimistic Rollups 給予達到77 倍的可擴展性提高,而ZK-Rollups 給予了達到500 倍的提高,而且無試煉期。
什么叫ZK-Rollup?
ZK-Rollup 計劃方案在交易裝包至主網時造成數據加密證實以證實交易是正規的,僅有在數據加密證實被認證后,交易才會在以太坊上被接納,與Optimistic Rollup 不一樣,ZK-Rollup 采用了「在證實沒罪以前犯法的」的認證方法。殊不知,ZK-Rollup 都還沒做到與Optimistic Rollup 同行業同樣的兼容模式水準,由于ZK-Rollup 在每單交易時要隨著著實效性證實,因此他們在專業發展趨勢上更難,現階段ZK-Rollup 的研發上早已能實行一些簡便的每日任務,比如立即轉賬和交易,盡管融合智能合約作用是有可能的,但比Optimistic Rollup 更為艱難。
就在2021年,以太坊創始人Vitalik Buterin 預測分析,開發設計徹底可組成的ZK-Rollup 將必須好久時間,殊不知,開發者早已如期完成了方案,好多個ZK-Rollups 新項目已經提前準備布署解決方案,這種解決方案是兼顧可組合性和互操作性,乃至能讓好幾個Rollups 相通。ZK-Rollups 的發展趨勢將容許以太坊主網和好幾個第2 層網路中間分享通信架構,網路可以分享流通性并擺脫第1 層區塊鏈技術遭遇的更大的選用試煉,根據ZK-Rollup 的網路將不用為了更好地讓區塊鏈技術交易所上有著效率高交易而角逐流通性,反而是可以以協作的方法擴展以太坊。
ZK-Rollup 還有另一個與眾不同的作用,越多的人交易會使交易花費越來越更劃算,推送一個批號的花費不容易有很大的轉變,伴隨著大量的交易被裝包在一個批號中,交易成本費可以在大量的客戶中分擔,ZK-Rollups 可以裝包幾乎不限量的交易,因而當有充足的客戶時,交易的gas fee 可以降低到只需一些錢,這一作用被稱作「實效性證實攤銷費(Validity Proof Amortization)」。
盡管以太坊依然面對著可擴展性的問題,但一些開發人員早已在布署第二層ZK-Rollup 網路,服務承諾在智能合約、別的第二層解決方案和以太坊vm虛擬機中間完成徹底可組合性和兼容模式。
ZK-Rollup 的種類
現階段有這兩種不一樣種類的ZK-Rollup 被用以以太坊的擴展解決方案中,第一種是最被普遍應用的種類ZK-SNARKs,全名叫簡約的非互動式專業知識論述(Succinct non-interactive arguments of knowledge),也是第一個被看到的零知識證明種類,致力于個人隱私保護的區塊鏈項目Zcash(ZEC)早就在2016 年就選用ZK-SNARKs,該技術性組成了ZK-Rollup 絕大多數開發人員的信息庫和編碼,并被覺得是以太坊擴展新項目的一個強大的挑選。
但SNARKs 有一個缺點,他們必須一個原始建立事情的密匙,這種密匙用以建立交易需要的證實,假如可靠設定事情中的密匙沒有被消毀,他們可以被用于平白無故造就新的代幣總或仿冒交易。現階段備受關注的SNARK 擴展解決方案是Matter Lab 的zkSync,該新項目于2020 年6 月運行,在其當前的迭代中聲稱每秒鐘可解決2000 筆交易,并期待在未來完成更多的貨運量,2021年5 月時,該服務平臺逐漸專注于在兼容EVM 的條件中布署智能合約,發布了zkEVM 測網。
zkSync 現階段側重于讓Ethereum 主網的銜接盡量非常容易,這些想在zkEVM 上開發設計的人可以應用以太坊程序語言表達Solidity 撰寫智能合約。Matter Labs 近期在a16z 領投的B 輪股權融資中籌資了5000 萬美金,以協助zkSync 的發展趨勢,除此之外,該公司已與好多個以太坊DeFi 運用協作,如Curve、Aave 和1inch。
STARKs
另一種ZK-Rollup 計劃方案為STARKs,全名叫可擴展的全透明專業知識論述(Scalable transparent arguments of knowledge),STARKs 比SNARKs 更有優點,由于STARKs 徹底依靠哈希函數,不用可靠的設定,這代表著STARKs 在理論上比SNARKs 更安全性。
StarkWare 是第一家應用STARKs 來擴展以太坊的企業,是現階段開發設計根據STARK 技術性的關鍵引領者,該公司的倆位創始人Eli Ben-Sasson 和Michael Riabzev 一同創造發明了此項技術性,StarkWare 為根據STARK 的ZK-Rollups 造就了一種圖靈完備的計算機語言,稱之為Cairo,「StarkEx 協義」是以Cairo 語言表達造就的第一個商品。
StarkEx 是一種對于特殊運用的擴展解決方案,現階段正被好多個以太坊新項目應用,包含dYdX、Immutable X、Sorare 和DeversiFi。StarkWare 將要公布的StarkNet 是一個無管理權限的ZK-Rollup 網路,可以讓開發人員立即在第二層創設并運行應用程序,StarkNet 的總體目標是變成一個真真正正區塊鏈技術的多運用擴展解決方案。