La empresa de seguridad Web3 Certora ha recibido financiación para investigación de la Ethereum Foundation para avanzar en la verificación formal en colaboración con Powdr Labs. La financiación apoyará los esfuerzos para mejorar la "precompilación automática", una tecnología de optimización crucial dentro de la iniciativa zkEVM de la Ethereum Foundation. Esta tecnología, desarrollada por Powdr Labs, tiene como objetivo mejorar la eficiencia criptográfica y aritmética de zkEVM mediante la inferencia automática de componentes de circuitos ZK de bajo nivel.