Die Web3-Sicherheitsauditfirma Certora hat einen Zuschuss von der Ethereum Foundation erhalten, um die Korrektheit von "Autoprecompiles" zu überprüfen, einer von Powdr Labs für das zkEVM-Projekt der Foundation entwickelten Technologie. Diese Initiative zielt darauf ab, die Leistung der ZK-Berechnung zu verbessern und die Skalierbarkeit des Ethereum-Netzwerks zu erhöhen. Certora wird mit Powdr Labs zusammenarbeiten, um neue Verifikationstechnologien zu entwickeln, die die Sicherheit der zkEVM-Ausführungs-Engine gewährleisten. Das Projekt plant, die zugehörigen Spezifikationen, Beweise und Verifikationsrahmen als Open Source bereitzustellen, damit sie von allen zkEVM-Implementierern und ZK-Protokollforschern genutzt werden können.