Das Web3-Sicherheitsunternehmen Certora hat von der Ethereum Foundation Forschungsförderung erhalten, um die formale Verifikation in Zusammenarbeit mit Powdr Labs voranzutreiben. Die Finanzierung wird Bemühungen unterstützen, die "automatische Vor-Kompilierung" zu verbessern, eine entscheidende Optimierungstechnologie innerhalb der zkEVM-Initiative der Ethereum Foundation. Diese von Powdr Labs entwickelte Technologie zielt darauf ab, die kryptografische und arithmetische Effizienz von zkEVM zu verbessern, indem sie automatisch niedrigstufige ZK-Schaltungskomponenten ableitet.