Em 25 de julho de 2024, @DelphinusLab e CertiK anunciaram o estabelecimento de uma parceria estratégica para aprimorar conjuntamente a segurança da tecnologia zkWasm e promover o desenvolvimento de aplicações do ecossistema zkWasm.

Delphinus Lab é um líder especializado em provas de conhecimento zero e tecnologia WebAssembly, comprometido em fornecer uma infraestrutura segura e que melhora a privacidade para aplicações Web2 e Web3 por meio de seu projeto zkWASM; o desenvolvimento do zkWasm também foi patrocinado e apoiado por OKX, ORA e EthStorage. A CertiK, com sua tecnologia de verificação formal líder, combinada com auditorias e testes aprofundados, oferece uma sólida garantia de segurança para aplicações Web3 e infraestrutura de sistemas.

Em uma fase inicial da colaboração, a CertiK completou a auditoria e verificação formal do circuito zkWasm. Como a primeira prova formal completa do circuito de máquina virtual de provas de conhecimento zero geral do mundo, esse trabalho elevou significativamente a segurança e credibilidade do ecossistema zkWasm e proporcionou uma base de segurança mais sólida para jogos Web3 baseados em WebAssembly e zkWasm, como Blade Games e 0xpioneer, assim como projetos de aplicação de tecnologia ZK, como Spin, zkCross, Pi Square e zkGo (da EthStorage).

Delphinus Lab e CertiK trabalharão para expandir ainda mais a análise de segurança e proteção da tecnologia zkWasm como um todo. Com o aprofundamento da colaboração, ambas as partes explorarão conjuntamente o potencial da aplicação do zkWasm em um campo mais amplo, expandindo-o para mais aspectos do Web3. Através da inovação tecnológica contínua e proteção de segurança, ambas as partes continuarão comprometidas em avançar a garantia de segurança das aplicações e infraestrutura zkWasm, construindo um zkWasm mais seguro, confiável e eficiente.