專訪 Matter Labs 團隊：zkSync 2.0 如何在 L2 賽道脫穎而出？_KSY

原文標題：《元宇宙之道丨zkSync2.0AMA：如何在以太坊?Layer2賽道脫穎而出？》受訪者：MatterLabs團隊撰文：BinLynn

近日，以太坊Layer2項目方MatterLabs在zkSync2.0測試網遷移了首個SoliditydApp，而其底層zkEVM，使得該ZKRollup二層網絡完全兼容了EVM。

對于這個新生的Layer2，MatterLabs官方在r/ethereum進行了一次AMA，以下是DeFi之道整理的活動內容精選：

Q1：AlexG曾在Twitter上表示，他認為Starkware和zkSync是為不同的目標用戶群構建的，你們能詳細說明一下嗎？

Alex：當然，我只能代表MatterLabs發言，但這確實是我的強烈看法。

zkSync的愿景牢牢植根于早期加密運動的精神和哲學。它基于密碼朋克、主權個人、中本聰以及Vitalik等思想。簡而言之，我們珍視自由以及由密碼學帶來的強大的新形式的恢復力。你看，密碼學是當今任何個人都可以使用的唯一一種技術，它能夠抵御最強大的對手。密碼學與去中心化相結合，賦予區塊鏈社區挑戰現狀的能力。如果沒有去中心化和不可阻擋性，你今天所擁有的將是銀行。如果你認為這兩個屬性對區塊鏈而言不是必需的，請花點時間在谷歌上搜索「e-gold」和「libertyreserve」。

這給我們帶來了兩家公司之間的主要區別。zkSync正在構建一個針對「去中心化」和「彈性優化」的開放協議。我們渴望成為可替代的：即使MatterLabs消失或受到損害，網絡也應該蓬勃發展。我們的主要目標受眾是1)使用區塊鏈實現金融主權的人，以及2)為這些人構建的去中心化協議。

英國金融：數字英鎊持有量應限制在5000英鎊以內:金色財經報道，英國金融會員組織之一英國金融已向英國央行提出關于發行數字英鎊的建議。該機構指出，應該限制個人持有擬議中央銀行數字貨幣（CBDC）的金額，將其上限設定為 5000 英鎊（約 6350 美元），以避免引發恐慌和資金外流。

此前該銀行提議將個人持有量的臨時限額限制在 1 萬英鎊至 2 萬英鎊（約 12700 美元至 25400 美元）之間。[2023/7/4 22:17:20]

而StarkWare正在構建的，或多或少是專有的擴展解決方案，這些解決方案針對其IP的性能和防御能力進行了優化，但具有企業級支持和SLA。作為一個技術和服務提供商，他們正在采取行動保持不可或缺的地位。他們的主要目標受眾似乎是建立在區塊鏈上的中心化公司。

這種區別直接導致了設計決策的重大差異：

1、軟件許可：

zkSync是寬容許可的，因此如果MatterLabs未能做正確的事情，任何人都可以自由地分叉網絡。

StarkWare提出了Polaris，這將阻止StarkWare附屬公司以外的任何人運行STARK證明器。

2、開發者堆棧：

zkSync專注于完整的EVM兼容性——我們希望網絡在各個方面都歸社區所有，并且不想充當服務機構以新語言重新編寫和重新審核協議。

StarkWare正在推廣Cairo，它有利于性能而不是向后兼容性。

3、可升級性：

zkSync1.0從發布的第一天起就有了一個帶有強制時間鎖定的升級機制。我們承認無法修復漏洞的風險，我們更喜歡這種方式，而不是被傳票破壞的風險。而zkSync2.0將遵循這種方法。

UniSat Marketplace將于4月27日重新開放:4月26日消息，比特幣銘文錢包UniSat Wallet在推特上宣布旗下Market place將于4月27日重新開放，持有UniSat OG Pass一定時間的用戶可以先參與測試，UniSatPoints數量最多的用戶將在后續獲得邀請。

此前報道，UniSat Marketplace于4月24日上線之初由于代碼庫漏洞遭受大量雙花攻擊。

UniSat Marketplace是比特幣鏈上基于PSBT、支持BRC-20資產的Inscriptions市場。不過，社區對于如何確保在市場上購買的BRC-20真實性有所懷疑。[2023/4/26 14:27:32]

StarkEx有一種機制，可以在執行升級之前凍結操作，以作為沒有時間鎖的升級機制，至少在最初階段是這樣。他們的重點顯然是針對外部攻擊者的安全性，而不是減少對StarkWare本身的依賴。

4、鏈外數據可用性：

ZKSync2.0附帶了zkPorter：一種針對去中心化優化的鏈下數據可用性解決方案。它的設計方式將使完整節點比任何現有的以太坊殺手多兩個數量級，并為活躍度提供加密經濟學激勵。

StarkWare則在這里押注于數據可用性委員會，這是由一小部分數據存儲者組成的，他們依靠自己的的聲譽，而不是去中心化的激勵。

如你們所見，這些差異都源于我們價值觀和理念的分歧。隨著監管壓力越來越大，我認為我們會看到更多問題的發生。

Q2:如果zkPorter被凍結，智能合約中的資金會怎樣？它們是自動退出的嗎？如果沒有，這將如何影響Rollup用戶？考慮一個例子，Uniswap?上有ETH/DAI，其中Rollup賬戶貢獻了700萬美元，zkPorter賬戶貢獻了300萬美元。如果zkPorter被凍結會發生什么，尤其是從Rollup用戶的角度來看？

Bybit CEO：Mirana為Bybit旗下投資部門，Genesis破產未影響Bybit用戶資產:金色財經報道，Bybit首席執行官Ben Zhou在社交媒體發文表示，Genesis第二大債權人Mirana Ventures實體公司Mirana Corp為Bybit旗下投資部門。Mirana僅管理部分Bybit公司資產且與用戶資產隔離，BybitEarn產品并不使用Mirana。此外，Genesis對Mirana1.51億美元的借款有價值約1.2億美元的抵押品進行抵押，目前已被清算。

此前報道，據今日公開的破產申請文件顯示，Genesis前幾大債權人包括Gemini Trust Company（7.65億美元）、Mirana Ventures實體公司Mirana Corp（1.51億美元）。[2023/1/20 11:23:24]

Stan：通常，這對Rollup用戶來說不會有什么變化，流動性將保留在合約中，并將繼續照常運作。

追問：如果zkPorter被凍結，zkPorter賬戶提供的流動性如何繼續正常運作？這對我來說似乎不安全。

Stan：zkPorter凍結意味著在最壞的情況下，zkPorter賬戶無法從智能合約中提取其流動性。為什么你認為這可能不安全？請注意，合約的全局存儲，如其ERC-20余額仍然存儲在Rollup中。

追問：可以說，這比凍結資金更糟糕。我一直認為凍結zkPorter狀態就是它字面上的意思——但你實際上并沒有在這里凍結zkPorter。只是資金不在智能合約中——這違背了智能合約平臺的初衷。

除非我誤解了一切——如果用戶在zkPorter被凍結時遭到清算，并且他們完全無能為力，那將是一個糟糕的用戶體驗。更大的問題是它打開了一個攻擊向量，其中排序器和zkPorter驗證器可以串通以強制清算和其他MEV場景——這使其與側鏈一樣不安全，并且對于某些MEV案例來說可能更糟。我知道zkSync2.0有一個機制，即使在Rollup被凍結的情況下，用戶也可以從智能合約中提取資金，而StarkWare也有類似的保護性提款解決方案。那么，為什么沒有為zkPorter實現類似的東西來保護用戶呢？

加密貨幣2022年度收官：不斷“爆雷”的幣圈 觸頂之后都是下坡:12月31日消息，加密貨幣去年有多瘋狂，在今年就有多慘重。加密資產在去年底迎來高光，不斷創下新高，但進入2022年后，在接連發生LUNA幣歸零、加密基金三箭資本破產以及近期的加密平臺FTX挪用資金等負面事件的影響下，整個加密市場單日腰斬的情況也偶有發生。幣圈龍頭比特幣全年累跌65%，高低極差超過3萬美元，是今年波動性最大的資產之一。而被寄予厚望的以太坊表現更遜，全年收跌近70%。[2022/12/31 22:17:58]

Stan：謝謝你這么全面的回答！我們的團隊意識到了這些潛在問題，不幸的是，我不能提供所有的細節，但我們確實致力于最大限度地減少凍結對系統的影響。

關于凍結資金，更取決于合約，當前的Uniswap以太坊合約支持單個分片，因此，如果其代碼被移植到zkSync而沒有任何更改，它將僅在Rollup時存儲余額。因此，每當來自Porter的用戶向合約提供流動性時，他們就會將資金發送到合約的Rollup余額中。這些資金，就像所有Rollup資金一樣，應該像在L1上一樣安全。正如我已經說過的，我們致力于優雅地處理此類情況。測試網版本將提供更多的詳細信息:)

Q3:將以太坊主網上運行的合約部署到zkSync的過程有多復雜？部署的代碼是否完全相同？

Angela：是的，對于Solidity智能合約：大多數DeFi和NFT項目將在不更改代碼的情況下工作。但是，在第一個版本中，編譯器會自動將對SHA256和Keccak256的調用替換為對電路友好的哈希函數。目前還不支持其他一些密碼學原語，例如ecrecover和密碼學預編譯。

印度央行行長：加密貨幣沒有潛在價值:金色財經報道，印度央行行長 Shaktikanta Das 重申，加密貨幣沒有潛在價值。他堅信加密貨幣可能會“嚴重破壞”該國的金融體系。央行行長指出最近的加密貨幣修正是為了證明他對加密貨幣的謹慎態度是正確的。Das強調，在加密貨幣方面，央行似乎與政府意見一致。（u.today）[2022/5/24 3:36:48]

對于UI:你可以通過我們的Web3API和EthersSDK與智能合約和zkSync網絡完全交互，對于讀取請求，任何語言的任何符合web3的框架都可以開箱即用，并具有額外的可選zkSyncL2特定功能。對于寫請求：由于L1和L2之間的根本差異，你將不得不編寫一些額外的代碼。

所以，是的！你只需進行最少的更改即可重用當前的前端。

Q4:zkEVM架構中最緊迫的中心化點是什么，在這些領域實現去中心化的計劃是什么？

Angela：zkSync2.0實現去中心化需要注意3點：

1、協議的逐步去中心化

與大多數Rollup項目一樣，我們選擇了逐步去中心化以進行創新、快速迭代以及更快地修復漏洞。zkSync將保持可升級，直到功能范圍穩定，然后它將變得不可變。但是，有兩種機制可以在去中心化/安全性和反應性/可升級性之間取得理想的平衡。

A)信任最小化的可升級性：

zkSync智能合約的升級可以由zkSync治理發起，并有4周的時間鎖定期。如果治理被破壞，時間鎖將讓用戶有時間通過我們的優先隊列/緊急退出機制選擇退出。

B)安全理事會：

為了應對漏洞/黑客事件，我們成立了一個由15位受人尊敬的以太坊社區成員組成的安全委員會，它的權力僅限于縮短4周時間鎖通知期。、StefanGeorge(Gnosis)、BaekKim(Hashed)、ChrisBurniske(Placeholder)、NickGrossman(USV)、WillHarborne(ZKValidator)、SergejKunz(1inch)以及LasseClausen(1kx)）

這個理事會由智能合約執行，規則如下：

8/15簽名可將時間鎖縮短至2周；

10/15簽名可將時間鎖縮短至1周；

12/15簽名可將時間鎖縮短至3天；

最低3天的時間鎖時間，可防止出現最壞的情況。

2、排序器

最初，只有經授權的排序器提交的區塊，才能向zkSyncL1智能合約提交狀態轉換。我們可能有一些選擇/轉換排序器的機制。但最終，我們將切換到由多驗證者與PoS共識保護的集體排序器。用戶不依賴排序器來保證安全。我們的zkRollup有一個優先隊列/緊急退出機制來保護用戶免受排序器的審查：無論排序器是否存在惡意/故障，你始終可以退出zkSync。

3.zkPorter

zkPorter用戶可以1-3美分的固定費用進行交易。這是通過將數據可用性放在鏈下而不是放在以太坊上來實現的。而數據可用性是通過zkSync代幣質押者使用權益證明來保護的。zkPorter的安全性嚴格優于任何其他L1或側鏈，但在最壞的情況下，惡意行為者控制著質押的排序器和總權益的2/3以上，他們可以簽署有效的狀態轉換，但保留數據，這會凍結狀態，因此可凍結質押的zkPorter用戶和攻擊者。

為了盡可能地去中心化zkPorter，2/3的zkSync代幣供應是保留給社區的。

Q5:市場上有這么多擴容解決方案，除了通常聲稱的「更快、更便宜和更安全」之外，還有什么讓你們與眾不同？

Lyova：zkSync2.0將擁有zkPorter-一個無縫可互操作的，具有鏈下數據可用性的超便宜分片。你可以在此處閱讀所有?相關信息。

此外，在zkSync上，你可以使用任何流動token支付費用——而無需購買ETH或像MATIC這樣的自定義token。

P.S.關于「我們更快，更便宜以及更安全」，可以參考?l2beat?和?l2fees)

Q6:zkSync的下一步是什么？你們是否計劃提高跨不同L2以及與其他區塊鏈環境的互操作性？

Angela：關于zkSync的下一步，我們還有很多東西需要構建！

開發者工具：如你所知，我們選擇采用長期方法并為我們的編譯器使用LLVM，這已迫使我們考慮調試器、鏈接器、匯編器、反匯編器和二進制實用程序。

此外，任何編寫過x86或arm程序集的人都可以輕松地為我們的VM編寫代碼。

更多的智能合約語言：LLVM還允許我們和任何其他團隊輕松構建語言前端，例如Rust。

功能更完整、更高效的zkEVM：在第一個版本中，對SHA256和Keccak256的調用將被編譯器自動替換為電路友好的哈希函數，并且不支持ecrecover和密碼學預編譯。當然，我們的下一步是有效地支持這些！我們還計劃實施寫時拷貝(copy-on-write)擴展。

UX/DevX改進：我們已實現了ETH以外的其他token的手續費方式，并且正在實現帳戶抽象，更多的支持會到來！

最后，密碼學被證明是區塊鏈世界中令人難以置信的工具。零知識證明已經在推動擴容和隱私，這是公共無許可區塊鏈中最重要的兩個問題。MatterLabs是一個熱衷于使用密碼學和數學解決問題的工程團隊，我們將繼續這樣做！有趣的應用之一是實施時間鎖加密以消除MEV。

關于跨不同L2以及與其他區塊鏈環境的互操作性問題，我們主要專注于構建zkSync，而在zkSync和其他網絡之間來回移動的問題，主要由Optics、Connext、Hop等橋解決方案來解決。

Q7:你們為什么會選擇SNARKs，而不是STARKs?將來遷移到STARKs會不會太難？合約規模會有限制嗎？

Lyova：選擇SNARKs的原因之一是數據更小，因此證明更便宜，它只占用O空間。SNARKs也可以很容易地進行遞歸，這節省了驗證器更多的計算量。此外，zkSync使用的是PLONK方案，與其他SNARKs不同的是，它只需要一個通用的可信設置，這意味著我們不必每次更新電路時都產生「有廢棄物」。如果你好奇的話，去看看?這里!我們沒有任何計劃在將來遷移到STARKs。

L2上部署的合約必須以某種方式發布到L1，以確保在「優先模式」期間正確執行和提取資金，這在不太可能的審查情況下發生。這就是為什么L1區塊gas限制會施加某種大小限制。

Q8:主網上線之后，MatterLabs如何實現盈利？

Angela：和以太坊相同的方式，最初token供應的1/3留給了團隊和投資者，2/3屬于社區，zkSynctoken是zkSync網絡的費用token。

Tags：KSYSYNCZKSzkSynczksync幣交易所SYNCBRAINzks幣升值空間大嗎zksync幣合法嗎

中幣下載