A empresa de auditoria de segurança Web3 Certora recebeu uma concessão da Ethereum Foundation para verificar a correção das "autoprecompilações", uma tecnologia desenvolvida pela Powdr Labs para o projeto zkEVM da fundação. Esta iniciativa visa melhorar o desempenho da computação ZK e aprimorar a escalabilidade da rede Ethereum. A Certora colaborará com a Powdr Labs para desenvolver novas tecnologias de verificação para garantir a segurança do motor de execução zkEVM. O projeto planeja tornar de código aberto as especificações, provas e estruturas de verificação relacionadas para uso de todos os implementadores zkEVM e pesquisadores de protocolos ZK.