Veridise發現零知識審計更有可能發現關鍵問題

區塊鏈安全公司Veridise報告稱，零知識（$ZK）審計比其他類型的審計更有可能發現關鍵問題。Veridise分析了來自100次審計的1,605個漏洞，發現每次審計平均有16個問題，而$ZK審計平均有18個問題。具體而言，55%的$ZK審計包含關鍵問題，而其他審計僅有27.5%。$ZK協議以增強區塊鏈交易的隱私性和可擴展性而聞名，由於其複雜的加密構造，$ZK審計面臨獨特挑戰。Veridise審計中常見的漏洞包括邏輯錯誤、可維護性問題和數據驗證問題。該公司還強調，在$ZK審計中，“欠約束電路”特別容易出現關鍵問題，這可能允許惡意方破壞協議的完整性。Veridise的發現強調了在區塊鏈安全中對$ZK技術進行專門審查的重要性。