ZKP 的成本優(yōu)勢并非絕對存在，而是取決于具體的應用場景。
撰文：Kyle Liu，Bing Ventures 投資經(jīng)理
導語：隨著 ZKP（Zero-Knowledge Proof，零知識證明）技術的不斷發(fā)展，人們對于其在成本和性能方面的關系產(chǎn)生了濃厚的興趣。實施和維護零知識證明系統(tǒng)需要大量的計算資源和算法優(yōu)化。這些計算可能會導致高昂的成本，尤其是在處理大規(guī)模數(shù)據(jù)和復雜計算時。因此，ZKP 的成本優(yōu)勢并非絕對存在，而是取決于具體的應用場景。
在 Aztec Connect 被迫關閉的新聞背景下，我們認為不得不重新評估 ZKP 技術所聲稱的成本優(yōu)勢。盡管 ZKP 被標榜為一種能夠提供高度私密性的解決方案，但 Aztec Connect 的暫時失敗至少證明現(xiàn)階段這種技術在成本方面面臨著巨大的挑戰(zhàn)。
如果 ZKP 技術真的具有成本優(yōu)勢，為什么 Aztec Connect 在運營中無法實現(xiàn)可持續(xù)性呢？更耐人尋味的是，Aztec 還鼓勵社區(qū)分叉、部署和操作新版本的 Aztec Connect。這暗示著獨立運行 Aztec Connect 所需的巨大資源。這也進一步加劇了我們對 ZKP 成本效益的懷疑。如果 ZKP 的成本優(yōu)勢是真實存在的，那么為什么社區(qū)需要如此大的投入才能使這個項目繼續(xù)運行？
因此，我們需要認真審視 ZKP 技術所聲稱的成本優(yōu)勢?；蛟S ZKP 的成本優(yōu)勢只是一個被過分夸大的幻象，而實際情況可能更加復雜。在追求成本優(yōu)勢時，不僅要考慮單個方面的優(yōu)化，還需要綜合考慮整體系統(tǒng)的性能和成本平衡。例如，降低計算成本可能會增加通信成本，抑或是使用更高效的算法可能需要更復雜的硬件支持。因此，我們在針對特定項目時需要進行全面的成本效益分析，權衡各個方面的優(yōu)化策略，并找到最佳的平衡點。
被打破的成本神話
首先，這里需要先定義下 ZKP 的成本結構。目前各種定義方式紛繁復雜，標準不一，至少包括了硬件成本、計算成本、驗證成本、存儲成本等部分。但從筆者的角度來看，遵循 ZKP 的原生原則，我們在這篇文章中對于成本結構的定義專注于通信成本和計算成本這兩大核心成本。通信成本是指證明者和驗證者之間交換信息的成本，而計算成本是指證明者和驗證者執(zhí)行計算的成本。這兩大成本在 ZKP 中扮演著核心競爭力的角色，因為它們直接影響著證明和驗證的效率和安全性。如果通信成本和計算成本太高，那么證明和驗證的效率就會降低，從而影響到整個系統(tǒng)的性能。
現(xiàn)在回到 Aztec 的隱私架構中，我們要認識到 Aztec 的 Rollup 方式與其他 ZK 系 Layer 2 解決方案存在顯著差異。相較于將多筆交易聚合打包生成證明，Aztec 需要將每筆交易分別生成證明，再進行打包。這種方式導致了每筆交易都需要生成獨立的證明，從而增加了計算成本和 gas 費用，使 Aztec 的 gas 費用高于其他 Rollup 方案。
另外，只有用戶在本地生成的隱私證明才是真正不泄露信息的零知識證明，而在其之上的內部 Rollup 和外部 Rollup 證明并不一定是零知識的。這使得 ZKP 的隱私優(yōu)勢變得模糊，進一步質疑了 ZKP 成本優(yōu)勢的可行性。Aztec Connect 的網(wǎng)關方式本身就比較臃腫，將交易聚合到 Layer 1，并通過 Aztec Bridge Contract 實現(xiàn)資金聚合和 Defi 功能調用。然而，這種網(wǎng)關方式在費用分攤方面可能只適用于特定類型的交易，并且對項目部署的靈活性產(chǎn)生了限制。
難以衡量的成本效益
成本與性能之間的關系是復雜而動態(tài)的。通常情況下，較低的成本可以提高性能，因為它可以減少計算和通信的開銷，從而提高整個系統(tǒng)的效率。然而，過于追求低成本會導致性能下降，因為犧牲了一定的計算和通信資源。因此，ZKP 系統(tǒng)需要在成本與性能之間找到一個合適的平衡點，以滿足不同應用領域的需求。
零知識證明涉及通過消息傳遞在不同的參與者之間驗證某個主張的正確性，因此通信成本是一個關鍵因素。為了降低通信成本，可以考慮使用高效的通信協(xié)議和壓縮算法，以減少消息的大小和傳輸時間。特別是對于 Aztec 這樣的 Layer2 項目來說，跨鏈通信需要在不同的區(qū)塊鏈網(wǎng)絡之間傳遞消息和數(shù)據(jù)。傳遞消息涉及到網(wǎng)絡通信和交互，這會導致一定的通信成本。尤其是對于大規(guī)模的全鏈 DApp 構建，消息的傳遞量會更大，增加了通信成本的壓力。
零知識證明需要進行大量的計算來生成證明和驗證證明的正確性。為了降低計算成本，可以采用優(yōu)化算法和數(shù)據(jù)結構，減少不必要的計算步驟和存儲開銷。此外，還可以利用并行計算和分布式計算的技術，將計算任務分散到多個節(jié)點上，以提高計算效率。ZKP 在目標鏈上的驗證相對便宜，但在源鏈上生成證明的過程就需要較大的計算成本。特別是在使用傳統(tǒng)方法進行驗證時，驗證成本較高，用戶無法承受。
更有效的成本控制策略
筆者認為，隨著技術的發(fā)展，通信成本可能不再是主要的限制因素。現(xiàn)代通信技術的不斷進步意味著通信成本的成規(guī)模地下降趨勢。因此，我們需要將更多的關注點放在計算成本的優(yōu)化上，可能會更有意義。然而，隨著此類協(xié)議的應用范圍擴大，通信成本可能仍然是一個重要的考慮因素，需要繼續(xù)關注其特定的場景進行靈活使用。
與此同時，我們也要明白，優(yōu)化計算成本的方法不僅僅局限于算法優(yōu)化。除了改進協(xié)議的算法，還可以考慮通過專用硬件、分布式計算或深度學習等領域的技術創(chuàng)新來降低計算成本。這些方法需要更多的長期研究和實證，但絕對會帶來突破性的性能提升和成本優(yōu)勢。我們認為以下方向在未來的 ZKP 競爭中更值得關注：
- 高性能和低計算成本：一個具有高性能和低計算成本的 ZKP 項目將是備受關注的。這意味著該項目能夠在保持安全性和隱私性的同時，以高效的方式生成和驗證證明。這樣的項目將具備廣泛的應用潛力，能夠滿足大規(guī)模的實際需求。當前存在多種不同的 ZKP 證明系統(tǒng)，每種系統(tǒng)都有其獨特的優(yōu)勢和限制。我們更看好致力于改進和創(chuàng)新證明系統(tǒng)，的項目提高效率、減少計算成本，并增強安全性。開發(fā)者需要探索更高效的零知識證明構造和更優(yōu)化的零知識證明驗證算法，以實現(xiàn)更快速、更可靠的證明生成和驗證過程。
- 一個成功的 ZKP 項目應當具備在真實世界中可部署的特性。這意味著它需要考慮到現(xiàn)實環(huán)境中的限制，并提供實用的解決方案。例如，與現(xiàn)有基礎設施和系統(tǒng)的兼容性、易于集成和使用性等方面的考慮都是重要的。利用專用硬件來加速 ZKP 計算是一個重要的研究方向。未來的研究可以關注硬件加速技術的創(chuàng)新，如使用 FPGA（現(xiàn)場可編程門陣列）或 ASIC（應用特定集成電路）等定制化硬件。通過借助硬件加速，可以提高 ZKP 系統(tǒng)的性能和效率，為大規(guī)模應用和實時場景提供更好的支持。
- 安全問題的解決：在 ZKP 系統(tǒng)中，安全性是至關重要的。ZKP 系統(tǒng)中的安全問題是最大的隱性成本，如攻擊和漏洞的防御、參數(shù)設置的安全性和隨機性的保證等。此類項目只有通過不斷提升 ZKP 系統(tǒng)的安全性，才可以確保其在實際應用中的可靠性和可信度，為用戶提供更高級別的保護和隱私保障，這將貫穿整個成本和性能的設計過程。
綜上所述，一個有前景的 ZKP 項目應當具備高性能和低計算成本、面向實際應用、安全可信、真實世界可部署和全過程安全等特點。我們可以預見 ZKP 技術的不斷發(fā)展將為隱私保護和驗證性能提供更廣闊的應用前景。我們在評估 ZKP 項目的成本效益時也需要考慮多個因素，包括計算資源、安全性要求、性能需求以及實施和維護的復雜性。在某些情況下，ZKP 可能會帶來顯著的隱私保護和安全性優(yōu)勢，從而抵消了成本的增加。然而，在其他情況下，成本可能超過了所能提供的實際價值。
