ZKP 有低成本絕對優勢？以 Aztec 為例進行探討

作者：Kyle Liu，Bing Ventures 投資經理

導語：隨著 ZKP（Zero-Knowledge Proof，零知識證明）技術的不斷發展，人們對於其在成本和性能方面的關係產生了濃厚的興趣。實施和維護零知識證明系統需要大量的計算資源和算法優化。這些計算可能會導致高昂的成本，尤其是在處理大規模數據和複雜計算時。因此，ZKP 的成本優勢並非絕對存在，而是取決於具體的應用場景。

在 Aztec Connect 被迫關閉的新聞背景下，我們認為不得不重新評估 ZKP 技術所聲稱的成本優勢。儘管 ZKP 被標榜為一種能夠提供高度私密性的解決方案，但 Aztec Connect 的暫時失敗至少證明現階段這種技術在成本方面面臨著巨大的挑戰。

如果 ZKP 技術真的具有成本優勢，為什麼 Aztec Connect 在運營中無法實現可持續性呢？更耐人尋味的是，Aztec 還鼓勵社區分叉、部署和操作新版本的 Aztec Connect。這暗示著獨立運行 Aztec Connect 所需的巨大資源。這也進一步加劇了我們對 ZKP 成本效益的懷疑。如果 ZKP 的成本優勢是真實存在的，那麼為什麼社區需要如此大的投入才能使這個項目繼續運行？

因此，我們需要認真審視 ZKP 技術所聲稱的成本優勢。或許 ZKP 的成本優勢只是個被過分誇大的幻影，而實際情況可能更加複雜。在追求成本優勢時，不僅要考慮單個方面的優化，還需要綜合考慮整體系統的性能和成本平衡。例如，降低計算成本可能會增加通信成本，抑或是使用更高效的算法可能需要更複雜的硬體支持。因此，我們在針對特定項目時需要進行全面的成本效益分析，權衡各個方面的優化策略，並找到最佳的平衡點。

ZKP有低成本絕對優勢？以Aztec為例進行探討

被打破的成本神話

首先，這裡需要先定義下 ZKP 的成本結構。目前各種定義方式紛繁複雜，標準不一，至少包括了硬體成本、計算成本、驗證成本、存儲成本等部分。但從筆者的角度來看，遵循 ZKP 的原生原則，我們在這篇文章中對於成本結構的定義專注於通信成本和計算成本這兩大核心成本。通信成本是指證明者和驗證者之間交換信息的成本，而計算成本是指證明者和驗證者執行計算的成本。這兩大成本在 ZKP 中扮演著核心競爭力的角色，因為它們直接影響著證明和驗證的效率和安全性。如果通信成本和計算成本太高，那麼證明和驗證的效率就會降低，從而影響到整個系統的性能。

現在回到 Aztec 的隱私架構中，我們要認識到 Aztec 的 Rollup 方式與其他 ZK 系 Layer 2 解決方案存在顯著差異。相較於將多筆交易聚合打包生成證明，Aztec 需要將每筆交易分別生成證明，再進行打包。這種方式導致了每筆交易都需要生成獨立的證明，從而增加了計算成本和 gas 費用，使 Aztec 的 gas 費用高於其他 Rollup 方案。

另外，只有用戶在本地生成的隱私證明才是真正不洩露信息的零知識證明，而在其之上的內部 Rollup 和外部 Rollup 證明並不一定是零知識的。這使得 ZKP 的隱私優勢變得模糊，進一步質疑了 ZKP 成本優勢的可行性。Aztec Connect 的網關方式本身就比較臃腫，將交易聚合到 Layer 1，並通過 Aztec Bridge Contract 實現資金聚合和 Defi 功能調用。然而，這種網關方式在費用分攤方面可能只適用於特定類型的交易，並且對項目部署的靈活性產生了限制。

ZKP有低成本絕對優勢？以Aztec為例進行探討

難以衡量的成本效益

成本與性能之間的關係是複雜而動態的。通常情況下，較低的成本可以提高性能，因為它可以減少計算和通信的開銷，從而提高整個系統的效率。然而，過於追求低成本會導致性能下降，因為犧牲了一定的計算和通信資源。因此，ZKP 系統需要在成本與性能之間找到一個合適的平衡點，以滿足不同應用領域的需求。

零知識證明涉及通過消息傳遞在不同的參與者之間驗證某個主張的正確性，因此通信成本是一個關鍵因素。為了降低通信成本，可以考慮使用高效的通信協議和壓縮算法，以減少消息的大小和傳輸時間。特別是對於 Aztec 這樣的 Layer2 項目來說，跨鏈通信需要在不同的區塊鏈網絡之間傳遞消息和數據。傳遞消息涉及到網絡通信和交互，這會導致一定的通信成本。尤其是對於大規模的全鏈 DApp 構建，消息的傳遞量會更大，增加了通信成本的壓力。

零知識證明需要進行大量的計算來生成證明和驗證證明的正確性。為了降低計算成本，可以採用優化算法和數據結構，減少不必要的計算步驟和存儲開銷。此外，還可以利用並行計算和分佈式計算的技術，將計算任務分散到多個節點上，以提高計算效率。ZKP 在目標鏈上的驗證相對便宜，但在源鏈上生成證明的過程就需要較大的計算成本。特別是在使用傳統方法進行驗證時，驗證成本較高，用戶無法承受。

ZKP有低成本絕對優勢？以Aztec為例進行探討

更有效的成本控制策略

筆者認為，隨著技術的發展，通信成本可能不再是主要的限制因素。現代通信技術的不斷進步意味著通信成本的成規模地下降趨勢。因此，我們需要將更多的關注點放在計算成本的優化上，可能會更有意義。然而，隨著此類協議的應用範圍擴大，通信成本可能仍然是一個重要的考慮因素，需要繼續關注其特定的場景進行靈活使用。

與此同時，我們也要明白，優化計算成本的方法不僅僅局限於算法優化。除了改進協議的算法，還可以考慮通過專用硬體、分佈式計算或深度學習等領域的技術創新來降低計算成本。這些方法需要更多的長期研究和實證，但絕對會帶來突破性的性能提升和成本優勢。我們認為以下方向在未來的 ZKP 競爭中更值得關注：

高性能和低計算成本：一個具有高性能和低計算成本的 ZKP 項目將是備受關注的。這意味著該項目能夠在保持安全性和私密性的同時，以高效的方式生成和驗證證明。這樣的項目將具備廣泛的應用潛力，能夠滿足大規模的實際需求。當前存在多種不同的 ZKP 證明系統，每種系統都有其獨特的優勢和限制。我們更看好致力於改進和創新證明系統的項目，提高效率、減少計算成本，並增強安全性。開發者需要探索更高效的零知識證明構造和更優化的零知識證明驗證算法，以實現更快速、更可靠的證明生成和驗證過程。

一個成功的 ZKP 項目應當具備在真實世界中可部署的特性。這意味著它需要考慮到現實環境中的限制，並提供實用的解決方案。例如，與現有基礎設施和系統的兼容性、易於集成和使用性等方面的考慮都是重要的。利用專用硬體來加速 ZKP 計算是一個重要的研究方向。未來的研究可以關注硬體加速技術的創新，如使用 FPGA（現場可編程門陣列）或 ASIC（應用特定集成電路）等定制化硬體。通過借助硬體加速，可以提高 ZKP 系統的性能和效率，為大規模應用和實時場景提供更好的支持。

ZKP有低成本絕對優勢？以Aztec為例進行探討

安全問題的解決：在 ZKP 系統中，安全性是至關重要的。ZKP 系統中的安全問題是最大的隱性成本，如攻擊和漏洞的防禦、參數設置的安全性和隨機性的保證等。此類項目只有通過不斷提升 ZKP 系統的安全性，才可以確保其在實際應用中的可靠性和可信度，為用戶提供更高級別的保護和隱私保障，這將貫穿整個成本和性能的設計過程。

綜上所述，一個有前景的 ZKP 項目應當具備高性能和低計算成本、面向實際應用、安全可信、真實世界可部署和全過程安全等特點。我們可以預見 ZKP 技術的不斷發展將為隱私保護和驗證性能提供更廣闊的應用前景。我們在評估 ZKP 項目的成本效益時也需要考慮多個因素，包括計算資源、安全性要求、性能需求以及實施和維護的複雜性。在某些情況下，ZKP 可能會帶來顯著的隱私保護和安全性優勢，從而抵消了成本的增加。然而，在其他情況下，成本可能超過了所能提供的實際價值。