為什麼說人們對零知識技術過於信任？

作者：Misha Komarov，Blockworks;編譯：松雪，金色財經

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ZK基礎設施供應商需要創建工具，使構建支援ZK的應用程式變得更容易，並簡化開發人員的構建過程。

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

歸根結底，**即使有了ZK技術，也不要僅僅信任，還要驗證。 **

這超出了基線交易結算的範圍，它應該適用於我們用來構建或編譯代碼的工具，並且開發人員和用戶應該更多地認識到這一點，以鼓勵專案之間的完整性。

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