STARK:一文對比以太坊二層解決方案zkSync與Starkware

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

說ZKrollups將是巨大的，只是一種輕描淡寫的說法。有兩只野獸已經在后臺研究這項技術好幾年了。它們大放異彩的時刻即將來臨。那么，這一領域存在著怎樣的機會？這兩個項目有什么不同？它們何時會發幣呢？以下是關于zksync與StarkWare的對比。事先聲明，這是一個很大的主題，我正在盡力掌握，我可能會走一些捷徑，或者在解釋時犯一些錯誤。歡迎在評論中糾正我或提出更精確的建議。目前已經有大量的資源詳細說明了什么是ZKRollup，以及與OptimisticRollup的區別。在這里，我只關注zkrollup背后的基本知識，以及zk游戲的兩個主要參與者--zksync和StarkWare之間的區別。基礎知識：以太坊rn就是我們所說的"單片機"。因為共識、執行和數據可用性都發生在ETH區塊鏈上。這不是可持續的，也是其不能擴展的原因。因為這意味著所有節點都必須執行這3個功能。為了擴大規模，ETH必須變得"模塊化"。這意味著只將區塊鏈用于其最擅長的領域：共識，并將執行和數據可用性的負擔轉移到鏈下。但我們如何以完全繼承L1安全性的方式移動執行和DA呢？zkrollups：通過zkrollup，數以千計的tx被分批納入一個單一的、數學上可驗證的zk證明，并且只有這個證明被存儲在鏈上。以下，讓我們來比較一下zksync和StarkWare。我們將努力保持清晰，并遵循以下角度進行對比。團隊和開端技術數據可用性資金和支持者目前的產品和路線圖個人印象和機會團隊和開端

Aave社區發起將V3部署至Base網絡的溫度檢查提案:5月24日消息，據 Aave 治理網站信息，Aave 社區發起將 V3 部署至 Base 網絡的溫度檢查提案。目前該提案正向社區征集反饋意見。此前，Aave 社區已投票決定在 Arbiturm、Metis 和 Optimism 等其他 L2 網絡上部署 Aave V3 協議。[2023/5/24 15:24:16]

StarkWare：始于2018年5月。該團隊由世界級的密碼學家和科學家組成。核心人員是前Zcash首席科學家，多年來一直是zk領域的創新先鋒。他們正通過Starknet將學術理論轉化為現實世界的產品。他們無疑是這個游戲中最著名的團隊。Zksync：始于2019年12月。實際上，在zk領域有一個"第二好的"，它就是正在建立ZkSync的MatterLabs團隊。該團隊由@gluk64共同創建，我無法找到更多關于其背后聰明人的信息，但ZkSync2.0帶來的技術突破足以說明問題。他們有外來者的氣息，而且行動迅速。技術

兩個項目都有一個類似的架構，有一個插入Eth區塊鏈的rollup智能合約，以存儲L2狀態轉換的zk證明。另外，它們都有2種鏈外行為者，負責為網絡提供動力。證明者：負責繁重工作的少量節點。他們計算所有的txs，并將其匯總為簡潔的zk證明。它們在專用硬件上運行，可以是黑盒子。我們所知道的是，它們在數學上無法偽造假的ZK證明。驗證者：負責抗審查工作的大量節點。他們驗證證明者提交的證明的有效性。不需要特定的硬件。每個人都可以運行。此外，這兩個項目都必須競相克服一個主要的技術問題，那就是創建一個通用的ZK證明系統。這是一個圣杯，因為直到現在所有的ZK線路都需要特定的應用。這意味著每個應用只有一個ZKrollup，而沒有EVM兼容性。你猜怎么著，zksync和StarkWare都做到了，但技術上有所不同。StarkWare：他們使用的加密技術是基于STARKs的。他們是這項技術的先驅，與SNARKs相比有兩個主要優勢："T"意味著"透明"，這意味著該系統無需信任設置即可工作。它們的生產速度比SNARKs快10倍。但STARKs的問題是技術不如SNARKs成熟，如果它允許圖靈完備性，就很難使其與EVM兼容。此外，Starkware創造了Cairo，一種特定的編程語言，允許運行由STARKs驅動的自由裁量程序。但由于很少有人愿意學習一種新的編程語言來做智能合約，他們現在正與@nethermindeth合作創建Warp，這是一種轉譯器，可以將solidity智能合約無縫轉換為Cairo，以使@StarkWare的EVM兼容。

Web3安全廠商KEKKAI完成Pre-seed輪融資:2月22日消息，Web3安全廠商KEKKAI已于近日完成Pre-seed輪融資。本輪融資金額為5000萬日元，投資方為日本本土VC Skyland Ventures。

據悉，KEKKAI是一家日本初創企業，希望提升加密貨幣交易安全性，同時幫用戶降低資產風險。公司創始人杜瑪介紹，雖然KEKKAI正式成立于2023年初，但這一項目自2022年就已內部立項。2022年12月，KEKKAI產品正式上線。[2023/2/22 12:22:53]

zksync：使用的zk系統是基于SNARKs。因此，整個系統的安全性依靠于2019年秋季推出的一個可信儀式。它涉及許多知名加密貨幣玩家，其中包括VitalikButerin。如果至少有一個參與者是誠實的，那么這個系統就可以證明是安全的，所以我很舒服，不認為"可信設置"的說法可以用來對付zksync。盡管zkSync團隊做了很多優化，但SNARKs還是比STARKs慢。不過，他們的系統允許以比STARKs更自然的方式兼容EVM。事實上，智能合約可以由zkSync編譯器逐一轉換操作碼，這使得solidity成為zkSync的"主要公民"，而不需要中介語言或轉碼器。

數據可用性

zkrollups將txs計算的負擔從L1中移出，并允許ETH擴展到2-3Ktps。這很好，但還不夠。采用"rolluponly"的方法，DA負擔仍然在L1上，而tx數據則通過calldata寫入L1。DA超級重要。這是允許你在Etherscan上查看tx發生了什么的關鍵。沒有這一點，tx的執行就成了一個黑盒子。如果你喜歡便宜的tx而不是在L1上直接追蹤，這也許是可以的。因此，zkrollup必須向用戶提供一個選擇。要么你的tx數據寫在L1上，但費用要高一點，要么你優先考慮超便宜的tx，并信任L2上的一些實體來保證你的tx數據的可用性。這樣一來，L1就可以從DA負擔中解放出來，ZKrollup就可以擴展到20-30kTPS。StarkWare:用Volition系統解決DA的挑戰。Volition允許最終用戶在tx的rollup結算和單個tx層面的有效結算之間進行選擇。在有效結算的情況下，鏈下DA由一個集中的"數據可用性委員會"來保證，該委員會由著名的加密貨幣實體組成。這聽起來像中心化，但這是終端用戶自愿選擇的超低價TX的權衡。

加密貨幣交易所Kanga Exchange因傳播虛假信息遭波蘭競爭和消費者保護委員會起訴:1月16日消息，加密貨幣交易所 Kanga Exchange 因在其網站上傳播虛假信息、侵犯消費者集體權益而被波蘭競爭和消費者保護委員會（UOKiK）起訴。該虛假信息包括兩點，一是 Kange Exchange 從未獲得波蘭金融監管局的批準，卻在其官網上稱其「商業模式」已獲得批準；二是 Kanga Exchange 以「波蘭加密貨幣交易所」在網站上進行宣傳，但其運營商 Good Solution Investments Limited 的注冊辦事處在伯利茲（Belize），因此與用戶簽訂合同的適用法律是伯利茲法律。

UOKiK主席認為，提供這樣的信息可能會誤導消費者對所進行操作的合法性與安全性的認識，如果消費者知道波蘭法律不是與該公司履行合同的適用法律，他們可能會考慮到經濟和法律風險而決定不使用所提供的服務」。如果侵犯消費者集體權益的指控成立，Good Solution Investments Limited 有可能被處以最高為其營業額 10 % 的罰款。同時，由于其在 kanga.exchange 網站上的運作可能涉嫌犯罪，該公司還出現在波蘭金融監管局的警告名單上。[2023/1/16 11:14:51]

zksync：對DA挑戰的解決方案是zkPorter，這是一個分片基礎設施，與zkSync的zkrollup無縫運行。想象一下，zkSyncrollup是保證鏈上DA的shard0。然后其他分片可以選擇不同的DA政策，并在鏈外存儲tx數據。StarkWare的Volition和zksynczkPorter之間的主要區別是，對于Volition來說，結算的選擇是基于tx的，對于zkPorter來說則是基于賬戶的。另外，對于zkPorter來說，鏈下DA系統更加去中心化，因為DA是由zkSync原生代幣激勵的"守護者"網絡而不是中心化的"DAC"所保證的。

UNI突破9美元:UNI突破9美元，現報9.009美元，日內漲幅達到9.76%，行情波動較大，請做好風險控制。[2022/7/29 2:46:39]

資金和支持者

StarkWare:2018年5月完成600萬美元的種子輪。2018年10月完成3000萬美元的A輪融資。去年3月完成7500萬美元的B輪融資(Paradigm/3AC/Alameda)去年11月完成5000萬美元的C輪融資。目前，StarkWare的估值為20億美元。這是一次世界級的融資，有著名的投資者。大佬們和以太坊基金會都在其中。Vitalik本人還評論了Starkware制作的大部分文章。Shu和Sam也在同一條船上。這種項目怎么可能失敗呢？zksync:去年3月完成600萬美元的A輪融資。去年11月完成5000萬美元的B輪融資。董事會中的大人物較少，看起來像一個大的Defi/CEX加密貨幣家族資金。這聽起來很滑稽，但實際上很重要，因為ZKrollup的成功將在很大程度上取決于Defi協議和直接CEXs的整合。所以我非常看好zksync生態系統的快速整合。

目前的產品和路線圖

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

公鏈Juno Network因共識問題無法出塊已暫停，將發布補丁:7月28日消息，非托管質押Stakely.io服務商表示，Cosmos生態智能合約公鏈Juno Network由于非確定性區塊，無法就區塊4136531達成共識，因此該鏈已停止。被利用的漏洞與Authz模塊有關，該模塊在Cosmos SDK v0.46.x上被修復。由于此版本中包含一些尚未經過測試的重大更改， JUNO不能簡單地升級。因此，Juno正在創建一個 v0.45的分支，包括安全補丁。一旦補丁準備好，Stakely.io將作為驗證者進行協調，從區塊4136532的新創世重新啟動鏈，跳過區塊4136531。[2022/7/29 2:44:30]

他們首先推出了StarkEx，這相當于"行星"階段，并允許創建由Cairo和STARKs驅動的有權限的、特定應用的zkrollup。如果你不清楚，可以想想@dydxprotocol，@Immutable或@deversifi。因為它們是3個主要的應用程序，它們由StarkEx的在產版本驅動。到目前為止，StarkEx已經通過這些應用程序解決了超過500萬個txs和2500億美元的價值。StarkEx的效率現已得到證實，StarkWare很快就會進入路線圖的"星座"階段。11月29日，他們在主網上發布了StarkNet的Alpha版本。StarkNet是我們所期待的去權限、多應用、通用的zkrollup。起初，StarkNet將由一個中心化驗證器驅動，應用程序將通過白名單按順序部署，就像Optimism一樣。因此，其計劃是發展生態系統，并在路線圖的"宇宙"階段逐步將StarkNet去中心化。zkSync的路線圖通過4個步驟總結如下：

第一階段對應于2020年6月推出的zkSync1.0，大致對應于zkrollup，但沒有智能合約整合，允許發送和接收代幣。盡管缺乏可組合性，但有前途的項目已經部署在了上面，所有指標都顯示出對zkSync1.0指數級的興趣。第二階段將隨著zkSync2.0的主網部署而啟動，它對應著我們所期待的一切：Zkrollup上的完全EVM兼容性和智能合約的可組合性。zkSync2.0最初計劃于8月在主網上部署，但技術問題推遲了發布。這些困難現在在測試網得到了解決，去年10月，zksync宣布接近完成技術步驟，并部署了一個類似AMM的測試網，以證明EVM的兼容性。MatterLabs為確保LLVM/Solidity的兼容性所采取的延遲措施一開始可能令人沮喪，但它將幫助zksync贏得大量的時間，因為它允許所有的eth工具和依賴性與zkSync2.0進行原生集成。個人印象和機會

StarkWare是真的令人印象深刻。這是我在一段時間內看到的最有前途的基礎設施項目。全明星團隊，世界級的創新，頂級的資金。引人注目的是，他們不僅僅是在建造一個ZKRollup。他們正在思考一切。我們談到了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已經宣布存在一個本地代幣，他們將在未來的某個時候，進行公平代幣發布和潛在的空投。這對社區來說超級好，但我感覺Zkrollups的原生代幣將被過度發揮，因為每個人和其團隊都在等待它。我還希望StarkWare在"宇宙"階段推出一個本地代幣。因為他們將不得不在某個時候將他們的網絡去中心化，并激勵證明者。綜上所述，我的觀點是，在zkrollup方面，最令人印象深刻的執行力來自于StarkWare，但草根社區/開源的氛圍使zksync對我更有吸引力。以下是我最后的個人說明：就機會而言，也許我們應該將我們的注意力從rollup的原生代幣轉移到將在這些rollup上找到用戶基礎的新興項目。ETH是一個范式轉變，那些試圖在鏈上復制訂單的項目很快就被更適合這種新環境的AMM模式所取代。同樣地，ZKrollup是ETH的范式轉變，也許，在rollup上復制AMM是一個弱智的想法；也許TVL不會成為rollup上的一個重要指標；也許CLOBs值得再次考慮。這些都是臨時的例子，但我們的想法是，也許最好的機會存在于那些利用這些rollup來做在L1上不可能做的事情的項目上，而不是復制那里已有東西的項目。如果你走到了這一步，那么恭喜你。

Tags：ARKSTASTARKSTARBunnyParkPoolStakeSTARK幣starl幣有可能漲1000倍嗎

Polygon