作者:PaulVeradittakit,PanteraCapital合伙人;翻譯:金色財經0xnaitive
引言
加密技術的進步讓Polkadot和Solana等公鏈的TPS可以達到數千,而不是以太坊的15?TPS。已經開發了許多方法來確保?ETH?的競爭力并解決其緩慢和成本問題。
最受歡迎的可擴展性解決方案是rollups,它提供巨大的吞吐量,同時保持去中心化和安全性。Rollups在以低得多的成本將交易數據發送回主鏈之前,在更快的二級鏈上執行交易。通過該解決方案,用戶可以同時受益于roll加速的可負擔性和更廣泛的區塊鏈的安全性。Rollup?將最少量的信息發送到主鏈,以允許任何參與者重新創建交易狀態以發現不一致或錯誤。由于交易信息保存在以太坊主鏈上,因此安全性不會受到損害并具有高可擴展性。
Rollups的兩種主要類型是零ZK和optimistic。
ZK?Rollups
ZK-rollups的主要思想是它們在鏈下處理批量交易,并通過提供提議的更改和更改有效的密碼證明來更新L1狀態。短語“零知識”rollup描述了驗證交易的想法,只需要驗證交易所需的幾個關鍵細節,而無需完全訪問私人信息。rollup使用該技術來創建有效性證明,證明L2上交易處理的可靠性。有效性證明可以使用STARKs或?SNARKs構建,允許在不犧牲安全性的情況下卸載交易處理。
ZK-rollups?的內部機制
L2?運營商接收交易者發布的交易數據。該運營商管理整個周期——從交易驗證到數據壓縮和鏈上發布——并負責生成?L2?區塊。除了這些數據之外,運營商還會收到索引地址、價值、網絡費用和隨機數。
ZK?rollups?利用Merkle樹結構來維護賬戶信息和交易價值的完整性和一致性。這種結構允許高效地處理交易并提供高水平的數據完整性。加密證明和零知識技術的使用使交易能夠在鏈下處理,同時仍提供與底層區塊鏈相同級別的安全性和無需信任性。?
金色晨訊 | 7月15日隔夜重要動態一覽:21:00-7:00關鍵詞:NFT、ARK、Coinbase
1.前美國財長姆努欽:人們購買比特幣“完全沒問題”;
2.杜嘉班納推出獨家NFT系列;
3.摩根大通和瑞銀正就加密對沖基金進行盡職調查;
4.ARK基金創始人:對比特幣在ESG方面的擔憂將是暫時的;
5.甲骨文子公司與Everest合作將區塊鏈引入全球銀行;
6.美聯儲主席:正加快作出關于數字貨幣的決策;
7.美SEC再次推遲對WisdomTree比特幣ETF做出決定;
8.Coinbase Pro將上線MASK和RLY;
9.智能合約中TVL自去年10月以來從100億美元增加到1000億美元。[2021/7/15 0:53:12]
處理每筆交易后,運營商更新匯總的?Merkle?根以反映當前狀態。新的?Merkle?根被提交到1?層區塊鏈。
運營商還必須提交證明批量交易正確的零知識有效性證明。大多數ZK-rollup?和?ZK-rollup?項目都采用基于ZK-SNARK?或?ZK-STARK?的證明。?
ZK-Rollups的優勢
通過有效性證明來防止運營商進行無效的狀態轉換,從而保證鏈下交易的準確性。?
提供更快的交易延遲/最終確定性,因為一旦在?L1?上確認了證明的有效性,就會批準狀態修改。?
通過在?L1?上存儲恢復鏈下狀態所需的數據來確保安全性、抗審查性和去中心化。?
ZK-Rollups的弱點
盡管rollup技術有可能顯著降低交易成本,但用戶可能會因數據可用性問題而面臨高昂的成本。
零知識技術的復雜性使得構建符合?EVM?的?ZK-rollup?變得困難。
熱門項目:
領先的零知識匯rollup解決方案包括?Polygon?Hermez、Starkware、zkSync?和?Loopring。
金色財經合約行情分析 | BTC在9500美元下方盤整,市場結構仍穩定:據火幣BTC永續合約行情顯示,截至今日16:00(GMT+8),BTC價格暫報9325美元(+3.28%),20:00(GMT+8)結算資金費率為0.010000%。
昨日晚,BTC向上測試4月30日以來的高點9500美元,并在9200美元-9500美元進行高位盤整。根據火幣交割合約數據,BTC季度合約成交額大幅上升,持倉量也隨著價格上漲出現大幅上升,后盤整過程有所減少,精英多頭占比穩定,季度合約升水穩定。BTC整體形態維持良好,短期看,自5月4日至今,出現低點逐漸抬高的上漲態勢,市場結構仍保持穩定。[2020/5/7]
Optimistic?Rollups
另一種使用鏈下計算和狀態存儲擴展以太坊的L2?方法是optimistic?rollups。他們被認為是“樂觀的”,因為他們不為鏈上提交的交易批次提供有效性證明,并假設鏈下交易是有效的。這將Optimistic?Rollups與零知識Rollups區分開來,后者廣播鏈下交易的有效性加密證明。Optimistic?rollups?使用欺詐證明技術尋找交易計算不準確的實例。以太坊上的任何用戶都有有限的時間來創建防欺詐并對rollup交易的結果提出質疑。如果防欺詐成功,rollup協議將重新運行交易并對rollup的狀態進行任何必要的修改。
optimistic?rollup的內部機制
rollup智能合約、子鏈排序器和在挑戰任何錯誤交易的情況下的防欺詐合約構成了Optimistic?Rollups的框架。
1、rollup合約將交易傳輸到2?層,以便從以太坊主網進行鏈下計算。
2、Layer?2交易由排序器接收,排序器發回已簽名的收據,承諾準確執行和安排數據。未來,系統的加密經濟安全計劃由排序器的抵押機制提供,排序器將因遵守規則和執行計劃的交易而獲得獎勵。
分析 | 金色盤面:HIT/BTC短線獲得支撐:金色盤面綜合分析:HIT/BTC短線獲得震蕩三角下邊緣支撐,成家量持續縮量,上方壓力位0.000001793。[2018/8/10]
3、為了將交易成本分攤到許多交易中并降低交易成本,排序器將多個交易組合成一個批次,并通過單個交易將該批次提交回以太坊。舊狀態?Merkle?哈希、一堆交易和新狀態?Merkle?哈希都包含在每個?bundle?中。??
4、Optimistic?rollups?被設計為樂觀的,并假定排序器將善意行事。沒有交易被審查,所有交易都經過適當的驗證和處理,然后提交修改后的子鏈?Merkle?狀態。?
5、提交后,每個人都有機會在預定時間內對交易提出質疑或爭議。假設有人認為他們有欺詐的證據。在這種情況下,他們可以提醒以太坊主網上的裁決合約,該合約可以使用?Optimistic?虛擬機檢查排序器生成的結果的合法性。如果挑戰成功,有罪的排序器將被終止,挑戰者將獲得一部分被終止的資金。為了存儲正確的狀態,欺詐交易被逆轉。
Optimistic?Rollups的優勢
由于與?EVM?和?Solidity?的兼容性,開發人員可以利用現有工具來構建新的?dApp?或將以太坊原生智能合約遷移到rollup。
與鏈上交易相比,允許更快、更便宜的交易。
欺詐證明可以在不需要信任的情況下提供高度的最終確定性,它可以讓誠實的少數人幫助保護公鏈。?
Optimistic?Rollup的弱點
由于潛在的欺詐挑戰導致交易最終延遲。
如果沒有誠實節點,惡意運營商可以通過上傳無效區塊和狀態承諾來竊取資金。
為了對抗不正確的狀態轉換,安全模型依賴于至少一個誠實節點進行rollup交易和報告欺詐證明。
該過程可能并非完全無需信任,因為可能需要某種程度的信任來驗證證明。
隨著?L2?解決方案吞吐量的增加,用于檢測欺詐的存儲要求可能會增加,從而可能限制可擴展性和成本效益。
金色財經現場報道 CSDN創始人蔣濤:區塊鏈時代高手要了解技術、經濟和組織系統:金色財經現場報道,在2018區塊鏈企業級服務創新論壇暨權大師A輪融資及戰略升級發布會上,CSDN創始人蔣濤表示,要成為區塊鏈時代的高手比較難,首先要進行技術系統研究,了解區塊鏈發展的不足和未來能發展到何種程度;另外,還要了解通證經濟系統,了解通證如何流轉升級從而驅動經濟體螺旋式上升;最后是區塊鏈改變了組織關系,要對組織系統進行了解。[2018/4/20]
熱門項目:
領先的optimistic?rollup?解決方案包括?Arbitrum、Optimism?和?Boba?network。
差異
用于驗證打包交易的方法是兩個系統之間的主要區別。雖然每種策略都有其優點和缺點,但它們都會對下游產生影響。
有效性證明
ZK-rollups依賴于一方提供簡潔的加密證明,證明他們知道該鏈是合法的并且知道其當前的更新狀態。證明方需要執行交易并通過執行許多復雜的加密程序來創建證明。鏈上L1?合約驗證簡潔且廉價的證據。
Optimistic?rollups可以被認為是一種“榮譽系統”,在提交防欺詐之前,L1?鏈的智能合約不會檢查狀態轉換。任何網絡參與者都可以發布關于一組交易的正確結果的有爭議的聲明。同樣的交易由其他節點進行,如果他們不同意初始節點的主張,他們可能會提出挑戰。高效的爭議解決流程用于解決任何分歧,并確保正確的一方將贏得挑戰。各方有強烈的動機只發布正確的聲明并質疑不正確的聲明,并且整個程序由?L1?合同約控制。
交易的最終確定性/延遲
交易的最終確定性可以通過在2層交易中處理的代幣可以以多快被撤回或交易變得不可逆轉所需的時間來衡量。由于當前實施下的挑戰期,Optimistic?rollups?在交易完成方面面臨一周的延遲。另一方面,ZK-Rollups從有效性證據提交到鏈上開始,交易的最終確定性沒有大的延遲。正因為如此,optimistic?rollups的優勢明顯不如?ZK?Rollups。
這有進一步的后果,例如橋的情況。雖然ZK?rollup?在將?ZK?證明上傳到?L1?后立即提供橋接,但optimistic系統會遭受長達一周的延遲才能將資金從rollup?中轉移出來。由于延遲可能是跨鏈應用程序的關鍵因素,因此基于?ZK?的橋有著顯著優勢。
金色財經獨家分析 洛克菲勒家族入局,老牌資本布局區塊鏈:根據UseTheBitcoin消息稱,全球最重要、最受認可的風險投資公司之一洛克菲勒的風險投資公司Venrock已與CoinFund合作。CoinFund是一家加密貨幣投資集團,主要是幫助企業構建區塊鏈技術項目。金色財經獨家分析,洛克菲勒家族迄今已繁盛了六代,是“世界財富標記”,與美國乃至國際政經都有著千絲萬縷的聯系。標準石油公司、大通銀行、洛克菲勒基金會、洛克菲勒中心、芝加哥大學、洛克菲勒大學、現代藝術博物館等都印刻著洛克菲勒家族的痕跡。旗下Venrock Associates成立之初為洛克菲勒家族的創業投資分支機構,現已經擁有60年向企業家提供資本支持并創辦經久不衰的成功企業的投資歷史,曾參投過蘋果Apple。此次Venrock已與CoinFund合作,疑似洛克菲勒家族正式入局區塊鏈行業。洛克菲勒家族入局區塊鏈行業可以映襯出區塊鏈行業對全球資本的吸引力進一步加強,同時反應了資本對于區塊鏈未來看好。[2018/4/8]
交易成本
在評估可擴展性技術時,交易成本是一個關鍵因素,因為它們是用戶的基本考慮因素。在交易成本方面,Optimistic?rollups?和?ZK?rollups?有不同的權衡。雖然?optimistic?rollups?不需要額外的鏈下計算,但由于需要等待爭議期以確保交易的有效性,它們可能具有更高的成本。另一方面,ZK?rollups?涉及更多的鏈下計算來生成加密證明,這在計算資源方面可能是昂貴的。然而,ZK?rollup?技術正在取得進步以提高效率并降低成本,例如使用遞歸組合證明或批處理證明來減少所需的橢圓曲線運算次數。
EVM兼容性
EVM?兼容性意味著在以太坊網絡上運行的所有?DeFi?協議,例如?Uniswap,都可以輕松過渡遷移到所需的rollup類型。這是阻礙采用?ZK?Rollup?的主要問題之一。因為?EVM?不是用?ZK?技術創建的,所以通過?EVM?操作生成實用的零知識證明非常困難。盡管在創建?ZK-EVM?方面付出了巨大努力,但它們都還沒有實現主網上線。
另一方面,optimistic?rollups?可以運行以太坊虛擬機。Arbitrum?解決方案完全兼容?EVM,因為它使用與?EVM?相同的?RPC?接口和字節碼。為以太坊創建的任何協議都會在?Arbitrum?上自動運行。
隱私?
ZK?rollups的好處之一是它們通過設計提供了一定程度的隱私。這是因為交易數據沒有單獨發布在基礎層上,與?optimistic?rollups?相比,這可以提供一些隱私優勢。然而,值得注意的是,并非所有?ZK?rollup?都是如此。例如,在?Starknet?或?ZKSync?等公共ZK?rollup解決方案中,任何操作2層節點的人都可以看到所有交易。盡管如此,對于在不犧牲安全性的情況下優先考慮隱私的私有實例,ZK?rollups?可能仍然是更合適的選擇。
安全
ZK?rollups在安全性方面優于其競爭對手,因為?ZK?證明是其共識方法的基礎。Optimistic?rollups?只需要大多數驗證者同意交易有效,而?ZK?rollups?由?ZK-SNARKs?和?STARKs?驅動,確保所有交易在密碼學上都是有效的。因此,惡意交易可能會生成可以添加到Optimistic?rollups?中的無效交易,這在?ZK?配置中是不可行的。Optimistic?rollups?提交交易完全基于它們是真實的假設,但?ZK-rollups?提供加密證明來驗證鏈上的交易。
信任
一些ZK-rollup,例如SNARK,依賴于底層系統中的可信設置,如果遭到破壞,這可能會顯著降低rollup的安全性。有一些稱為STARK?的無信任設置可以幫助解決這個問題,但它們也有自己的挑戰。Optimistic?rollups?還要求用戶相信驗證者不會合謀使交易無效,從而導致?1-of-N?誠實參與者的假設。
領先的解決方案
Abritrum
Arbitrum?是?Pantera?投資組合中的一家公司,它是一個綜合性的技術套件,為廣泛使用的以太坊的局限性提供解決方案。由于以太坊的交易吞吐量上限僅為每秒?20-40?筆交易?(TPS),而且由于其設計,每筆交易都必須由網絡中的每個節點處理,因此交易費用很高,Arbitrum的2層解決方案,稱為?Arbitrum?Rollup?,這是一個繼承了以太坊級別安全性的Optimistic?rollups?協議。
Arbitrum?通過在一個單獨的鏈上處理交易來運作,該鏈作為以太坊中的一個子模塊,將其與需要由每個以太坊節點處理的常規以太坊交易區分開來。相比之下,Arbitrum?交易遵循“無辜直到被證明有罪”的方法,假設?Arbitrum?上的活動符合既定規則。如果出現違規行為,例如欺詐索賠,可以在以太坊的L1上進行爭議,欺詐方將面臨處罰。
Arbitrum?的一個關鍵特征是它能夠透明和公開地證明以太坊上的欺詐行為。輸入Arbitrum?的數據直接發布在以太坊上,任何感興趣的人都可以看到。負責在以太坊1層推進?Arbitrum?鏈狀態的驗證者在檢測和證明欺詐方面發揮著關鍵作用。成為?Arbitrum?驗證者不需要特殊許可,只要有至少一個誠實的驗證者,鏈就會保持安全,使系統“無需信任”,因為用戶不依賴任何指定方來確保資金安全。
Arbitrum背后的公司Offchain?Labs的團隊由經驗豐富的區塊鏈專家和企業家組成。聯合創始人?Ed?Felten、Steven?Goldfeder?和?Harry?Kalodner?領導團隊,帶來了計算機科學、密碼學和區塊鏈技術方面的豐富知識和經驗。其他主要團隊成員包括在以太坊擴展解決方案方面具有專業知識的著名研究人員和開發人員。?
Arbitrum旨在為以太坊用戶提供可擴展且具有成本效益的解決方案,使他們能夠繼續使用?Web3?應用程序、部署智能合約并以更低的費用和更快的速度進行交易。通過利用以太坊的安全性并引入一種創新的交易處理方法,Arbitrum?旨在解決以太坊的局限性并創建一個更高效和用戶友好的區塊鏈生態系統。
Starkware
Starkware是Pantera的投資組合公司,處于為以太坊開發二層區塊鏈的最前沿,使用?zk-STARKs來確保計算安全。由?Starkware?發明的?zk-STARKs是透明的加密證明,它使用輕量級哈希函數以可擴展的方式驗證計算完整性。Starkware的證明系統據稱比其他系統更快、更具可擴展性,同時依賴于更安全的加密假設。
Starkware?有兩個主要產品:StarkNet和StarkEx。StarkNet是一個基于zk-rollups?的無需許可的去中心化二層區塊鏈,它執行交易并將交易數據批量中繼回以太坊主網,由STARK證明保護。這使得StarkNet能夠受益于以太坊的安全性和可組合性,同時通過?EVM?兼容性擴展交易。StarkNet?Alpha?于?2021?年?11?月?29?日在以太坊主網上線。
另一方面,StarkEx是為特定去中心化應用程序?(DApp)?量身定制的二層擴展解決方案,特別是像dYdX、DeversiFi這樣的DeFi交易應用程序和Immutable?X這樣的NFT區塊鏈?。StarkEx提供三種數據可用性模式:zkRollup模式、Validium模式和稱為Volition的混合模式,為DApp處理鏈下數據提供了靈活性。這是由Cairo實現的,Cairo是Starkware產品使用的編程語言。此外,Shared?Prover?(SHARP)?技術允許分攤一批交易的gas成本,從而使Starkware的?gas?費用非常低。
Starkware是zk-rollup領域的重要參與者,與optimistic?rollups和zkSync等其他擴展解決方案競爭。然而,Starkware的與眾不同之處在于提供更快的交易驗證而沒有爭議期,并使用被認為更復雜但可能更安全的?STARK?加密證明。?
Starkware背后的團隊包括聯合創始人Eli?Ben-Sasson,他也是STARK證明的共同發明人和計算機科學教授,以?Alessandro?Chiesa和Uri?Kolodny。?
Starkware是一家開創性公司,正在使用zk-STARKs為以太坊構建二層區塊鏈以確保計算安全。憑借其創新產品StarkNet和StarkEx,以及強大的生態系統和投資者支持,Starkware處于有利地位,可以在未來為以太坊的可擴展性和采用做出貢獻。
結論
Rollups已迅速成為解決以太坊速度和成本低效基本問題的重要工具。樂觀rollup和零知識rollup這兩個主要解決方案為問題提供了創造性的解決方案。使用加密證明,ZK?rollups似乎提供了一種更安全的解決方案。然而,optimistic?rollups提供了很高的EVM兼容性,在引入ZK-EVM?之前,它可以作為一個重要的緩沖區。無論如何,這些擴展解決方案正在刺激創新,使以太坊的未來變得非常令人興奮。?
來源:券商中國 作者:許孝如 北京時間周六晚,全球投資界的盛會——伯克希爾股東大會在巴菲特的老家奧馬哈舉行,引發數萬人“朝圣”,現場人氣爆棚.
1900/1/1 0:00:00作者:CloudY,Jam編輯:Vincero,YL 審核:Natalia AI板塊相關標的,不論是A股、美股還是Crypto,都迎來了暴漲.
1900/1/1 0:00:00Nayms是一家保險科技公司,傳統保險業不透明、緩慢且效率低的下,新項目?Nayms?通過引入區塊鏈技術,讓保險行業變得透明和高效,同時將風險定價和保險業務管理提升到了一個新的水平.
1900/1/1 0:00:00來源:財聯社 記者徐賜豪 圖片來源:由無界AI工具生成據財聯社創投通統計,4月份全球Web3.0領域融資數量、金額環比3月份雙雙實現增長.
1900/1/1 0:00:00不滿足于跟ChatGPT聊天,技術狂人開始為對話機器人創造“楚門的世界”,從上帝視角圍觀AI如何“吃飯”、社交、談戀愛......最近,一位神秘人創建了一個AI社交網站Chirper.
1900/1/1 0:00:00近期,Bitget進行了一項關于人口年齡層變化與不同世代周期,對于加密資產持有率發展進程的研究.
1900/1/1 0:00:00