2024年7月25日，Delphinus Lab与CertiK宣布建立战略合作伙伴关系，共同致力于提升zkWasm技术的安全性、推进zkWasm生态的应用发展。
DelphinusLab是一家领先的零知识证明和WebAssembly技术实验室，致力于通过其zkWASM项目为Web2和Web3应用提供安全且增强隐私的基础设施；zkWasm的开发也得到了OKX、ORA和EthStorage的赞助和支持。CertiK以其领先的形式化验证技术，结合深入的审计与测试，为Web3应用程序和系统基础设施的安全提供了坚实的保障。
在先期已经完成的合作中，CertiK成功完成了对zkWasm电路的审计和形式化验证工作。作为世界首个对通用零知识证明虚拟机电路的完整形式化证明，此项工作极大地增强了zkWasm生态系统的安全性和可信度，并且为Blade Games、0xpioneer等基于WebAssembly和zkWasm的Web3游戏，以及Spin、zkCross、Pi Square和zkGo（from EthStorage）等ZK技术应用项目提供了更为坚实的安全基础。
Delphinus Lab和CertiK将共同进一步扩展对zkWasm技术整体的安全分析和保护。随着合作的深入，双方将共同探索zkWasm技术在更广泛领域的应用潜力，使其拓展至Web3的更多方面。通过不断地技术创新和安全防护，双方将继续致力于推进zkWasm应用和基础设施的安全保证，构建一个更加安全、可靠、高效的zkWasm生态系统。
