加密貨幣交易所 加密貨幣交易所
Ctrl+D 加密貨幣交易所
ads

金色觀察 | Pantera Capital合伙人:全面解析ZK Rollups和Optimistic Rollups_BSP:NBS

Author:

Time:1900/1/1 0:00:00

作者:Paul Veradittakit,Pantera Capital合伙人;翻譯:金色財經0xnaitive

加密技術的進步讓Polkadot和Solana等公鏈的TPS可以達到數千,而不是以太坊的15 TPS。已經開發了許多方法來確保 ETH 的競爭力并解決其緩慢和成本問題。

最受歡迎的可擴展性解決方案是rollups,它提供巨大的吞吐量,同時保持去中心化和安全性。Rollups在以低得多的成本將交易數據發送回主鏈(1層或主網)之前,在更快的二級鏈(稱為2 層)上執行交易。通過該解決方案,用戶可以同時受益于roll加速的可負擔性和更廣泛的區塊鏈的安全性。Rollup 將最少量的信息發送到主鏈,以允許任何參與者重新創建交易狀態以發現不一致或錯誤。由于交易信息保存在以太坊主鏈上,因此安全性不會受到損害并具有高可擴展性。

Rollups的兩種主要類型是零ZK 和optimistic。

ZK-rollups的主要思想是它們在鏈下處理批量交易,并通過提供提議的更改和更改有效的密碼證明來更新L1狀態。短語“零知識”rollup描述了驗證交易的想法,只需要驗證交易所需的幾個關鍵細節,而無需完全訪問私人信息。rollup使用該技術來創建有效性證明,證明L2上交易處理的可靠性。有效性證明可以使用STARKs(可擴展的透明知識論證)或 SNARKs(簡潔的非交互式知識論證)構建,允許在不犧牲安全性的情況下卸載交易處理。

L2 運營商接收交易者發布的交易數據。該運營商管理整個周期——從交易驗證到數據壓縮和鏈上發布——并負責生成 L2 區塊。除了這些數據之外,運營商還會收到索引地址、價值、網絡費用和隨機數。

ZK rollups 利用Merkle樹結構來維護賬戶信息和交易價值的完整性和一致性。這種結構允許高效地處理交易并提供高水平的數據完整性。加密證明和零知識技術的使用使交易能夠在鏈下處理,同時仍提供與底層區塊鏈相同級別的安全性和無需信任性。 

金色晚報 | 10月21日晚間重要動態一覽:12:00-21:00關鍵詞:PayPal、Tether、3iQ比特幣基金、德國央行、中央廣電總臺、Filecoin官方

1. 國務院副總理劉鶴:區塊鏈等技術正在深刻改變未來金融生態。

2. PayPal將允許在其網絡上進行加密貨幣買賣和購物。

3. Filecoin官方解答“FIL做市、流通量及礦工罷工”等6大市場疑問。

4. 證監會主席易會滿:支推動建設首都區域性股權市場區塊鏈登記托管基礎設施。

5. 數據:Tether新增印鈔速度加快,市值已超過160億美元。

6. 證監會同意螞蟻集團科創板IPO注冊。

7. 德國央行官員:創建工具以限制數字歐元的使用非常重要。

8. 中央廣電總臺將首次引入數字貨幣為企業服務。

9. 3iQ比特幣基金在加拿大證券交易所交易量已超1億美元。

10. 央行數字貨幣研究所與農信銀資金清算中心合作推進數字人民幣應用。[2020/10/21]

處理每筆交易后,運營商更新匯總的 Merkle 根以反映當前狀態。新的 Merkle 根被提交到1 層區塊鏈。

運營商還必須提交證明批量交易正確的零知識有效性證明。大多數ZK-rollup 和 ZK-rollup 項目都采用基于ZK-SNARK 或 ZK-STARK 的證明。 

通過有效性證明來防止運營商進行無效的狀態轉換,從而保證鏈下交易的準確性。 

提供更快的交易延遲/最終確定性,因為一旦在 L1 上確認了證明的有效性,就會批準狀態修改。 

通過在 L1 上存儲恢復鏈下狀態所需的數據來確保安全性、抗審查性和去中心化。 

盡管rollup技術有可能顯著降低交易成本,但用戶可能會因數據可用性問題而面臨高昂的成本。

零知識技術的復雜性使得構建符合 EVM 的 ZK-rollup 變得困難。

領先的零知識匯rollup解決方案包括 Polygon Hermez、Starkware、zkSync 和 Loopring。

另一種使用鏈下計算和狀態存儲擴展以太坊的L2 方法是optimistic rollups。他們被認為是“樂觀的”,因為他們不為鏈上提交的交易批次提供有效性證明,并假設鏈下交易是有效的。這將Optimistic Rollups與零知識Rollups區分開來,后者廣播鏈下交易的有效性加密證明。Optimistic rollups 使用欺詐證明技術尋找交易計算不準確的實例。以太坊上的任何用戶都有有限的時間(稱為挑戰期)來創建防欺詐并對rollup交易的結果提出質疑。如果防欺詐成功,rollup協議將重新運行交易并對rollup的狀態進行任何必要的修改。

金色算力云合伙人Arthur:金色算力云的IPFS云算力服務背后有對應的真實礦機與算力支撐:在今日舉辦的GOKO社群分享會中,針對為什么現在購買金色云算力能挖到Filecoin頭礦?什么是“頭礦”?為什么搶“頭礦”如此的重要?的問題,金色算力云合伙人Arthur表示:金色算力云的IPFS云算力服務,背后都有對應的真實礦機與算力的支撐,購買后是能挖到頭礦。主網上線后產出的幣都可稱為頭礦。按挖礦行業的規律看,一般頭礦是有不少利潤空間的,試想,如果一個項目一開始都讓投資人賠錢,大家都不會去玩,沒有人玩,礦機也不會有人買(投資人不是做慈善),沒有礦機節點,也談不上分布式存儲這個構想的落地。這也是大家去搶頭礦的主要原因。

另外,現在市面上的FIL都是期貨,主網上線后,市場流通盤從0以每天78W個投入到市場,隨著流通量越大,拋盤壓力也越大。越早挖出,二級市場拋盤壓力越小,價格越高。

主網還沒上線,現在部署礦池是存在風險的,所以,算力也有限的,早買可早鎖定IPFS挖礦權益。此外,金色算力云還有主網2021年不上線全額退款的保障以助投資者降低風險。?[2020/7/21]

rollup智能合約、子鏈排序器和在挑戰任何錯誤交易的情況下的防欺詐合約構成了Optimistic Rollups的框架。

1、rollup合約將交易傳輸到2 層,以便從以太坊主網進行鏈下計算。

2、Layer 2交易由排序器接收,排序器發回已簽名的收據,承諾準確執行和安排數據。未來,系統的加密經濟安全計劃由排序器的抵押機制提供,排序器將因遵守規則和執行計劃的交易而獲得獎勵。

3、為了將交易成本分攤到許多交易中并降低交易成本,排序器將多個交易組合成一個批次,并通過單個交易將該批次提交回以太坊。舊狀態 Merkle 哈希(交易執行前)、一堆交易和新狀態 Merkle 哈希(交易執行后)都包含在每個 bundle 中。  

4、Optimistic rollups 被設計為樂觀的,并假定排序器將善意行事。沒有交易被審查,所有交易都經過適當的驗證和處理,然后提交修改后的子鏈 Merkle 狀態。 

5、提交后,每個人都有機會在預定時間內對交易提出質疑或爭議。假設有人認為他們有欺詐的證據。在這種情況下,他們可以提醒以太坊主網上的裁決合約,該合約可以使用 Optimistic 虛擬機檢查排序器生成的結果的合法性(或缺乏合法性)。如果挑戰成功,有罪的排序器將被終止,挑戰者將獲得一部分被終止的資金。為了存儲正確的狀態,欺詐交易被逆轉。

金色相對論|比特幣減半特輯之行情篇:減半完了減半行情卻沒來? 今天晚上19:00,金色財經特邀五大分析師:OKEx研究院William、火幣金牌分析師寒江孤影、KEX首席分析師啟明星、合約帝聯合創始人小叮當、幣圈逃頂第一人保羅大帝做客「金色相對論」,為你分析減半行情的方方面面。鎖定金色財經直播間,不錯過致富密碼![2020/5/12]

由于與 EVM 和 Solidity 的兼容性,開發人員可以利用現有工具來構建新的 dApp 或將以太坊原生智能合約遷移到rollup。

與鏈上交易相比,允許更快、更便宜的交易。

欺詐證明可以在不需要信任的情況下提供高度的最終確定性,它可以讓誠實的少數人幫助保護公鏈。 

由于潛在的欺詐挑戰導致交易最終延遲。

如果沒有誠實節點,惡意運營商可以通過上傳無效區塊和狀態承諾來竊取資金。

為了對抗不正確的狀態轉換,安全模型依賴于至少一個誠實節點進行rollup交易和報告欺詐證明。

該過程可能并非完全無需信任,因為可能需要某種程度的信任來驗證證明。

隨著 L2 解決方案吞吐量的增加,用于檢測欺詐的存儲要求可能會增加,從而可能限制可擴展性和成本效益。

領先的optimistic rollup 解決方案包括 Arbitrum、Optimism 和 Boba network。

用于驗證打包交易的方法是兩個系統之間的主要區別。雖然每種策略都有其優點和缺點,但它們都會對下游產生影響。

ZK-rollups依賴于一方提供簡潔的加密證明,證明他們知道該鏈是合法的并且知道其當前的更新狀態。證明方需要執行交易并通過執行許多復雜的加密程序來創建證明。鏈上L1 合約驗證簡潔且廉價的證據。

Optimistic rollups可以被認為是一種“榮譽系統”,在提交防欺詐之前,L1 鏈的智能合約不會檢查狀態轉換。任何網絡參與者都可以發布關于一組交易的正確結果的有爭議的聲明。同樣的交易由其他節點進行,如果他們不同意初始節點的主張,他們可能會提出挑戰。高效的爭議解決流程用于解決任何分歧,并確保正確的一方將贏得挑戰。各方有強烈的動機只發布正確的聲明并質疑不正確的聲明,并且整個程序由 L1 合同約控制。

金色晚報 | 4月17日晚間重要動態一覽:12:00-21:00關鍵詞:數字人民幣、外匯局、Libra、芝商所、Bakkt

1. 央行數字貨幣研究所:網傳DC/EP信息為測試內容并不意味數字人民幣正式落地發行。

2. 外匯局:跨境金融區塊鏈服務平臺完成應收賬款融資放款金額227億美元。

3. 中國銀行前副行長:Libra注定要做出重大調整 但實際運用空間和價值依然存疑。

4. 數據:芝商所比特幣期貨未平倉合約增長70%,機構開始重返市場。

5. 解放日報:上海已經成為國內區塊鏈技術落地最豐富的地區之一。

6. 觀點:美國人正在通過購買比特幣將政府刺激支票發揮作用。

7. 數據:目前約有30億美元穩定幣存儲在交易平臺內。

8. Bakkt前CEO被任命為白宮重啟經濟特別工作組成員。

9. OKChain首批生態伙伴公布:30家知名企業,覆蓋5大領域。[2020/4/17]

交易的最終確定性可以通過在2層交易中處理的代幣可以以多快被撤回或交易變得不可逆轉所需的時間來衡量。由于當前實施下的挑戰期,Optimistic rollups 在交易完成方面面臨一周的延遲。另一方面,ZK-Rollups從有效性證據提交到鏈上開始,交易的最終確定性沒有大的延遲。正因為如此,optimistic rollups的優勢明顯不如 ZK Rollups。

這有進一步的后果,例如橋的情況。雖然ZK rollup 在將 ZK 證明上傳到 L1 后立即提供橋接,但optimistic系統會遭受長達一周的延遲才能將資金從rollup 中轉移出來。由于延遲可能是跨鏈應用程序的關鍵因素,因此基于 ZK 的橋有著顯著優勢。

在評估可擴展性技術時,交易成本是一個關鍵因素,因為它們是用戶的基本考慮因素。在交易成本方面,Optimistic rollups 和 ZK rollups 有不同的權衡。雖然 optimistic rollups 不需要額外的鏈下計算,但由于需要等待爭議期以確保交易的有效性,它們可能具有更高的成本。另一方面,ZK rollups 涉及更多的鏈下計算來生成加密證明,這在計算資源方面可能是昂貴的。然而,ZK rollup 技術正在取得進步以提高效率并降低成本,例如使用遞歸組合證明或批處理證明來減少所需的橢圓曲線運算次數。

金色晨訊 | SEC數字資產高級顧問:加密春天即將到來:1.可篩選出受害者加密資產的惡意廣告軟件已影響200個安卓應用程序

2.SEC數字資產高級顧問:加密春天即將到來

3.比特幣日交易量近一年來首次突破110億美元

4.保險巨頭安盛推出STO保險服務

5.CME發言人:比特幣期貨計劃沒有變化

6.谷歌刪除針對加密貨幣用戶的虛假惡意軟件攔截器

7.中國廣告協會使用區塊鏈技術打擊流量造假

8.深圳壹賬通將通過區塊鏈等協助營口沿海銀行構建綜合服務體系

9.新西蘭槍機案槍手曾通過BitConnect獲利[2019/3/16]

EVM 兼容性意味著在以太坊網絡上運行的所有 DeFi 協議,例如 Uniswap,都可以輕松過渡遷移到所需的rollup類型。這是阻礙采用 ZK Rollup 的主要問題之一。因為 EVM 不是用 ZK 技術創建的,所以通過 EVM 操作生成實用的零知識證明非常困難。盡管在創建 ZK-EVM 方面付出了巨大努力,但它們都還沒有實現主網上線。

另一方面,optimistic rollups 可以運行以太坊虛擬機(EVM)。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 誠實參與者的假設。

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是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 之前,它可以作為一個重要的緩沖區。無論如何,這些擴展解決方案正在刺激創新,使以太坊的未來變得非常令人興奮。 

金色薦讀

金色財經 善歐巴

Chainlink預言機

區塊律動BlockBeats

白話區塊鏈

金色早8點

Odaily星球日報

歐科云鏈

MarsBit

深潮TechFlow

Tags:BSPNBSROLROLLBSPAY幣nbs幣最新消息ROL幣CoinControllerCash

萊特幣價格
通過代碼看出DeFi中的套利機會_BSP:TER

去中心化金融(英語:Decentralized finance,俗稱 DeFi)是一種創建于區塊鏈上的金融,它不依賴券商、交易所或銀行等金融機構提供金融工具.

1900/1/1 0:00:00
反女巫過度引爭議 Iron Fish 空投規則是否合理?_Iron Fish:FIS

作者:餅干,ChainCatcherIron Fish,一個以二戰加密傳輸語“潛艇”命名的隱私項目,在完成由 a16z 領投的 2770 萬美元 A 輪融資之后估值達到 1.9 億美元.

1900/1/1 0:00:00
Ordinals 與 BRC-20熱潮下 盤點比特幣可擴展性發展的四大方向_BSP:普通人怎么去挖比特幣

作者:kenyou 由 Gwei Research 編譯Ordinals NFT 和 BRC-20 代幣的出現.

1900/1/1 0:00:00
掌握Web3游戲數據分析 揭秘4個開發者需追蹤的關鍵指標_區塊鏈:Crypto Gaming United

區塊鏈游戲在開發運營過程中需要追蹤的關鍵指標包括紅館加密市場數據,DAU、MAU 和用戶留存相關的用戶數據、社交媒體參與數據,以及游戲內資產等生態系統相關數據.

1900/1/1 0:00:00
元宇宙、ChatGPT 輪番上陣背后的深意_元宇宙:HAT

當元宇宙的熱度尚未退卻,以ChatGPT為代表的新熱點又開始出現,一時間熱鬧異常,人頭攢動。曾經,因為互聯網的退潮而冷淡下來的科技領域,再一次掀起了新的高潮.

1900/1/1 0:00:00
金色Web3.0日報 | 亞馬遜旗下NFT平臺啟動日期已推遲至5月15日_NFT:ARK

DeFi數據 1、DeFi代幣總市值:485.97億美元 DeFi總市值及前十代幣 數據來源:coingecko2、過去24小時去中心化交易所的交易量23.

1900/1/1 0:00:00
ads