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