在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。