Según Foresight News, la firma de auditoría de seguridad CertiK ha anunciado que ha recibido dos subvenciones de investigación de la Fundación Ethereum para el primer trimestre de 2025. Estas subvenciones se centran principalmente en la verificación formal de zkEVM, una tecnología destinada a mejorar la escalabilidad de Ethereum a través de pruebas de conocimiento cero.
La avanzada tecnología de verificación formal de CertiK, diseñada para manejar sistemas complejos de pruebas de conocimiento cero, proporciona un sólido soporte de seguridad para la estrategia de escalabilidad de Ethereum. Esta tecnología ya se ha aplicado a varios proyectos de Web3, incluidos zkWasm, contratos de la cadena principal de TON, Cosmos SDK, HyperEnclave TEE de Ant Group y Asterinas OS.
zkEVM, o máquina virtual de Ethereum de conocimiento cero, representa una innovación en la tecnología blockchain, utilizando pruebas de conocimiento cero para lograr escalabilidad para Ethereum.
