以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads

ZK-Rollup:比較zkSync和StarkWare_ARK

Author:

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

我們比較了zkSync和StarkNet——它們是兩個突出的ZK-Rollup,它們以擴展以太坊網絡為目標。ZK-Rollup是什么?zkSync和StarkNet有什么不同?什么是SNARK和STARK?今天我們就來看看這些問題的答案,同時也探索一下每個協議各自的路線圖和生態系統。

內容提要:

先決條件

背景

ZK-Rollup

ZK-Rollupvs.OptimisticRollup

zkSyncvs.StarkNet

SNARKvs.STARK

EVM兼容性

生態系統的比較

發展路線圖

總結

先決條件

為了能夠最大限度地理解本文,首先應該對區塊鏈基礎知識和第2層擴展有充分的了解。

背景

zkSync和StarkNet是兩個最大的第二層(L2)解決方案,利用ZK-Rollup技術來擴展以太坊網絡。

ZK-Rollup

在我們討論ZK-Rollup之前,我們應該先了解什么是零知識證明(ZKP),以及它們在Rollup中如何使用?在密碼學中,零知識證明或協議是一種方法,通過這種方法,一方(證明者)可以向另一方(驗證者)證明給定的陳述是正確的,同時避免在陳述是正確的事實之外披露其他的信息。

ZK-RaaS網絡Opside將于8月份集成ZK Stack:6月28日消息,Opside官方表示,將大力支持zkEVM的推廣,其中包括zkSync最新公布的ZK Stack。目前,Opside測試網已集成Polygon zkEVM(Hermez),用戶可以一鍵在ETH、BSC和Polygon等L1公鏈上發行一條屬于自己的zkEVM鏈。

據路線圖顯示,Opside測試網預計在8月份集成zkSync的ZK Stack。未來還將提供Scroll、Linea等zkEVM解決方案。Opside的多鏈ZK-PoW算法將為各個公鏈上的ZK-Rollup提供海量算力支撐。

Opside是一個提供ZK-RaaS(ZK-Rollup as a service)的平臺,支持用戶一鍵發布zkEVM。同時支持ZKP挖礦,包括CPU、顯卡、FPGA等機器類型。[2023/6/28 22:05:47]

在ZK-Rollup的情況下,一個sequencer節點會批量處理數百個Rollup鏈交易,生成一個SNARK或STARK證明(稍后詳細介紹),然后將這些交易發布到第一層。這些證明被稱為有效性證明,在將交易的狀態發布到以太坊主網之前,對交易進行加密驗證。

ZK-Rollupvs.OptimisticRollup

Layer2 ZK-ZKVM 項目 Ola 發布第二版技術白皮書:4月9日消息,可編程性隱私和擴容方案 Ola 發布第二版技術白皮書,致力于構建一個集隱私、高性能、可編程性為一體的 Layer2 ZK-ZKVM 平臺,讓用戶真正掌控個人數據所有權與使用權。第二版白皮書強調了如何設計和構建 Ola 中最重要的基礎模塊,高性能的 ZKVM,OlaVM;ZK 友好的智能合約語言,Ola-lang;以及隱私的設計架構。

另外,Ola 已于近期開啟品牌升級計劃,將于 2023 年年內上線測試網,2024 年年初上線主網。據悉,Ola 由 Sin7y Labs 團隊研發,專注于 Layer2 的 ZK- ZKVM 方案。[2023/4/9 13:53:28]

與OptimisticRollup相比,ZKP允許ZK-Rollup具有可忽略不計的提款延遲以及更高級別的安全性,因為我們不需要等待防欺詐窗口關閉或依賴于交易驗證者的誠實。

除了這些優點之外,ZK-Rollup還具有在未來迭代中支持私人交易的潛力。像Zcash和AztecNetwork這樣的項目已經實現了ZK-proof的隱私保護功能,zkSync也公開表示打算讓他們的交易在未來變得更私密。

ConsenSys發布新的EVM等效zk-EVM規范,開發人員可部署任何智能合約:據官方消息,以太坊基礎設施開發公司ConsenSys發布新的EVM等效zk-EVM規范,設計目標包括按照黃皮書中指定的EVM規范執行未更改的原生字節碼(native bytecode)、100%覆蓋不同的操作碼、交付V神定義的2類型zk-EVM,使開發人員可以部署任何智能合約,使用任何工具,并完全按照他們在L1上構建應用的方式進行開發,目前測試版本已開放。[2022/10/14 14:27:29]

與OptimisticRollup相比,ZK-Rollu從理論上來說,在每秒交易(TPS)上限、交易終止時間和安全性方面具有優勢。但是,它們在EVM兼容性方面卻不盡如人意。ZK-Rollup的這些特性使得VitalikButerin相信,在短期內,OptimisticRollup可能在通用EVM計算中更優越。但從中期到長期來看,隨著技術的改進,ZK-Rollup將在所有用例中勝出。

zkSync與StarkNet

現在我們已經對ZK-Rollup的工作方式有了直觀的理解,可以開始zkSync和StarkNet的比較之旅了。

zkSyncV1是MatterLabs于2020年6月向以太坊主網發布的SNARK證明Rollup協議。MatterLabs于2022年2月在以太坊測試網上發布了第一個兼容EVM的ZK-RollupzkSyncV2。

聲音 | V神:過去三周Zk-SNARKs確實取得了巨大進步:在以色列特拉維夫舉行的以太坊會議上,當被問及關于隱私技術的最新發展(特別是隱私幣 Zcash 等使用的零知識證明)時,V神表示:“過去三周里,Zk-SNARKs確實取得了巨大的進步,但很多人還沒有意識到這一點。”V神還提到了Plonk,一種將由Aztec Protocol推出的、創建零知識證明的新方法,這是ConsenSys支持的一個項目,項目重點是在10月份將隱私技術引入以太坊。這一技術將降低創建零知識證明的復雜性,使更多人能夠更容易使用它。V神說,“這意味著成千上萬的人將很容易參與進來”。此外,在DeFi方面,V神肯定DeFi潛在價值,但指出其存在明確的中心化后門和預言機問題。(Decrypt)[2019/9/16]

StarkNet是StarkWareLtd.于2021年11月在以太坊測試網上發布的STARK證明Rollup協議。該協議在Alpha版本0.4.0時,于同月晚些時候發布到了主網。

zkSync和StarkNet之間的一個關鍵區別是,它們使用了不同的驗證協議,稱為SNARK(簡潔的非交互式知識論證)和STARK(可擴展的透明知識論證)。

SNARKvs.STARK

動態 | TRON將實現“四大發展” 包括將于2019年第二季度推出的zk-SNARKs:米莎·萊德曼(Misha Lederman)透露TRON的主要發展將在2019年第二季度實現,包括:

-比特流速度;

-對機構友好的多重簽名和賬戶管理;

-USDT-TRON穩定幣在TRX區塊鏈上推出;

-保護交易流程的隱私[2019/3/22]

SNARK和STARK的根本區別在于它們的設置過程、可擴展性和量子計算機的抗攻擊能力。

ZK-SNARK必須經過一個可信的設置階段,在其中我們必須信任一小群開發人員不會操縱代碼或泄露漏洞信息。這個設置只需要完成一次,并且不存在重大的安全風險,但卻破壞了它的去中心化。

另一方面,ZK-STARK使用公開可驗證的隨機性來創建去信任的可驗證系統,從而無需信任設置。STARK目前也具有量子彈性,而SNARK有可能被量子計算機攻擊破解。

最后,ZK-STARK在計算速度和大小上也比ZK-SNARK更可擴展,有可能提高10倍的速度。然而,ZK-STARK目前的一個缺點是,該技術還不是很成熟,這限制了它的通用性。

EVM兼容性

由于zkSync和StarkNet使用了兩種不同的方法,它們在EVM兼容性上也有所不同。zkSyncV2聲稱99%EVM與Solidity和Vyper兼容,需要先編譯成中間語言Yul,然后再通過LLVM編譯成zkEVM字節碼。此外,zkSync支持他們的ZKP優化的類Rust的語言Zinc,它可以使用LLVM直接編譯成字節碼。然而,Zinc目前還不是圖靈完備的,由于zkSync專注于Solidity兼容性,其開發自2021年9月以來已經停止。

另一方面,StarkNet目前并沒有開發EVM兼容性。要在StarkNet上部署智能合約,開發人員需要學習Cairo,它是StarkWare為STARK可驗證程序構建的一種編程語言。另外,智能合約開發者也可以選擇使用NetherindEth開發的Warp將他們的Solidity代碼轉換為Cairo。但仍然有一些Solidity特性不被轉譯器支持,并且與zkSyncV2的EVM兼容相差甚遠。

StarkNet與StarkEx

我們可能聽說過StarkEx,它是StarkWare的另一項主要技術。StarkEx不是一個ZK-Rollup,而是一個可定制的第二層SaaS(軟件即服務),它使用STARK證明為應用程序提供大規模擴展。

為了避免混淆兩者,最簡單的方法就是記住以下幾點:

StarkNet是一個通用的Rollup鏈。StarkEx是一個專門為應用程序設計的工具包。

StarkNet擴展以太坊。StarkEx擴展去中心化的交易所。

StarkNet允許dapp之間互操作,但StarkEx不允許。

理解這兩者之間的差異很重要,因為雖然使用StarkEx的DApp被包含在StarkNet生態系統中是很常見的,但TVL等指標是完全獨立的。

生態系統的比較

現在我們來看看StarkNet和zkSync各自的生態系統。下面是一個圖形對比。

截至2022年7月12日,zkSync的(V1&V2)TVL為5700萬美元。整個協議也是100%開源的,他們的Github存儲庫目前有1.4k星和350多個分叉。它們的基礎架構主要是用Rust和Typescript構建的。目前有112個dapp構建在zkSync上,其中10個在主網上。zkSync上的一些著名項目包括Zigzag,Argent等。

StarkNet的TVL目前約為63.5萬美元,有78個dapp正在開發中,只有少數應用在主網上。與其他著名的Rollup協議不同,StarkNet目前是非開源的,它的基礎設施是用Cairo構建的。StarkNet上一些著名的協議包括ArgentX(Argent為StarkNet開發的Web3錢包)和OrbiterFinance(一個去中心化的跨Rollup橋)。

當比較他們在社交媒體上的表現時,zkSync在Twitter上有大約有87K的關注者,在Discord和Telegram上有差不多的成員數量。

正如我們所看到的,zkSync和StarkNet的生態系統遠不如Optimism和Arbitrum等OptimisticRollup協議的生態系統成熟。然而,zkSync和StarkNet都擁有強大的用戶和開發者社區,前景廣闊。

發展路線圖

在短期內,zkSync一個重大里程碑將是他們的V2Alpha主網發布,目前還沒有具體的發布日期。zkSync的長期計劃包括完全去中心化、zkSync代幣空投以及實現隱私保護智能合約。作為去中心化計劃的一部分,他們未來的代幣將用于質押,以便成為zkSync網絡上的驗證者。

StarkWare的短期目標是升級他們的Alpha主網,為穩定版本做準備。他們的長期目標有三個方面:建立可用性、提高性能和去中心化。

StarkWare認為他們已經完成了第一個目標,目前他們的開發重點是改善吞吐量、交易成本和延遲問題。StarkWare最近還發布了他們的去中心化提案,其中包括計劃于2022年9月發布的StarkNet代幣空投公告。StarkNet的代幣將用于系統治理、交易費用支付和參與StarkNet的共識機制。

Source:https://medium.com/@tokeninsight/zksync-vs-starkware-whats-the-difference-between-the-top-two-zk-Rollups-66d1a7d08ef3

Tags:ARKSTASTARKSTARautoparkstarl幣貼吧StarkMetaSTARPARK

中幣交易所
V神在ETH CC發言總結:以太坊Merge只是開始 下一步將是Surge_以太坊

時尚達人Vitalik帶著他的新提包來到了時尚之都巴黎,出席ETHCC并發表演講。 V神表示,比特幣的擁護者認為比特幣已經完成了80%,但以太坊的支持者認為以太坊只完成了40%,預計于今年9月完.

1900/1/1 0:00:00
用智能手機將Web3推向大眾 靠譜嗎?_WEB

本文來自?indiatimes,原文作者:RuchirVyas智能手機的出現徹底改變了我們的生活方式。從辦理銀行業務到購買機票,從股票交易到短視頻制作,這一切都可以在智能手機上完成.

1900/1/1 0:00:00
釋放資本效率的途徑——NFT 抵押貸款和借款協議研究_NFT

如何以NFT為抵押物進行高效的融資?本文從定價機制和交易對手模式兩個不同層面介紹了各種不同方式的優缺點,為希望了解如何對NFT這種高波動性低流動性的資產定價的讀者提供了入門的科普.

1900/1/1 0:00:00
新公鏈龍頭Aptos 34個項目生態初具規模_TOS

原文作者:Crescent,律動BlockBeatsAptos獲得2億美元融資后,在市場較為蕭條的當下又完成了1.5億美元融資,展現著Aptos非同一般的潛力.

1900/1/1 0:00:00
美聯儲重回量化寬松 加息與通脹背景下的另類聲音_GDP

俄烏沖突、能源高漲、美聯儲加息、日本國債崩盤,不到1年時間,全球的宏觀經濟背景就發生了180度的大轉變.

1900/1/1 0:00:00
ETC、LDO暴漲 還有哪些以太坊分叉概念項目_ETC

撰文:FYJ&0x711&czgsws,BlockBeats關于以太坊分叉的討論愈發火熱,合并日期臨近,超800T礦工算力歸屬全網關注.

1900/1/1 0:00:00
ads