人們對零知識科技過於信任


Web3 如此重視零知識技術的基線概念,以至於現在它已經成為了一個基座,成為每項開發的焦點。但其可擴展性、安全性和隱私優勢並不使其預設值得信賴。

人們沒有意識到,在Web3 環境中,零知識(zk) 技術仍然相當新,而且並非沒有缺陷。開發人員正在積極解決zk tech 目前的問題,但該領域的創新性質意味著他們的概念化速度往往比建構速度快。

在沒有充分理解zk 技術問題的情況下繼續信任它,對於可持續的Web3 未來來說是危險的。在盲目依賴這項技術之前,我們需要徹底檢查它及其潛在的缺點。

Web3 中不應該存在英雄——任何技術都不應該受到崇拜。

在理想的未來,zk技術將在所有鏈上活動中發揮更全面的作用。然而,該技術目前幾乎作為附加功能或配件存在,而不是能夠從根本上支援鏈上執行的東西。這是因為正在開發的領域和產品仍然相對較新。

但zk 技術領域已經發展到了使其自身面臨過度複雜化風險的地步。 zk 建構者和Web3 使用者之間的知識差距越來越大。

zk tech 開發面臨的其他問題包括在不影響專案完整性的情況下優化上市時間。 Zk 證明和電路目前缺乏可訪問性,因為開發人員需要學習特定領域語言(DSL) 才能進一步證明這些計算。

這是一個知識密集的過程,最好的例子就是Scroll 的pre-alpha 測試網和主網啟動之間幾乎一年半的時間。透過花時間進行正確的實施和程式碼審核,Scroll 的上市時間可能會因為透過一些客製化的Halo2 相關zkDSL 實施的zkEVM 電路程式碼的深入審查過程而受到阻礙。

這是一個問題,因為全球只有少數人擁有DSL 和密碼學的第一手知識。隨著我們讓更多的開發人員使用先進的zk 技術,我們需要確保zk 技術的每個元件都是可獨立驗證的。

然後,還有可配置性的挑戰。每一次必要的升級最終都是對新構建的系統的徹底檢修,而不是開發人員在現有框架上構建的意義上的「升級」。

支援Zk 的專案已經在致力於開發能夠簡化開發人員建置流程的解決方案。這將有助於解決關鍵問題,包括上市時間緩慢、作為獨立方產生證明的成本、電路的可配置性以及學習特定密碼語言的要求。

從我們的觀點部分閱讀更多內容:區塊鏈安全公司是時候聯手了

建立更簡單的方法來盡可能輕鬆地將程式碼編譯成功能齊全的電路對於確保支援zk 的應用程式的可組合性至關重要。編譯器等工具可以快速幫助驗證程式碼的功能。開發人員還可以使用多種編碼語言來開發更有效率的應用程式。

繼續關注可擴展性和安全性會影響該領域正在進行的其他問題的關鍵工作。 ZK 技術的缺陷被忽視只是因為該行業迫切需要可擴展性和安全性,而忽略了成本和複雜性的缺點。

事實是,zk 技術需要讓自己變得簡單。即使開發人員不是密碼學或電路設計專家,他們也應該可以使用該技術。

Zk 基礎架構供應商需要建立工具,讓建置支援zk 的應用程式變得更容易,並簡化開發人員的建置流程。

簡化生產程序並降低與基礎設施相關的成本是解決這些問題的一種方法。另一個可能是為希望進入該領域的開發人員提供更多資源和支持,例如教育計劃和指導機會。

歸根究底,即使有了zk tech,也不要只信任,還要驗證。

這超出了基線交易結算的範圍,它應該適用於我們用來建立或編譯程式碼的工具,並且開發人員和使用者應該更多地認識到這一點,以鼓勵專案之間的誠信。

我們可以透過全面了解zk 空間來避免失望——zk 的未來有望實現未經測試的實現,以無需信任的方式驗證幾乎任何東西。建構者必須明白,其功能遠遠超出了可擴展性和安全性。

Misha Komarov,=nil 創辦人;基金是零知識基礎設施和以太坊可擴展性的領先開發商,例如=nil; 的本機電路編譯器zkLLVM、Proof Market、「Placeholder」以及同名的zkSharding rollup =nil ;。 Misha 是有效的零知識證明(ZKP) 產生基礎設施的領先開發商。他是密碼學和資料庫管理系統(DBMS) 領域的研究人員和開發人員,在零知識技術中開發重要的基礎設施,例如=nil; 的本機電路編譯器zkLLVM、Proof Market 和「Placeholder」。

不要錯過下一個重大新聞– 加入我們的免費每日時事通訊。

資訊來源:由0x資訊編譯自BLOCKWORKS。版權歸作者Misha Komarov所有,未經許可,不得轉載

Total
0
Shares
Related Posts