Selon Foresight News, le cabinet d'audit de sécurité CertiK a annoncé avoir reçu deux subventions de recherche de la Fondation Ethereum pour le premier trimestre 2025. Ces subventions sont principalement axées sur la vérification formelle de zkEVM, une technologie visant à améliorer l'évolutivité d'Ethereum grâce à des preuves à connaissance nulle.
La technologie avancée de vérification formelle de CertiK, conçue pour gérer les systèmes complexes de preuve à divulgation nulle de connaissance, offre un support de sécurité robuste pour la stratégie d'évolutivité d'Ethereum. Cette technologie a déjà été appliquée à divers projets Web3, notamment zkWasm, les contrats de la chaîne principale TON, le SDK Cosmos, HyperEnclave TEE d'Ant Group et Asterinas OS.
zkEVM, ou machine virtuelle Ethereum à connaissance nulle, représente une innovation dans la technologie blockchain, utilisant des preuves à connaissance nulle pour atteindre l'évolutivité d'Ethereum.
