一文對比以太坊二層解決方案zkSync與Starkware
原文編譯：元宇宙之道
原文編譯：元宇宙之道
原文編譯：元宇宙之道
原文編譯：元宇宙之道
近日@dareal_sisyphe發布了關於以太坊二層解決方案zkSync 與Starkware 的對比文章，從團隊、技術、數據可用性、資金和支持者、目前的產品和路線圖和其個人印象6 個角度進行了分析。以下為全部內容的編譯整理。
說ZK rollups 將是巨大的，只是一種輕描淡寫的說法。
有兩隻野獸已經在後台研究這項技術好幾年了。它們大放異彩的時刻即將來臨。那麼，這一領域存在著怎樣的機會？這兩個項目有什麼不同？它們何時會發幣呢？
以下是關於zksync 與StarkWare 的對比。
事先聲明，這是一個很大的主題，我正在盡力掌握，我可能會走一些捷徑，或者在解釋時犯一些錯誤。歡迎在評論中糾正我或提出更精確的建議。
目前已經有大量的資源詳細說明了什麼是ZK Rollup，以及與Optimistic Rollup 的區別。"單片機"模塊化"模塊化"模塊化
模塊化
數據可用性
數據可用性
技術
數據可用性
技術
數據可用性
資金和支持者
目前的產品和路線圖
個人印象和機會
第二好的"第二好的"技術
技術
技術
技術
兩個項目都有一個類似的架構，有一個插入Eth區塊鏈的rollup 智能合約，以存儲L2 狀態轉換的zk 證明。另外，它們都有2 種鏈外行為者，負責為網絡提供動力。
證明者：負責繁重工作的少量節點。他們計算所有的txs，並將其匯總為簡潔的zk 證明。它們在專用硬件上運行，可以是黑盒子。我們所知道的是，它們在數學上無法偽造假的ZK 證明。
驗證者：負責抗審查工作的大量節點。他們驗證證明者提交的證明的有效性。不需要特定的硬件。每個人都可以運行。
此外，這兩個項目都必須競相剋服一個主要的技術問題，那就是創建一個通用的ZK 證明系統。
這是一個聖杯，因為直到現在所有的ZK線路都需要特定的應用。這意味著每個應用只有一個ZK rollup，而沒有EVM 兼容性。
"T"StarkWare：他們使用的加密技術是基於STARKs 的。他們是這項技術的先驅，與SNARKs（由zkSync 使用）相比有兩個主要優勢："透明"意味著
透明
，這意味著該系統無需信任設置即可工作。它們的生產速度比SNARKs 快10 倍。但STARKs 的問題是技術不如SNARKs 成熟，如果它允許圖靈完備性，就很難使其與EVM 兼容。"此外，Starkware 創造了Cairo，一種特定的編程語言，允許運行由STARKs 驅動的自由裁量程序。但由於很少有人願意學習一種新的編程語言來做智能合約，他們現在正與@nethermindeth 合作創建Warp，這是一種轉譯器，可以將solidity 智能合約無縫轉換為Cairo，以使@StarkWare的EVM兼容。"zksync：使用的zk 系統是基於SNARKs（尤其是PLONK）。因此，整個系統的安全性依靠於2019 年秋季推出的一個可信儀式。它涉及許多知名加密貨幣玩家，其中包括Vitalik Buterin。如果至少有一個參與者是誠實的，那麼這個系統就可以證明是安全的，所以我很舒服，不認為
主要公民"主要公民"數據可用性（DA）
數據可用性（DA）
數據可用性（DA）"rollup only"數據可用性（DA）
zk rollups 將txs 計算的負擔從L1 中移出，並允許ETH 擴展到2-3K tps。這很好，但還不夠。採用
的方法，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。"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）。
去年3 月完成7500 萬美元的B 輪融資(Paradigm/3AC/Alameda)
zksync :
去年11 月完成5000 萬美元的C 輪融資（Paradigm/3AC/Alameda）。
（Binance/Cb Ventures/AAVE/ Balancer/Curve）。
去年3 月完成600 萬美元的A 輪融資
（Horowitz/Placeholder/Crypto.com 等）。
去年11 月完成5000 萬美元的B 輪融資
（Horowitz/Placeholder/Crypto.com 等）。
StarkWare 有著令人難以置信的演變，因為他們堅持不懈地將其頂級密碼學論文轉化為現實世界的創新。他們的路線圖總結如下：
行星"行星"行星
階段，並允許創建由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 的社區第一的做法，以及對
作為主要公民的穩固性
就機會而言，zkSync 已經宣布存在一個本地代幣，他們將在未來的某個時候，進行公平代幣發布和潛在的空投。這對社區來說超級好，但我感覺Zk rollups 的原生代幣將被過度發揮，因為每個人和其團隊都在等待它。"宇宙"我還希望StarkWare 在
宇宙
階段推出一個本地代幣。因為他們將不得不在某個時候將他們的網絡去中心化，並激勵證明者。
綜上所述，我的觀點是，在zk rollup 方面，最令人印象深刻的執行力來自於StarkWare，但草根社區/開源的氛圍使zksync 對我更有吸引力。
以下是我最後的個人說明：
就機會而言，也許我們應該將我們的注意力從rollup 的原生代幣轉移到將在這些rollup 上找到用戶基礎的新興項目。 ETH 是一個範式轉變，那些試圖在鏈上複製訂單的項目很快就被更適合這種新環境的AMM 模式所取代。同樣地，ZK rollup 是ETH 的範式轉變，也許（只是也許），在rollup 上複製AMM 是一個弱智的想法；也許TVL 不會成為rollup 上的一個重要指標；也許CLOBs 值得再次考慮。
