On July 25, 2024, @DelphinusLab and CertiK announced the establishment of a strategic partnership to jointly enhance the security of zkWasm technology and promote the application development of the zkWasm ecosystem.

Delphinus Lab is a leader specializing in zero-knowledge proofs and WebAssembly technology, committed to providing a secure and privacy-enhancing infrastructure for Web2 and Web3 applications through its zkWASM project; the development of zkWasm has also been sponsored and supported by OKX, ORA, and EthStorage. CertiK, with its leading formal verification technology, combined with in-depth audits and testing, provides a solid security guarantee for Web3 applications and system infrastructure.

In an early stage of the collaboration, CertiK has completed the audit and formal verification of the zkWasm circuit. As the world's first complete formal proof of the general zero-knowledge proof virtual machine circuit, this work has greatly enhanced the security and credibility of the zkWasm ecosystem and provided a more solid security foundation for Web3 games based on WebAssembly and zkWasm, such as Blade Games and 0xpioneer, as well as ZK technology application projects, such as Spin, zkCross, Pi Square, and zkGo(from EthStorage).

Delphinus Lab and CertiK will work to further expand the security analysis and protection of the overall zkWasm technology. With the deepening of the collaboration, both parties will jointly explore the potential of zkWasm application in the broader field, expanding it to more aspects of Web3. Through continuous technological innovation and security protection, both parties will continue to be committed to advancing the security assurance of zkWasm applications and infrastructure, building a more secure, reliable, and efficient zkWasm