La société d'audit de sécurité Web3 Certora a reçu une subvention de la Fondation Ethereum pour vérifier la justesse des "autoprecompiles", une technologie développée par Powdr Labs pour le projet zkEVM de la fondation. Cette initiative vise à améliorer les performances des calculs ZK et à accroître la scalabilité du réseau Ethereum. Certora collaborera avec Powdr Labs pour développer de nouvelles technologies de vérification afin d'assurer la sécurité du moteur d'exécution zkEVM. Le projet prévoit de rendre open source les spécifications, preuves et cadres de vérification associés, afin qu'ils soient utilisés par tous les implémenteurs de zkEVM et les chercheurs en protocoles ZK.