El 25 de julio de 2024, @DelphinusLab y CertiK anunciaron el establecimiento de una asociación estratégica para mejorar conjuntamente la seguridad de la tecnología zkWasm y promover el desarrollo de aplicaciones del ecosistema zkWasm.

Delphinus Lab es un líder especializado en pruebas de conocimiento cero y tecnología WebAssembly, comprometido a proporcionar una infraestructura segura y que mejora la privacidad para aplicaciones Web2 y Web3 a través de su proyecto zkWASM; el desarrollo de zkWasm también ha sido patrocinado y apoyado por OKX, ORA y EthStorage. CertiK, con su tecnología de verificación formal líder, combinada con auditorías y pruebas en profundidad, proporciona una sólida garantía de seguridad para aplicaciones Web3 e infraestructura de sistemas.

En una etapa temprana de la colaboración, CertiK ha completado la auditoría y verificación formal del circuito zkWasm. Como la primera prueba formal completa del circuito de máquina virtual de prueba de conocimiento cero general del mundo, este trabajo ha mejorado enormemente la seguridad y credibilidad del ecosistema zkWasm y ha proporcionado una base de seguridad más sólida para juegos Web3 basados en WebAssembly y zkWasm, como Blade Games y 0xpioneer, así como proyectos de aplicación de tecnología ZK, como Spin, zkCross, Pi Square y zkGo (de EthStorage).

Delphinus Lab y CertiK trabajarán para ampliar aún más el análisis de seguridad y la protección de la tecnología zkWasm en su conjunto. Con el fortalecimiento de la colaboración, ambas partes explorarán conjuntamente el potencial de la aplicación zkWasm en un campo más amplio, expandiéndola a más aspectos de Web3. A través de la innovación tecnológica continua y la protección de seguridad, ambas partes seguirán comprometidas con el avance de la garantía de seguridad de las aplicaciones e infraestructura zkWasm, construyendo un zkWasm más seguro, confiable y eficiente.