La firma de auditoría de seguridad Web3 Certora ha recibido una subvención de la Fundación Ethereum para verificar la corrección de las "autoprecompilaciones", una tecnología desarrollada por Powdr Labs para el proyecto zkEVM de la fundación. Esta iniciativa tiene como objetivo mejorar el rendimiento de la computación ZK y aumentar la escalabilidad de la red Ethereum. Certora colaborará con Powdr Labs para desarrollar nuevas tecnologías de verificación que aseguren la seguridad del motor de ejecución zkEVM. El proyecto planea publicar como código abierto las especificaciones, pruebas y marcos de verificación relacionados para que puedan ser utilizados por todos los implementadores de zkEVM e investigadores de protocolos ZK.