新的基準測試平臺 Proof Arena 已正式啓動。它允許開發人員評估各種零知識證明器。該平臺旨在改變零知識證明 (ZKP) 的開發方式,爲開發者提供更多應用程序。

什麼是 Proof Arena?

Proof Arena 提供了一個結構化的空間,開發人員可以在此提交他們的證明器實現以進行嚴格測試。該平臺根據預定義的計算挑戰評估這些實現,通常使用零知識證明。

它測量關鍵性能指標,包括設置時間、驗證時間、證明生成時間、見證生成時間、峯值內存使用量和證明大小。這些指標的重要性各不相同,具體取決於特定的應用要求。

證明生成時間對於實時應用至關重要,因爲它直接影響用戶體驗。在高吞吐量系統中,驗證時間對於促進快速證明驗證至關重要。此外,在資源受限的環境中,優化峯值內存使用率至關重要。

Web3 專家的見解和認可

在過去的兩個月裏,Web3 社區對 Proof Arena 的反響非常積極。主要貢獻者包括 Polygon、Linea 和 StarkWare 團隊,他們確保自己的證明系統得到準確呈現。

Dawn Song 教授和 Dan Boneh 教授等學術專家已經認可了該平臺的價值。Boneh 教授表示,Proof Arena 爲比較不同的 ZK 證明器提供了必要的工具,並將使比較與最新發展保持同步。

該平臺從初步評估中獲得了寶貴的見解。這些結果突出了各種證明器的優點和缺點,重點關注證明生成時間、驗證時間、峯值內存使用量和證明大小的重要性。Expander 證明器在證明生成時間方面表現出色,而 Plonky3 在設置和驗證時間方面表現良好,GNARK 以其最小的證明大小令人印象深刻。

對零知識技術的影響

Proof Arena 的推出對利用零知識技術的開發人員具有重大意義。提供詳細的性能數據使開發人員能夠對證明器選擇做出明智的選擇。

此外,協作環境鼓勵零知識社區內的知識共享和創新。最終,這一舉措有望推動各行各業採用零知識技術。