A empresa de segurança Web3 Certora recebeu financiamento para pesquisa da Ethereum Foundation para avançar na verificação formal em colaboração com a Powdr Labs. O financiamento apoiará esforços para aprimorar a "pré-compilação automática", uma tecnologia crucial de otimização dentro da iniciativa zkEVM da Ethereum Foundation. Essa tecnologia, desenvolvida pela Powdr Labs, visa melhorar a eficiência criptográfica e aritmética do zkEVM ao inferir automaticamente componentes de circuito ZK de baixo nível.