以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads
首頁 > 火必APP > Info

STAR:從6大角度對比以太坊二層解決方案zkSync與Starkware

Author:

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

近日@dareal_sisyphe發布了關于以太坊二層解決方案zkSync與Starkware的對比文章,從團隊、技術、數據可用性、資金和支持者、目前的產品和路線圖和其個人印象6個角度進行了分析。以下為全部內容的編譯整理。

說ZK rollups將是巨大的,只是一種輕描淡寫的說法。

有兩只野獸已經在后臺研究這項技術好幾年了。它們大放異彩的時刻即將來臨。那么,這一領域存在著怎樣的機會?這兩個項目有什么不同?它們何時會發幣呢?

以下是關于zksync與StarkWare的對比。

事先聲明,這是一個很大的主題,我正在盡力掌握,我可能會走一些捷徑,或者在解釋時犯一些錯誤。歡迎在評論中糾正我或提出更精確的建議。

目前已經有大量的資源詳細說明了什么是ZK Rollup,以及與Optimistic Rollup的區別。

在這里,我只關注zk rollup背后的基本知識,以及zk游戲的兩個主要參與者--zksync和StarkWare之間的區別。

基礎知識:以太坊rn就是我們所說的"單片機"。因為共識、執行和數據可用性都發生在ETH區塊鏈上。這不是可持續的,也是其不能擴展的原因。因為這意味著所有節點都必須執行這3個功能。為了擴大規模,Eth必須變得"模塊化"。這意味著只將區塊鏈用于其最擅長的領域:共識,并將執行和數據可用性(DA)的負擔轉移到鏈下。但我們如何以完全繼承L1安全性的方式移動執行和DA呢?

zk rollups:通過zk rollup,數以千計的tx被分批納入一個單一的、數學上可驗證的zk證明,并且只有這個證明被存儲在鏈上。

Ripple Q1報告:XRP日均交易量從6.98億美元增長46%至10億美元:金色財經報道,根據CryptoCompare的數據,第一季度XRP市場交易量環比增長了46%,這很可能是由于隨后的市場復蘇和往往導致交易量飆升的重大波動事件的結合。另一方面,BTC和ETH的現貨交易量在季度基礎上分別上升12%和下降12%。XRP Ledger上的鏈上活動繼續保持強勁。在中心化交易所,第一季度XRP的日均交易量增長了46%,從6.98億美元增長到10億美元。今年3月,XRP一度在韓國兩大交易所Upbit和Bithumb的交易量中位居榜首。

2023年第一季度,XRPL的鏈上交易筆數從上一季度的1.06億筆增長了9%,達到1.16億筆。自從XLS-20在主網上上線以來,NFT繼續推動活動增長,在XRPL上創建了超過100萬的資產。(U.Today)[2023/4/30 14:35:04]

以下,讓我們來比較一下zksync和@StarkWare。我們將努力保持清晰,并遵循以下角度進行對比。

團隊和開端

個人印象和機會

StarkWare:始于2018年5月。該團隊由世界級的密碼學家和科學家組成。核心人員是前Zcash首席科學家,多年來一直是zk領域的創新先鋒。他們正通過Starknet將學術理論轉化為現實世界的產品。他們無疑是這個游戲中最著名的團隊。

Zksync:始于2019年12月。實際上,在zk領域有一個"第二好的",它就是正在建立ZkSync的Matter Labs團隊。該團隊由@gluk64共同創建,我無法找到更多關于其背后聰明人的信息,但ZkSync 2.0帶來的技術突破足以說明問題。他們有外來者的氣息,而且行動迅速。

美國參議員提議將第三方支付網絡起征點從600美元提高到1萬美元:金色財經報道,兩名美國參議員提議提高第三方支付網絡的起征點。該提案將把Venmo、PayPal和CashApp等平臺的門檻從600美元提高到1萬美元。

這兩位參議員正在對1.7萬億美元的支出計劃提出修正案,以影響第三方支付的門檻。此外,這一增長將改變1099-K表格從流行金融服務的納稅申報地位。[2022/12/24 22:04:51]

兩個項目都有一個類似的架構,有一個插入Eth區塊鏈的rollup智能合約,以存儲L2狀態轉換的zk證明。另外,它們都有2種鏈外行為者,負責為網絡提供動力。

證明者:負責繁重工作的少量節點。他們計算所有的txs,并將其匯總為簡潔的zk證明。它們在專用硬件上運行,可以是黑盒子。我們所知道的是,它們在數學上無法偽造假的ZK證明。

驗證者:負責抗審查工作的大量節點。他們驗證證明者提交的證明的有效性。不需要特定的硬件。每個人都可以運行。

此外,這兩個項目都必須競相克服一個主要的技術問題,那就是創建一個通用的ZK證明系統。

這是一個圣杯,因為直到現在所有的ZK線路都需要特定的應用。這意味著每個應用只有一個ZK rollup,而沒有EVM兼容性。

你猜怎么著,zksync和StarkWare都做到了,但技術上有所不同。

StarkWare:他們使用的加密技術是基于STARKs的。他們是這項技術的先驅,與SNARKs(由zkSync使用)相比有兩個主要優勢:

"T"意味著"透明",這意味著該系統無需信任設置即可工作。它們的生產速度比SNARKs快10倍。但STARKs的問題是技術不如SNARKs成熟,如果它允許圖靈完備性,就很難使其與EVM兼容。

花旗:將Coinbase目標價從6美元上調至7美元:8月5日消息,花旗:將加密貨幣交易所Coinbase目標價從6美元上調至7美元。[2022/8/5 12:04:47]

此外,Starkware創造了Cairo,一種特定的編程語言,允許運行由STARKs驅動的自由裁量程序。但由于很少有人愿意學習一種新的編程語言來做智能合約,他們現在正與@nethermindeth合作創建Warp,這是一種轉譯器,可以將solidity智能合約無縫轉換為Cairo,以使@StarkWare的EVM兼容。

?zksync:使用的zk系統是基于SNARKs(尤其是PLONK)。因此,整個系統的安全性依靠于2019年秋季推出的一個可信儀式。它涉及許多知名加密貨幣玩家,其中包括Vitalik Buterin。如果至少有一個參與者是誠實的,那么這個系統就可以證明是安全的,所以我很舒服,不認為"可信設置"的說法可以用來對付zksync。

盡管zkSync團隊做了很多優化,但SNARKs還是比STARKs慢。不過,他們的系統允許以比STARKs更自然的方式兼容EVM。事實上,智能合約可以(幾乎)由zkSync編譯器逐一轉換操作碼,這使得solidity成為zkSync的"主要公民",而不需要中介語言或轉碼器。

zk rollups將txs計算的負擔從L1中移出,并允許ETH擴展到2-3K tps。這很好,但還不夠。采用"rollup only"的方法,DA負擔仍然在L1上,而tx數據則通過calldata寫入L1。

DA超級重要。這是允許你在Etherscan上查看tx發生了什么的關鍵。沒有這一點,tx的執行就成了一個黑盒子。如果你喜歡便宜的tx而不是在L1上直接追蹤,這也許是可以的。因此,zk rollup必須向用戶提供一個選擇。要么你的tx數據寫在L1上,但費用要高一點,要么你優先考慮超便宜的tx,并信任L2上的一些實體來保證你的tx數據的可用性。這樣一來,L1就可以從DA負擔中解放出來,ZK rollup就可以擴展到20-30k TPS。

Gemini交易所將從6月15日起不在提供免費的加密提款服務:金色財經報道,Watcher.Guru發推稱,Gemini交易所將從6月15日起不在提供免費的加密提款服務。[2022/6/12 4:19:40]

StarkWare: 用Volition系統解決DA的挑戰。Volition允許最終用戶在tx的rollup結算(鏈上DA)和單個tx層面的有效結算(鏈下DA)之間進行選擇。在有效結算的情況下,鏈下DA由一個集中的"數據可用性委員會"(DAC)來保證,該委員會由著名的加密貨幣實體組成。

這聽起來像中心化,但這是終端用戶自愿選擇的超低價TX的權衡。

zksync:對DA挑戰的解決方案是zkPorter,這是一個分片基礎設施,與zkSync的zk rollup無縫運行。想象一下,zkSync rollup是保證鏈上DA的shard0。然后其他分片可以選擇不同的DA政策,并在鏈外存儲tx數據。

StarkWare的Volition和zksync zkPorter之間的主要區別是,對于Volition來說,結算的選擇是基于tx的(用戶為每個tx選擇DA),對于zkPorter來說則是基于賬戶的(一個zkPorter賬戶只能產生以鏈下DA產生tx)。

另外,對于zkPorter來說,鏈下DA系統更加去中心化,因為DA是由zkSync原生代幣激勵的"守護者"網絡而不是中心化的"DAC"所保證的。

StarkWare:

2018年5月完成600萬美元的種子輪(Pantera/Naval/Vitalik)。

2018年10月完成3000萬美元的A輪融資(Paradigm/Sequoia/Cb Ventures)。

Jack Dorsey公布?trust比特幣捐贈基金進展:將從6名最終候選人中確定3個董事會成員:金色財經報道,據推特首席執行官Jack Dorsey披露,目前他和Jay-Z組建的比特幣捐贈基金?trust已經審核了7,000多份董事會成員申請,現在已經篩選出了6名候選人,他們將進入最終面試,?trust基金會從這六個人中選擇3名基金董事會成員,之后就將正式啟動基金。今年二月,Jack Dorsey和Jay-Z宣布組建比特幣捐贈基金?trus,募集約500枚BTC重點發展印度和非洲的加密貨幣業務,Jack Dorsey聲稱將把該基金打造為一個全盲的、不可撤銷的信托,他們完全不參與決定基金未來的方向。[2021/11/24 7:08:04]

去年3月完成7500萬美元的B輪融資(Paradigm/3AC/Alameda)

去年11月完成5000萬美元的C輪融資(Paradigm/3AC/Alameda)。

目前,StarkWare的估值為20億美元。這是一次世界級的融資,有著名的投資者。大佬們和以太坊基金會都在其中。Vitalik本人還評論了Starkware制作的大部分文章。Shu和Sam也在同一條船上。這種項目怎么可能失敗呢?

zksync :

去年3月完成600萬美元的A輪融資(Binance/Cb Ventures/AAVE/ Balancer/Curve)。

去年11月完成5000萬美元的B輪融資(Horowitz/Placeholder/Crypto.com等)。

董事會中的大人物較少,看起來像一個大的Defi/CEX加密貨幣家族資金。這聽起來很滑稽,但實際上很重要,因為ZK rollup的成功將在很大程度上取決于Defi協議和直接CEXs的整合。所以我非常看好zksync生態系統的快速整合。

StarkWare有著令人難以置信的演變,因為他們堅持不懈地將其頂級密碼學論文轉化為現實世界的創新。他們的路線圖總結如下:

他們首先推出了StarkEx,這相當于"行星"階段,并允許創建由Cairo和STARKs驅動的有權限的、特定應用的zk rollup。如果你不清楚,可以想想@dydxprotocol ,@Immutable 或@deversifi 。因為它們是3個主要的應用程序,它們由StarkEx的在產版本驅動。

到目前為止,StarkEx已經通過這些應用程序解決了超過500萬個txs和2500億美元的價值。StarkEx的效率現已得到證實,StarkWare很快就會進入路線圖的"星座"階段。11月29日,他們在主網上發布了StarkNet的Alpha版本。StarkNet是我們所期待的去權限、多應用、通用的zk rollup。

起初,StarkNet將由一個中心化驗證器驅動,應用程序將通過白名單按順序部署,就像Optimism一樣。因此,其計劃是發展生態系統,并在路線圖的"宇宙"階段逐步將StarkNet去中心化。

zkSync的路線圖通過4個步驟總結如下:

第一階段對應于2020年6月推出的zkSync 1.0,大致對應于zk rollup,但沒有智能合約整合,允許發送和接收代幣。盡管缺乏可組合性,但有前途的項目已經部署在了上面,所有指標都顯示出對zkSync 1.0指數級的興趣。

第二階段將隨著zkSync 2.0的主網部署而啟動,它對應著我們所期待的一切:Zk rollup上的完全EVM兼容性和智能合約的可組合性。

zkSync 2.0最初計劃于8月在主網上部署,但技術問題推遲了發布。這些困難現在在測試網得到了解決,去年10月,zksync宣布接近完成技術步驟,并部署了一個類似AMM的測試網,以證明EVM的兼容性。

Matter Labs為確保LLVM/Solidity的兼容性所采取的延遲措施一開始可能令人沮喪,但它將幫助zksync贏得大量的時間,因為它允許所有的eth工具和依賴性與zkSync 2.0進行原生集成。

StarkWare是真的令人印象深刻。這是我在一段時間內看到的最有前途的基礎設施項目。全明星團隊,世界級的創新,頂級的資金。引人注目的是,他們不僅僅是在建造一個ZK Rollup。他們正在思考一切。我們談到了Cairo和Warp。但他們也在努力用Veedo為Eth帶來真正的隨機性,通過有條件的txs進行L1s到L2s通信,Batch-Long閃電貸和其他天才性的東西。他們用"分布式AMMs"來解決L1和L2之間的AMMs流動性碎片的方法確實令人鼓舞。他們正在放眼全球。

我現在看到的StarkWare的唯一技術問題是通過Warp轉接器進行的Solidity整合。Starknet首先是為Cairo優化的,而Solidity轉發器是在它的基礎上添加的。我不是一個很強的技術人員,但我擔心"Solidity翻譯"不會在每一種情況下都是直截了當的,它可能會對一些智能合約造成兼容性問題。

此外,我看到的其他問題是:我們這些平民的機會在哪里?StarkWare已經價值20億美元,但目前還沒有公平發布代幣的計劃。

另一方面,我也喜歡zksync的社區第一的做法,以及對"作為主要公民的穩固性"的強調。他們的整個技術努力依賴于真正的EVM體驗,沒有任何權衡,這可能會在采用方面得到回報。zksync還與當前的Defi/CEX景觀深度整合,這對未來的協議加入和采用是一個好兆頭。

就機會而言,zkSync已經宣布存在一個本地代幣,他們將在未來的某個時候,進行公平代幣發布和潛在的空投。這對社區來說超級好,但我感覺Zk rollups的原生代幣將被過度發揮,因為每個人和其團隊都在等待它。

我還希望StarkWare在"宇宙"階段推出一個本地代幣。因為他們將不得不在某個時候將他們的網絡去中心化,并激勵證明者。

綜上所述,我的觀點是,在zk rollup方面,最令人印象深刻的執行力來自于StarkWare,但草根社區/開源的氛圍使zksync對我更有吸引力。

以下是我最后的個人說明:

就機會而言,也許我們應該將我們的注意力從rollup的原生代幣轉移到將在這些rollup上找到用戶基礎的新興項目。ETH是一個范式轉變,那些試圖在鏈上復制訂單的項目很快就被更適合這種新環境的AMM模式所取代。同樣地,ZK rollup是Eth的范式轉變,也許(只是也許),在rollup上復制AMM是一個弱智的想法;也許TVL不會成為rollup上的一個重要指標;也許CLOBs值得再次考慮。

這些都是臨時的例子,但我們的想法是,也許最好的機會存在于那些利用這些rollup來做在L1上不可能做的事情的項目上,而不是復制那里已有東西的項目。

如果你走到了這一步,那么恭喜你。

Tags:ARKSTARKSTASTARMARKETING幣starknet幣價分析STARC幣START價格

火必APP
ANK:進擊的DAO人

距離第一次寫關于BanklessDAO的小文已有近三個月。不到90天,DAO這個詞卻已經歷了從不溫不火,到有點熱度,再到最近快火出了圈.

1900/1/1 0:00:00
ETF:灰度致信美國SEC:沒有“依據”批準比特幣期貨ETF而不批準現貨ETF

美國證券交易委員會(SEC)最近拒絕了VanEck的比特幣現貨ETF申請,加密資產管理公司灰度投資(Grayscale Investments)對此進行了回擊.

1900/1/1 0:00:00
POC:CPOC共識機制是什么?一文秒懂創新機制

在區塊鏈底層技術中,共識機制是關鍵,眾所周知的BTC創建出了POW(工作量證明機制),隨后從POS(權益證明機制)、POA(權威證明機制)、POC(容量證明機制)到CPOC(條件化容量證明機制).

1900/1/1 0:00:00
ERG:Ergo將如何變革加密貨幣

代幣經濟學 Ergo自啟動以來一直把去中心化當作第一要務。沒有預挖礦,也沒有預分配給ICO(初始代幣發售)或風險投資。此外,只有ERG總供應量的4.37%會逐漸從區塊獎勵分配給Ergo金庫.

1900/1/1 0:00:00
代幣化:金色前哨 | 安永預測加密活動規模在未來10年將增長30倍

12月14日消息,專業服務巨頭安永(EY)表示,如果有正確的規則和法規,這個熱門行業可能在未來10年增長30倍.

1900/1/1 0:00:00
區塊鏈:區塊鏈技術將如何改變藝術世界?

世界上的一切都變得越來越數字化。藝術界也開始慢慢循規蹈矩地追上這個新趨勢。而區塊鏈技術的采用可能會以一種前所未見但強有力的方式改變這個行業.

1900/1/1 0:00:00
ads