La société de sécurité Web3 Certora a reçu un financement de recherche de la part de la Fondation Ethereum pour faire progresser la vérification formelle en collaboration avec Powdr Labs. Ce financement soutiendra les efforts visant à améliorer la « pré-compilation automatique », une technologie d'optimisation cruciale dans le cadre de l'initiative zkEVM de la Fondation Ethereum. Cette technologie, développée par Powdr Labs, vise à améliorer l'efficacité cryptographique et arithmétique du zkEVM en inférant automatiquement les composants de circuits ZK de bas niveau.