在2024年7月25日,@DelphinusLab和CertiK宣佈建立戰略合作伙伴關係,共同增強zkWasm技術的安全性,並推動zkWasm生態系統的應用開發。
Delphinus Lab是一家專注於零知識證明和WebAssembly技術的領導者,致力於通過其zkWASM項目爲Web2和Web3應用提供安全和隱私增強的基礎設施;zkWasm的開發還得到了OKX、ORA和EthStorage的贊助和支持。CertiK憑藉其領先的形式驗證技術,結合深入的審計和測試,爲Web3應用和系統基礎設施提供了堅實的安全保障。
在合作的早期階段,CertiK已完成zkWasm電路的審計和形式驗證。作爲全球首個完整的通用零知識證明虛擬機電路的形式證明,該工作極大增強了zkWasm生態系統的安全性和可信度,並爲基於WebAssembly和zkWasm的Web3遊戲(如Blade Games和0xpioneer)以及ZK技術應用項目(如Spin、zkCross、Pi Square和zkGo(來自EthStorage))提供了更加堅實的安全基礎。
Delphinus Lab和CertiK將進一步擴大對整體zkWasm技術的安全分析和保護。隨着合作的深入,雙方將共同探索zkWasm應用在更廣泛領域的潛力,將其擴展到Web3的更多方面。通過持續的技術創新和安全保護,雙方將繼續致力於推動zkWasm應用和基礎設施的安全保障,構建一個更加安全、可靠和高效的zkWasm。