原文標題:《IOSGWeeklyBrief|SecurityvsTrustlessness,ZK協議在機制上該如何取舍》
原文來源:?IOSGVentures
近日,zkSync和Polygon都推出了各自的zkEVM,掀起了一波行業的熱潮。與此同時,社區對于zkEVM的安全性和去中心化也有了很多討論。IOSG在前不久剛結束的ETHDenver期間,舉辦了一場以安全為主題的活動,有幸邀請到了在零知識證明領域的頭部項目參與討論,他們分享了零知識證明協議在機制設計和工程建構上的安全原則與新穎方案,以及在設計過程中的種種權衡。
以下為各位嘉賓分享的insight原文,參與者為:
QueenieWu,IOSGVentures合伙人;
AlexGluchowski,zkSync聯合創始人;
YeZhang,Scroll聯合創始人和研究負責人;
MattFinestone,Taiko首席運營官;
MikhailKomarov,Nilfoundation創始人;
BrianR,Risc?0創始人;??
?Q1:零知識證明是如何增強你們正在構建的系統的安全性的?另一方面,部署零知識證明會帶來哪些安全問題?
我是RiskZero的CEOBrianRedford。我們是在Risk-VMicroArchitecture構建的RiskZerozkVM的開發者,可以在ZK系統中執行任意代碼。我們還在部署一個名為Bonsai的Layer?2網絡,它可以在ZK場景下執行任何代碼,可以把它理解為是一個ZK加速器。在ZK如何增強安全性方面,我想這取決于具體的應用場景。當然,能夠進行計算并生成可以在世界任何地方驗證的證明方式完全改變了區塊鏈安全的范式。你不再需要一遍又一遍地重新做相同的計算,再通過復雜的各種機制來保證整個系統的安全性。
我是Nil的創始人MikhailKomarov。我們為正在開發的ZK項目提供基礎設施,例如zk-EVM編譯器。這個編譯器可以將高級語言編譯成電路,使得高級語言中定義的每個計算都可以被證明,無需執行任何操作,只需要簡單的電路即可。除此之外,我們還引入了一個「證明市場」的概念,給想要生成zkSNARK/STARK證明的項目方,提供了一個去中心化的競價市場。每個開發者都可以提交所需要生成的零知識證明的競價單,然后只需要在應用程序中調用證明,以獲取所需的服務。
基本上,我們是開發人員所需的基礎設施。從我們自身來說,它并沒有增強我們的安全性,但從整體來說,它確實增強了安全性。正如Brian所說的那樣,它通過消除協議中應在Trustless的環境中運行的信任假設來增強安全性。它的關鍵在于進一步減少信任假設。這就是它如何增強安全性的方式。我相信零知識證明如果被項目,去年發生的一些安全事故可能可以避免。
我是Matt來自Taiko,我們是一個以太坊兼容的ZKRollup。我們追求最大程度的以太坊和EVM兼容性。在安全方面,我們獨特的地方是我們非常依賴于經過充分測試和驗證的以太坊構建模塊、客戶端和智能合約模式。正如Mikhail所說,ZK減少了信任假設或將其轉移到Protocol/證明層面。「需要信任的」不再是一些有動機的人,而是數學和圍繞數學證明開發的協議和應用。對于ZKRollup,有很多安全考慮,不僅僅是ZK。
美SEC主席發文稱正起草新規則,加密交易平臺或將不是合格托管方:3月3日消息,美SEC主席Gary Gensler在SEC官網發文表示,其人已加入投資者咨詢委員會。該委員會近期提交了一項新的投資顧問保護規則。該規則根據國會2010年的規定,將托管規則擴大到涵蓋投資者的所有資產,而不僅僅是他們的資金或證券。擬議規則還將要求顧問和托管方之間達成書面協議,增加對外國機構擔任托管方的要求,并將保障規則明確擴展至全權委托交易。
Gary Gensler在文章中強調,根據加密貨幣交易和借貸平臺的一般運作方式,加密交易平臺今后將不再能依托投資顧問的角色而成為合格托管方。要成為新規則下的合格托管人,平臺需要確保所有資產都得到妥善隔離,接受公共會計師的年度審計,并采取其他透明度措施。[2023/3/3 12:40:04]
我認為我們盡可能地從以太坊中重用安全的部分,以保持安全。隨著時間的推移和實戰測試,ZK將是非常強大的系統。
大家好,我的名字是Ye。我在Scroll工作。我先簡單介紹一下Scroll。Scroll是以太坊的擴容解決方案。它與以太坊兼容度非常高,用戶可以與應用程序交互,開發者可以部署智能合約,只需將代碼復制粘貼并遷移到Scroll上即可。它比以太坊更快,更便宜,同時具有更高的吞吐量和更嚴格的安全性。我們會去中心化我們的證明系統,防止證明系統的單點故障。這是我們邁向去中心化的第一步,因為ZKRollup的在未來相當長的一段時間內會是去中心化的。即使你對數學非常信任,對密碼學非常信任,但你仍然可能遇到這種單點故障,因為你要依賴于某個證明者。
去中心化的第一步是想要將證明系統去中心化,以使其更加可靠。至于ZK的安全性,我認為其他嘉賓已經介紹了ZK給你帶來了非常強大的公共可驗證性屬性。基本上,任何人都可以進行計算和執行證明,然后任何人都可以驗證這個證明并得到相同的保證。如果你有數百萬個節點,每個人只需要重新執行驗證算法,而不是初始計算,這樣也實現了系統的可擴展性。這就是ZK技術的威力所在,至于它可能存在的問題,如果我們的系統完全依賴數學的運算,如果存在一些錯誤,比如缺失一些約束條件,那么可能會很危險。這就是為什么我們采取多種方法來提高我們的安全性。例如,我們采用社區驅動的方法進行開發。從第一天開始,我們就開源了所有開發過程,并由以太坊和我們自己的社區進行了審核,這是一個更高的標準。這就是我們最小化信任和提高安全性的方法。
我叫AlexGluchowski,是MatterLabs的CEO,我們是zkSync協議背后的公司。我們正在構建zkSyncEraNetwork,這是一個與ZKEVM兼容的ZKRollup。我們采取了與EVM等效的Rollup略有不同的方法。我們認為應該采取務實的方法,從兼容的東西開始,這樣開發者可以輕松接入和移植現有應用程序,并從現有工具中啟動。但是,最終的ZK環境是不同的。如果你將自己綁定到原有技術上,將很難實現ZK系統的最大容量。這很重要,因為我們的使命是將區塊鏈擴展到真實世界的范圍,將下一個十億用戶引入區塊鏈,創造新的價值互聯網。如果你考慮到數百萬甚至數十億用戶,你真的想要降低成本,因為隨著所有這些數十億個交易的累加,成本將變得非常重要。
這如何影響我們如何增強安全性?這是一個非常有趣的問題。當你詢問如何提高安全性或任何其他因素時,你想要比較替代方案,對吧?我的基準是什么?使用ZK的替代方案是什么?替代方案可能是在ZKRollup之前可用的其他擴展技術,例如OptimisticRollup、側鏈、Plasma等。這些方案引入了新的信任假設。如果我們的目標是將規模擴大到10億用戶,而我們的使命不僅是擴大吞吐量,而是擴大價值規模,同時保持自我主權、自我保管、無需許可的性質以及完全無需信任的系統特性,那只有使用ZK可以實現。
美SEC主席重申其對現貨比特幣ETF的擔憂:金色財經報道,在回答參議院銀行委員會最高共和黨人Pat Toomey的問題時,美國證券交易委員會(SEC)主席Gary Gensler重申了他對比特幣缺乏監管,以及欺詐和操縱的可能性的擔憂。他表示,即使非美國監管機構批準了現貨比特幣ETF,SEC的決定也不會受到影響。Gensler在上周發送給國會的評論中說:“今天比特幣本身的市場基本上不受監管,缺乏監管和監督導致人們擔心欺詐和操縱的可能性。我們的員工尋求從他人的經驗中學習,在其他司法管轄區的行動對美國監管機構沒有約束力,我們的員工將繼續遵循聯邦證券法規定的適用法律標準和程序。”[2021/12/4 12:50:21]
Q2:我們在比較不同類型的zkEVM時,通常關注的是他們的可擴展性和兼容性,,如果我們在此增加一個安全的維度,zkSyncEra、Scroll和Taiko會如何比較不同的機制設計可能帶來的不同的潛在安全風險?
正如前面的發言者所提到的,你需要隱含地信任這些復雜系統的許多組件來保證安全性,例如,你信任編譯器產生的代碼,你認為它正在執行你放在這個編譯器中的代碼邏輯。為什么你會相信它是Solidity?它沒有形式化定義,所以你只是信任編譯器在各個版本中的行為是正確的。我們認為這是必須要解決的問題。這就是為什么我們開始建立基于LLVM框架的編譯器,它支持Solidity作為前端之一,并依賴于這個成熟的框架,有很多工具可用于代碼的靜態分析、安全檢查等,而后端是我們的zkVM虛擬機。我們還可以支持其他更成熟的語言,這些語言實際上已經被用于其他安全環境,如Rust,或者是一些更新穎的語言,這些語言是增加了安全考量的,如Move,它能避免一些安全問題,比如雙花之類的。總而言之,盡管比較復雜,我們必須從不同的層面去解決。
我想講一些不同的方法及其背景。我們正在建立EVMBytecode級別的兼容方案。基本上我們可以與EVMBytecode進行兼容。這與zkSync的構建方式不同,我們也相信編譯器不應該被信任。這就是為什么我們相信Solidity編譯器,雖然它不成熟,但在區塊鏈的背景下,Solidity已經是相對成熟的了。之前沒有人使用Solidity和LLVM。我們相信那是一個更好的標準,因為已經經過了實踐的檢驗,很多智能合約DeFi已經經過了Solidity開發者的實踐考驗。這就是為什么我們相信遵守這種編譯器的標準,遵守Solidity編譯器的標準,遵守EVM黃皮書的定義是保證系統安全性的最好方法。因為從電路方面來說,我們不需要考慮編譯器方面的問題,我們不需要建立我們自己的編譯器,我們只是采用現有的基礎設施,證明它的執行是正確的。
我們情愿把系統構建的復雜性只放在解決zkEVM在Bytecode層面的兼容性,而不是同時構建一個編譯器以及支持LLVM的后端,我們不希望在構建zkEVM之外還需要構建編譯器。另一個考慮因素是,我們肯定關心開發者的體驗。Layer?2是為擴展EVM而建立的,目前的EVM已經因為大量Solidity代碼和應用變得擁擠不堪。我們希望開發者能夠無縫遷移到我們的系統,同時確保安全性。這也是為什么我們目前不打算在EVM當中增加更多花俏的功能。
遵循這個標準可以使Ethereum真正可擴展,同時保證在此基礎上的系統最佳性能和及時交付。同時,我們也在以太坊官方推動各種開源實現,包括Type?1和Type?2的zkEVM,包括隱私和擴容等。我們從第一天開始就采用開源方式構建。我們非常關注EthereumzkEVM的開發和演進,我們領導了其中一半的開發,我們是團隊的一部分,因此我們確切地知道整個系統需要多長時間才能真正準備好。這就是為什么我們采取這種方法來準備產品和深入社區,然后考慮如何推動Ethereum的終極目標。
公告 | 塞浦路斯證監會:區塊鏈公司Lykke自愿放棄其CySEC牌照:塞浦路斯證券交易委員會(CySEC)發布公告宣布區塊鏈公司LykkeLykke Cyprus Ltd放棄其塞浦路斯投資公司(CIF)許可證。(FX168)[2019/11/26]
這是兩個很好的答案,Taiko和Scroll的方案更靠近,我們也沒有引入新的編譯器。我喜歡Alex所說的,就是在區塊鏈背景下安全的替代方案是什么?我認為我們都會同意,以太坊可能是黃金標準。我們按照黃皮書實施,重復使用以太坊而不是調整它的組件,即使是在EVM以外的以太坊組件、數據存儲結構等方面,也是經過實踐驗證的。
當然,這里始終有權衡。Alex談到了十億用戶和超低成本以及保持價值的擴展性。我們可能會在證明成本上做出更高的犧牲,但我們堅持使用經過實戰考驗的EVM標準和以太坊標準。而對YeZhang所說的關于實用性和快速進入市場的一些考慮,我們也會做出了權衡。
在ZK的背景下,有一些方向不容易實現,例如一些哈希函數或一些數據存儲結構。我們不去改變這些東西,因為我們不確定它們的效果會如何,比如把MerkelPatriciaTree改成了VerkleTree,即使這在以太坊的路線圖上本身就存在。我們對經過試驗和實戰考驗的組件更加自信,系統的復雜性不在于試圖重新發明以太坊的EVM和其他組件,而是在于如果將ZK完全地部署兼容EVM。這將需要更長的時間來完成,我們需要比Scroll更長的時間來做一些權衡以實現可用性。在安全性上,我們的實現路徑會更令人放心。
以太坊經過實戰考驗,讓我們重用所有這些系統,減少新的假設。但還有幾個安全問題,少有人真正考慮過,而我們的目標是解決它們。第一個問題,你必須信任編譯器。還有另一個問題,就是如果你想實現完全的EVM兼容性,比如Type?1的EVM兼容性,那么你就需要手動在電路中重新部署EVM的任何Opcode,通過找出作為電路的某個表達式,它在某個確定域上的形式會是怎樣的,這是一個手動的過程,而且非常復雜,很容易出錯。我們自己就做過這樣的事情,而且搞砸了電路,因此我們知道這是糟糕的。
為了不重復這些問題,也不讓任何人犯這些錯誤,我們正在致力于通過允許人們通過使用已經經過實戰測試的EVM實現編譯電路,來消除這種安全假設,而不是通過手動重新實現所有的OpCode。我們的目標是通過使用LLVM編譯器來編譯它,而不是手動重新實現,由此有了最小的安全假設。這是另一個需要消除的安全假設,我們將針對zkEVM進行解決。
你可以在類似RiscV的系統上運行geth來解決Mikhail所說的問題。我們實際上剛剛添加了Go的支持。我們構建并設計了RiscZeroVM,我們選擇RiscV指令集的部分原因是因為它有形式化定義,而且非常輕巧。RiscV電路的安全范圍有所規范,并且已經進行了大量工作來將形式化驗證方法納入證明某個實現過程符合RiscV規范。我們專注于保證這個簡單系統中的密碼學正確,然后在其上運行EVM確實有效。當然,這種方法會有性能損失。比如進行ERC?20?Token?轉移需要大約1分鐘。
Q3:正如Alex剛剛提到的,對于系統的任何部分,升級或選擇另一種解決方案都是可能的。那么,如何確保系統的可升級性,并且以非常安全的方式實現?
是的,我認為在ZK中,可升級性是一個非常重要的話題。從我們的角度來看,在沒有部署網絡和背后有大量經濟價值的情況下,我們花費了大量時間確保我們正在構建正確的技術堆棧抽象。我們可以切換哈希函數,切換有限域和證明系統,或者添加新的技術,例如PLONK,到技術堆棧中。這也是我們選擇RiscV作為主要支持的「指令集」的另一個原因,因為它本身就是一個非常清晰的抽象系統。因此,您可以隨意更換任何東西。LLVM顯然具有非常類似的特征。
聲音 | 律師Jake Chervinsky:SEC發布的拒絕指令像是對BTC市場結構的譴責:美國政府執法辯護律師Jake Chervinsky在推特上發文表示,SEC拒絕了Bitwise的比特幣ETF提議。盡管結果并不出人意料,但SEC超出了職責范圍,發布了一份長達112頁且極其詳細的指令,讀起來像是對比特幣市場結構的一份譴責。[2019/10/10]
是的,升級是一個很大的話題,我們可以將其看作一個去信任化系統的問題。系統的部署實現可能會出現漏洞,用戶就會面臨風險,或者要信任構建該系統的人或一些參與者,他們可能會在趁虛而入等等。升級是一種在某些層面上找到安全和去信任化的平衡。當你對系統的信任度提高時,可以去除其中一些受信任的參與者。在這里,我們應該對一些受信任的參與者持有非常警惕的態度,因為我們做這些事情的目的是為了消除這些參與者。對于這些非常復雜的系統,最好在早期就可以介入。我認為,Alex和MatterLabs團隊已經在這方面提供了一些很好的參考案例。他們有一個很好的安全委員會和時間延遲的機制。
那么升級的正確節奏是什么?這是一個非常重要的問題,我不知道更多的用戶是否會對完全去信任的系統感到安心,因為這樣的系統往往非常復雜,引入了許多新的東西,或者是信任這些善意的參與者。這是一個非常關乎人性的問題,當然也有一些技術解決方案,比如多重證明可能是一個不錯的選擇。我認為,我們有可能從類似于Optimism的組件中重用一些設計。如果我們的有效性證明有問題,那么重用OptimisticRollups的實現將更容易制定欺詐證明的系統,以使其適用于以太坊等效環境。你可以混合匹配欺詐證明和有效性證明,如果有任何異議,那么升級性或某種類型的治理方案可以覆蓋它。
讓我來說一下。我剛花了一些時間思考這個問題。我擔心我沒有理解問題,因為我想說哪里有升級問題?只需重建電路即可。那么,究竟是哪些升級問題呢?
從我們的角度來看,首先,肯定不能僅僅編譯新電路,因為它會影響您的證明密鑰、驗證密鑰和許多鏈上智能合約,所以肯定不能經常這樣做。我們在考慮多重證明的方法,添加雙重驗證等機制。有多種方法可以解決這個問題,除了像Matt提到的,我們不考慮直接與Optimistic的欺詐證明相結合,因為這會讓最終確認時間變得更長。我們正在探索一些其他方法,很快就會在以太坊研究中提出一些提案,關于如何增加一些額外的保證。
例如,JustinDrake提出了使用IntelSGX作為一些額外保證的方法,嚴格地增加了安全保證。此外,還可能存在一些其他的治理方式,我們認為安全委員會和時間延遲是不錯的方式。我們也在思考這個問題。這是一個權衡,我相信大多數Rollups仍需要更長時間才能真正擺脫這種可升級性問題,因為升級系統是一件長期的事。我們正在認真關注和研究這個問題。
我可以給一些背景信息,為什么可升級性是一個重要的問題。打個比方,對于任何你電腦桌面上運行的某個程序,你只需下載新版本并安裝,對吧?升級有什么問題?問題在于,在區塊鏈的背景下,我們試圖構建Trustless的系統,但在某些情況下,升級的需求可能會破壞這種信任。對于Layer?1?,沒有這個問題。如果要升級以太坊,只需下載新的客戶端,安裝它,然后所有人協調分叉。
然后我們安排一次分叉,定個日期,在某個區塊號進行分叉,那么任何不喜歡此次升級的人都可以留在舊版本的舊分支上。這種可升級性路徑是完全Trustless的。它不會讓您依賴任何誠實的大多數或任何可信的參與者。
SEC已展開“數十項”與加密貨幣有關的調查:美國證券交易委員會(SEC)執法部門聯席主管Stephanie Avakian周四在華盛頓表示,SEC已進行了數十項與加密貨幣和ICO有關的調查。“我們在加密貨幣領域的工作非常積極,未來希望能展開更多此類的調查。”Avakian說。據統計,自2017年9月份以來,SEC已經展開超過六次與加密貨幣相關的執法行動。[2018/3/17]
問題出現在Layer?2的背景下。如果我們構建的是Rollup,Rollup依賴于Layer?1的智能合約。這個智能合約可能是不可變的,其中某些特定電路的某些固定功能和驗證密鑰已經內置,那么問題就在于如果存在Bug,那么你將束手無策。那如果面臨bug,或者如果想修復它該怎么做?
我們在zkSync1.0?披露了過一個漏洞,具有可升級性的時間鎖定,因此團隊可以提出新版本的升級提案。然后,如果用戶不喜歡這個新的版本,所有用戶都有幾周的時間將資產從Layer?1退出。我們有Trustless的機制來實現退出。但因為被迫進入了這個時間鎖定,我們無法修復它,所以我們想出了一個折衷方案,并引入了我們稱之為SecurityCouncil的方案,這是一個獨立的委員會。我們邀請了一些來自不同社區、不同項目的以太坊社區的15名知名成員加入。
團隊不控制合約,只能提出升級方案,SecurityCouncil來做出決定,可以決定加速升級。但這仍然不是最佳選擇,因為理論上還是有一組人可以在此期間立即安裝一個惡意版本。也許他們不想這樣做,但也許他們會被某些參與者強迫,我們無法排除這種可能。因此,如果我們希望充分利用零知識證明,并且僅依賴數學和開源代碼而不是任何驗證程序的受信任方等,最終實現完全Trustless的機制。
我們目前在思考一個更好的方案,由團隊提出時間鎖定的升級提案,SecurityCouncil可以介入建議凍結智能合約,然后在Layer?1上進行軟分叉。因此,這需要與Layer?1協調,這需要Layer?2協議已經有一定規模足夠重要,以使社區實際上進行分叉,安裝新版本等。因為Layer?1無法為每個小協議執行此操作,它必須是像以太坊上的系統級事物那樣重要的協議。
這是我們目前擁有的增強無需信任的可升級方案的最佳機制,以便保護我們免受第一層嚴重漏洞的影響。但這還是會引入一些類似時效性的問題,如果出現這樣的問題,協議將暫停一段時間,想象一下我們已經從Visa和PayPal切換到使用這種大型Rollups進行區塊鏈支付,突然之間用戶資產被凍結,沒有人可以進行支付,需要我們協調升級幾天,這是巨大的問題。我們當前沒有更好的解決方案,也沒有看到更好的解決方案。如果您有想法,請聯系我們,讓我們進一步探討。
Q4:有一個關鍵詞被多次提到,那就是「無需信任-Trustless」。正如我們所知,當前系統中最重要的組成部分仍然是中心化的。從中心化到去中心化的演變,我們將面臨哪些安全挑戰?
我認為這將增強安全性。這將為我們提供多一重因素的保護。首先,ZKRollup必須為每個塊提供有效性證明,但它可以存在問題,例如,也許我們忘記了某些約束條件。在此之上,我們還需要通過權益證明共識機制來提供簽名,這是額外的一層保護。因為為了破壞系統,惡意攻擊者必須首先找到漏洞,然后必須在伙同這個這些驗證者中的大多數來一起作惡。
這個可能性是比較小的,因為攻擊者要么已經是這個區塊鏈上的控制方,要么必須購買大量?Token,這給了我們足夠的時間,可能其他人也會發現相同的漏洞,并提交Immunefi或其他地方,團隊可以進行修復。或者,也許我們將同時運行一些蜜罐,這是完全開放的,任何人都可以破解并從中獲得獎勵。所以,總體來說,這為整個系統提供了兩個因素的保護。而且,我們可以在此基礎上添加更多因素。
到目前為止,我不會相信一個號稱完全無需信任的ZKRollup是安全的。對我來說,這將是極具風險的。我不會在這樣的ZKRollup上放置比我可承受失去的金額更大金額的資產。
我最喜歡舉的例子是波音737Max事件。這個事故的原因不是因為他們試圖轉移公眾注意力的軟件問題,而是因為他們依賴于飛機上的單個傳感器,這是完全不負責任的行為。航空業已經有很長的發展歷史,過程中有很多技術迭代,不能依賴單個系統是業界的共識。但因為他們在生產波音737max的過程中因為各種原因犧牲了安全的系統設計,最終導致了事故。因此,我們始終希望至少有兩個完全獨立的安全因子,來降低故障的概率。
我們秉持著長期主義的理念來思考ZKRollup的去中心化路線圖。先去中心Sequencer還是Prover,甚至如何定義ZKRollup的去中心化,我們都有自己的想法。我認為最終我們將同時去中心化Sequencer和Prover。但是我們有一些略微不同的優先排序,我們希望先將Prover去中心化。安全性絕對是重要原因之一。如果先將Sequencer去中心化,那在zkEVM變得非常成熟穩健之前,如果有人真的發現了一些漏洞并提交了虛假證明,它有一定概率會被Sequencer接受并出塊,對系統造成破壞。
因此,我們會先保留中心化的Sequencer。因為zkEVM是有可能出現漏洞的,因為它是非常復雜的系統。因此,我們希望至少在早期階段,我們控制中心化的排序,至少能保證正確有效的出塊。
另一個先去中心化Prover的原因是,有許多硬件公司正在尋找如何使zkEVM更高效的方案。如果我們承諾去中心化Prover的這種方案,他們會參與優化系統的代碼。我們都知道,ZKASIC可能需要一年以上才能問世,如果我們首先進行Prover的去中心化,他們將更有動力為我們的系統進行構建,使系統變得更加高效。Sequencer的去中心化是我們后面計劃要做的事情。
這里還要考慮一個更復雜的因素,如果將Prover和Sequencer分配到兩個不同的群體,則需要非常小心地設計激勵方案,例如分配到這兩方的獎勵的比例,如何能夠做到足夠合理且平衡兩方的激勵。
除此之外,我們還有一些其他的安全手段。例如,我們正在構建的方式是開源的,我們正在進行一些內部安全審計,而不僅僅是外部審計。我們擁有一個非常強大的安全團隊。我們提供各種資金資助來鼓勵更多人參與安全方案的構建,比如形式化驗證等工具。我們團隊還曾經在ConsensysZKEVM和Aztec的電路上找到過漏洞。我們正在嘗試改善整個生態系統的安全性。
Taiko可能會更早地面臨這種挑戰。盡管大家都有一定程度的去中心化,但實際上我們也在計劃和以太坊保持一樣的方式,包括EVM、Gas時間表和狀態樹等,同時也考慮到Ethos和其他去中心化SequencerProposer,以及Prover。在幾個月前的第一個測試網中,約有2000獨立個人或地址無需許可的Propose一個區塊。盡管可能存在一些惡意區塊,但這也是去中心化的承諾。我認為這不是漸進式的去中心化,或許是漸進式的效率提升,因為你必須放棄一些效率。Proposer可能會建立相同的區塊,導致有些交易冗余,同時也付出了一些向Layer?1支付了ETH的有價值的區塊空間。有些人會得到退款,有的會直接跳過。
對我們來說,我們在下一個即將到來的測試網中立即實現去中心化不太現實。Permissionlessprovers在測試網環境中比較難,因為有女巫攻擊,人們會讓proposedblock中充滿垃圾信息,而Prover必須花費真正的計算資源證明它們,但卻沒有實際收入。
因此,我們將使用PermissionedProposer,讓任何去中心化的Prover提交區塊,并得到相應的獎勵,這個很重要。另外,如果系統出現故障,一個Prover提交了有效性證明,同時也出現了一個不一致的證明被提交,那么智能合約就可以知道并且暫停。它會識別到為什么有兩個正確的有效性證明在不同的塊上?出現這種情況立即暫停,也就引發了時間延遲。如Alex所說,我們當前無法對完全無需許可、無需信任的實施感到放心,我們要努力實現平衡。
我們從一開始就考慮了這個問題。一些人最初的解決方案是自上而下的方法,例如決定創建Rollup,然后考慮去中心化的次序問題,比如先去中心化Sequencer。然后去中心化Prover,一環接一環。相比之下,我們采用了一種不同的方法,我們自下而上來解決問題。
我們首先建立了一個去中心化的Prover網絡,來無需許可地匯集算力。然后我們試圖在Prover網絡的基礎上添加Sequencer,因為Sequencer必須和Prover網絡緊密結合,特別是與成熟的去中心化Prover網絡。這里涉及到需要支付額外的證明費用,通信的復雜性等問題,所以Sequencer必須緊密結合Prover網絡,以確保其有效性。我們所開發的系統可以作為ZKRollup的底層基建。
為了確保所有的證明生成都有一個激勵機制來加速完成,并提高質量和保持安全性,我們引入了證明市場來管理所有證明的生成和排序。同時,我們保持了這個系統的去中心化和無需許可性。這種方法是從底層解決問題,而不是從頂層解決問題。
我認為我們采取的方法,與其他網絡有很大的不同。類似于Nil團隊正在建立的證明市場,但是我們采用了一種更無需信任的方式。我們當前沒有關注Sequencing的問題,而是關注在證明系統上,讓它能夠更加強健地進行各種運算。這種方法簡化了很多復雜性,有利于盡快將最多的計算量投入市場。
我們希望降低開發人員的使用門檻,讓他們在以太坊或任何系統上建立任何他們想要的應用程序,并擁有這個去中心化的基礎計算層,用零知識證明來保證計算的正確性。
Q?5.觀眾:在Algorand中,出現了一種名為StatePainting的技術。它的基本思想是從一個共識區塊鏈中提取狀態,并將其「Paint」到另一個共識區塊鏈上。這種技術更像是一種跨鏈方案,同時運用到了零知識證明的方案。那在Layer?2中,系統共識其實依賴于Layer?1的共識,這樣是否會降低Layer?2的安全性?
在ZKRollups的實施中,Layer?1和Layer?2的之間的資產流動是完全無需信任的,Layer?2完全承接了Layer?1的安全性。關于資產在Layer?2之間的轉移,如果你是通過以太坊Layer?1的原生橋接,那么它也是完全無信任的。但是,如果沒有通過Layer?1?,其安全性取決于通過哪種跨鏈方式實現橋接。
在zkSync中,我們正在實現一種被稱為Hyperchain的方案。具體而言,我們將建立多個由相同電路驅動的鏈,這些鏈仍然通過以太坊上進行橋接。Hyperchain將提供免費的、完全無信任的、非常便宜的交易,可以從任何鏈到任何其他鏈。當我們談論將數億甚至數十億的用戶引入區塊鏈時,這一點非常重要。
在未來,我們不可能讓數以萬億的交易都運行在一個單一的系統或共識上。它們將不得不在許多不同的共識系統上運行,比如分片、獨立的應用鏈等。但同時我們需要保證這些不同鏈之間的可連接和通信的低成本。
打個比方,就像我們今天使用不同系統的電子郵件,用戶可以輕松地完成不同電子郵件系統之間的通信。這就是我們希望通過Hyperchain實現的東西。除了完美地承接Layer?1的安全性,高效且無需信任的跨鏈通信,Hyperchain還可以通過遞歸證明來實現使用的超低成本。
原文鏈接
ForesightNews消息,為非EVM兼容鏈提供EVM功能的L2網絡協議Milkomeda首席執行官SebastienGuillemot表示,將很快推出一項功能.
1900/1/1 0:00:003月29日消息,火必發布了一篇名為《心中有火,路在遠方!》的文章回應了近期出現的一些刻意抹黑火必的不實言論.
1900/1/1 0:00:00公眾呺:Web3團子 2023年3月29日的ChainLink價格分析顯示市場在上漲之后,顯示出增長的勢頭,表明LINK市場的積極性。ChainLink的價格在過去幾個小時內一直看漲.
1900/1/1 0:00:00艾達幣是市值第八的加密貨幣,成立于2015年,其創始人查爾斯·霍斯金森CharlesHoskinson曾是以太坊聯合創辦人之一.
1900/1/1 0:00:00這是一般性公告,此處提及的產品和服務可能不適用於您所在的地區。幣安很高興推出新的活動, 首次使用 區間收益寶的用戶可以獲得最高1,000USDT等值代幣券!活動:申購首個區間收益寶產品,獲得最高.
1900/1/1 0:00:00隨著L2在所有指標中的日益增長,是否仍然需要替代L1?今天,讓我們討論Solana的未來,以及為什么我認為它是為數不多的準備卷土重來的L1之一眾所周知.
1900/1/1 0:00:00