時間：2021-12-14|瀏覽：471
就這么說 zk-rollup 成功太輕描淡寫了。有兩個項目已經(jīng)研究這項技術(shù)多年了，他們輝煌的時刻即將到來。機會是什么？它們之間有什么區(qū)別？代幣什么時候發(fā)布？這是對的 @zksync 和 @StarkWareLtd 比較推文:
提前聲明，這是一個如此大的話題，我正在努力掌握這些知識。但我可能會走捷徑，或者在解釋時犯錯誤。請隨時在評論中糾正我的錯誤，使推特更準確。
有很多詳細的資源來解釋什么是 zk-rollup 以及它與 optimistic rollup 差異。所以我主要關(guān)注這篇文章 zk-rollup 背后的基本直覺原因和零知識證明了擴容解決方案賽道中兩大玩家的區(qū)別，即 @zksync 和 @StarkWareLtd。
以太坊就是我們所說的 單一型(monolithic) 以太坊區(qū)塊鏈發(fā)生了共識、執(zhí)行和數(shù)據(jù)可用性。這是不可持續(xù)的 (因為這意味著所有節(jié)點都必須執(zhí)行這三個功能)，這就是單個以太坊區(qū)塊鏈無法擴展的原因。
要實現(xiàn)擴容，以太坊必須向前 模塊化(modular) 區(qū)塊鏈發(fā)展。這意味著區(qū)塊鏈只用于其最好的領(lǐng)域：共識、執(zhí)行和數(shù)據(jù)可用性 (data availability,DA) 將工作外包給鏈下。
但是，我們應(yīng)該如何保證它的繼承呢？ L1 將執(zhí)行和數(shù)據(jù)可用性轉(zhuǎn)移到安全的同時？ zk-rollup成千上萬的交易被打包成單一的數(shù)學(xué)驗證 zk 只有這個證書存儲在鏈上。
現(xiàn)在我們來比較一下 @zksync 和 @StarkWareLtd。我將盡可能使用簡單的語言，并從團隊和成立的早期階段、技術(shù)、數(shù)據(jù)可用性、融資和背后的支持者、當前的產(chǎn)品和路線圖、個人觀點和機會進行比較。
團隊和成立初期
StarkWare 團隊成立于 2018 年 5 月。其團隊由世界級的密碼學(xué)家和科學(xué)家組成。核心成員是 Zcash 多年來，前首席科學(xué)家在零知識領(lǐng)域進行了探索和創(chuàng)新。他們發(fā)表了許多學(xué)術(shù)論文，并將其實現(xiàn)為真正的產(chǎn)品 Starknet。
另一個就是 @zksync，其團隊 Matter Labs 成立于 2019 年 12 月，Alex G. 作為它的聯(lián)合創(chuàng)始人。我找不到更多關(guān)于團隊成員背后的信息，但是 ZkSync 2.0 技術(shù)突破表明，他們有跨行業(yè)的氣質(zhì)，工作效率高。
技術(shù)
這兩個項目都有類似的結(jié)構(gòu)。會有一個 rollup 將智能合約插入以太坊區(qū)塊鏈存儲 L2 狀態(tài)轉(zhuǎn)換的 zk 此外，還有兩種數(shù)據(jù)存儲方法可供選擇，為網(wǎng)絡(luò)提供動力。
證明者 (prover):負責繁重工作的少量節(jié)點。他們負責計算所有交易，并將其聚合成簡單的 zk 證明。它們在特殊硬件上運行 (可以認為是黑匣子)。我們所知道的是，他們不能從數(shù)學(xué)層面?zhèn)卧?zk 證明。
驗證者 (validator):大量節(jié)點負責抗審。他們驗證了 prover 提交的證書的有效性。每個人都可以在沒有特定硬件的情況下運行此類節(jié)點。
此外，這兩個項目都必須克服一個主要的技術(shù)問題，即創(chuàng)建一個通用的 zk 證明系統(tǒng)。誰能提供最好的解決方案，誰就是這條軌道的王者。因為到目前為止 zk 所有電路都是專用集成電路，即根據(jù)不同的應(yīng)用實現(xiàn)不同 zk 電路。這意味著每個應(yīng)用程序都有一個 zk-rollup，不兼容 EVM。大家猜怎么著，@zksync 和 @StarkWareLtd 所有這些都做到了，但使用了不同的技術(shù)。
StarkWare: 它們使用基礎(chǔ) STARKs 證明密碼學(xué)技術(shù)。這項技術(shù)是由 StarkWare 團隊發(fā)明，和 SNARKs 證明 (zkSync 使用的技術(shù)) 有兩個主要優(yōu)點：
"T" 指的是 "transparent"(透明)這意味著系統(tǒng)運行不需要信任設(shè)置；
生成 STARKs 證明速度比 SNARKs 的快 10 倍。
STARKs 問題是技術(shù)不如 SNARKs 成熟，如果實現(xiàn)了圖靈的完整性，就很難與之相處 EVM 兼容。StarkWare 創(chuàng)建了特定的編程語言 Cairo 來運行由 STARKs 支持的獨立程序。但現(xiàn)在很少有人愿意學(xué)習新的編程語言來執(zhí)行智能合同，StarkWare 團隊現(xiàn)在正和 Nethermind 團隊合作創(chuàng)建代碼轉(zhuǎn)譯器 Warp，來講 Solidity 智能合約無縫轉(zhuǎn)換 Cairo，使其與 EVM 兼容。
zkSync 使用基于 SNARKs 證明 (尤其是 PLONK) 的 zk 系統(tǒng)。該系統(tǒng)的整體安全性取決于 2019 一套信任設(shè)一套信任設(shè)置 (Multi-party Computation Ceremony)。它涉及到許多知名的加密圈內(nèi)人，包括 Vitalik Buterin。
至少有一個參與者是誠實的，這樣系統(tǒng)就可以被證明是安全的。所以我不這么認為 可信設(shè)置 可用于反駁 zkSync 的 SNARKs 比 STARKs 盡管如此 zkSync 團隊做了很多優(yōu)化 zkSync 系統(tǒng)實現(xiàn) EVM 兼容的方式比 STARKs 自然。事實上，智能合約 (幾乎) 可以由 zkSync 編譯器逐一轉(zhuǎn)換操作碼，這使得 Solidity 成為 zkSync 的 一等公民。因此，不需要中介語言或特殊轉(zhuǎn)譯器。
數(shù)據(jù)可用性 (DA)
zk-rollup 從交易計算的壓力來看 L1 中間移除允許以太坊擴容到最高 2000-3000 tps。聽起來很棒，但還是不夠 "只提供 rollup" 的方案下，DA 壓力還在 L1 交易數(shù)據(jù)通過 calldata 寫入 L1 中。
DA 有了它，用戶就可以在這里了 Etherscan 看看你的交易發(fā)生了什么。如果沒有 DA，用戶交易的執(zhí)行已經(jīng)成為一個黑匣子。如果用戶更喜歡選擇便宜的交易費，他們可以直接在那里 L1 跟蹤交易的功能沒問題。換句話說，必須為用戶提供選擇。
用戶要么選擇在交易數(shù)據(jù)上寫作 L1 但是手續(xù)費會高一點；要么選擇特別便宜的手續(xù)費，但需要信任 L2 一些實體確保交易數(shù)據(jù)的可用性。L1 存儲 DA 壓力消失了，zk-rollup 可以擴容到 2 萬 - 3 萬 TPS。
StarkWare：通過 Volition 系統(tǒng)解決 DA 問題。Volition 允許終端用戶進行每筆交易 rollup 方案 (鏈上數(shù)據(jù)的可用性) 和 validium 方案 (鏈下數(shù)據(jù)可用性) 之間選擇。
在 validium 在方案中，鏈下 DA 集中 "數(shù)據(jù)可用性委員會"(data availability committee,DAC) 和 DAC 它由一些著名的加密實體組成。這聽起來很集中，但是..為了滿足用戶對超低交易費的需求，這是一種折衷方案。
而 zkSync 解決 DA 問題的用例是 zkPorter。這是一個分片基礎(chǔ)設(shè)施，和 zkSync 的 zk-rollup 方案無縫平行 zkSync rollup 想象保證鏈上 DA 的分片 0.然后每個其他片段都可以選擇不同的片段 DA 鏈下存儲交易數(shù)據(jù)的策略和策略。
StarkWare 的 Volition 和 zkSync 的 zkPorter 主要區(qū)別是：Volition 用戶可以根據(jù)每筆交易選擇數(shù)據(jù)存儲模式 zkPorter 用戶根據(jù)每個賬戶選擇交易結(jié)算方式 (zkPorter 賬戶只能通過鏈下使用 DA 方法產(chǎn)生交易)。zkPorter 的鏈下 DA 因為它，系統(tǒng)更加分散 DA 由 zkSync 本地代幣激勵 守衛(wèi)者網(wǎng)絡(luò)Guardian) 提供安全，而不是集中 ”DAC“。
背后的融資和支持者
StarkWare：
2018 年 5 月價值 600 種子輪1萬美元 (Pantera/Naval/Vitalik)
2018 年 10 月價值 3000 萬美元的 A 輪融資 (Paradigm/Sequoia/Cb Ventures)
2021 年 3 月價值 7500 萬美元的 B 輪融資 (Paradigm/3AC/Alameda)
2021 年 11 月價值 5000 萬美元的 C 輪融資 (Paradigm/3AC/Alameda)
目前為止，StarkWare 估值 20 1億美元。這是一個世界級的融資水平，有許多著名的投資者。一些大亨和以太坊基金會的成員都參與其中。Vitalik 自己審查 StarkWare 大部分發(fā)表的文章。這怎么會失?。?br>
zkSync：
2021 年 3 月價值 600 萬的 A 輪融資 (Binance/Cb Ventures/AAVE/Balancer/Curve)
2021 年 11 月價值 5000 萬的 B 輪融資 (Horowitz/Placeholder/Crypto.com 等等)
和 StarkWare 相比之下，沒有那么多著名的投資者，看起來像個大投資者 Defi/CEX 加密家庭融資。我們認為每個項目都很好，它們也很好地結(jié)合在一起。重要的是，zk-rollup 成功在很大程度上取決于 DeFi 協(xié)議的加入與和 CEX 直接集成。
所以我對 zkSync 生態(tài)系統(tǒng)的快速集合非常樂觀。
當前產(chǎn)品及路線圖
StarkWare 它的演變令人驚嘆，因為它們不懈地將其頂級密碼論文轉(zhuǎn)化為現(xiàn)實創(chuàng)新。其路線圖如下：
他們首先推出 StarEx，我認為這相當于他們的路線圖 “行星”(Planets) 并允許創(chuàng)建原因 Cairo 和 STARKs 特殊類型的應(yīng)用提供支持 zk-rollup。如果讀者還不清楚，想想 dydx、Immutable、Deversifi 等等。因為它們是由 StarkEx 支持產(chǎn)版 3 主要應(yīng)用。到目前為止，StarkEx 超過這些應(yīng)用已經(jīng)處理好了 500 一萬筆交易，價值超過 2500 億美元。StarkEx 而且，效率已經(jīng)得到證實 StarkWare 快速到路線圖 “星群”(Constellations) 階段發(fā)展。
在 2021 年 11 月 29 日，他們發(fā)布了 StarkNet 的主網(wǎng) Alpha 版本。StarkNet 它是我們所期待的無許可、多應(yīng)用的通用類型 zk-rollup。起初，StarkNet 它將由一個集中的證明者驅(qū)動，應(yīng)用程序?qū)错樞蛏暾埌酌麊?Optimism 同樣。因此，他們的計劃是發(fā)展生態(tài)系統(tǒng)，并逐步發(fā)展 StarkNet 去中心化實現(xiàn)路線圖 “宇宙”(Universe) 階段。
非小號行情
