2024年7月25日、@DelphinusLabとCertiKは、zkWasm技術のセキュリティを共同で強化し、zkWasmエコシステムのアプリケーション開発を促進するための戦略的パートナーシップの設立を発表しました。

Delphinus Labは、ゼロ知識証明とWebAssembly技術を専門とするリーダーであり、zkWASMプロジェクトを通じてWeb2およびWeb3アプリケーション向けに安全でプライバシーを強化するインフラを提供することにコミットしています。zkWasmの開発は、OKX、ORA、EthStorageからの支援とサポートも受けています。CertiKは、先進的な形式的検証技術を持ち、深い監査とテストを組み合わせて、Web3アプリケーションとシステムインフラに対して堅固なセキュリティ保証を提供します。

協力の初期段階で、CertiKはzkWasm回路の監査と形式的検証を完了しました。これは、一般的なゼロ知識証明仮想マシン回路の世界初の完全な形式証明として、この作業はzkWasmエコシステムのセキュリティと信頼性を大いに高め、Blade Gamesや0xpioneerなどのWebAssemblyおよびzkWasmに基づくWeb3ゲームや、Spin、zkCross、Pi Square、zkGo（EthStorageからの）などのZK技術アプリケーションプロジェクトに対して、より堅固なセキュリティ基盤を提供しました。

Delphinus LabとCertiKは、全体的なzkWasm技術のセキュリティ分析と保護をさらに拡大するために協力します。協力が深まる中で、両者はzkWasmアプリケーションの潜在能力を広い分野で共同で探求し、それをWeb3のより多くの側面に拡大します。継続的な技術革新とセキュリティ保護を通じて、両者はzkWasmアプリケーションとインフラのセキュリティ保証の推進に引き続きコミットし、より安全で信頼性が高く効率的なzkWasmを構築します。