Selon le dernier rapport, au premier trimestre de 2025, l'Organisation Ethereum a accordé deux subventions de recherche à CertiK, une entité renommée dans le domaine de la sécurité blockchain. Ces projets se concentrent sur des outils de développement et des méthodes formelles pour la vérification des circuits zkVM.
Évaluation de l'outil Verus : CertiK évaluera Verus, un outil de vérification Rust, afin de tester les circuits écrits en Rust et les modules de compilation d'EVM.
Simplification de la Vérification de zkVM : Ce projet développe une stratégie pour simplifier la vérification de zkVM, en se concentrant sur l'arithmétique modulaire et les cas de valeurs multiples encapsulées dans un élément de domaine.
La technologie de vérification officielle de CertiK a été largement adoptée par de nombreux projets Web3 de premier plan tels que zkWasm, le contrat principal TON, Cosmos SDK et HyperEnclave TEE d'Ant Group. Le contenu est à des fins d'information sur le marché et ne constitue pas un conseil en investissement.
Merci à tous d'avoir lu cet article !
Aimez, commentez et suivez TinTucBitcoin pour toujours être à jour avec les dernières nouvelles sur le marché des cryptomonnaies et ne manquer aucune information importante !
Le contenu est fourni à titre de référence uniquement, il ne s'agit pas d'une sollicitation ou d'une offre. Aucun conseil en investissement, fiscalité ou juridique n'est fourni. Consultez l'Avertissement pour plus de détails sur les risques.
CertiK a obtenu 2 subventions de la Fondation Ethereum
Selon le dernier rapport, au premier trimestre de 2025, l'Organisation Ethereum a accordé deux subventions de recherche à CertiK, une entité renommée dans le domaine de la sécurité blockchain. Ces projets se concentrent sur des outils de développement et des méthodes formelles pour la vérification des circuits zkVM.
Évaluation de l'outil Verus : CertiK évaluera Verus, un outil de vérification Rust, afin de tester les circuits écrits en Rust et les modules de compilation d'EVM.
Simplification de la Vérification de zkVM : Ce projet développe une stratégie pour simplifier la vérification de zkVM, en se concentrant sur l'arithmétique modulaire et les cas de valeurs multiples encapsulées dans un élément de domaine.
La technologie de vérification officielle de CertiK a été largement adoptée par de nombreux projets Web3 de premier plan tels que zkWasm, le contrat principal TON, Cosmos SDK et HyperEnclave TEE d'Ant Group. Le contenu est à des fins d'information sur le marché et ne constitue pas un conseil en investissement.
Merci à tous d'avoir lu cet article !
Aimez, commentez et suivez TinTucBitcoin pour toujours être à jour avec les dernières nouvelles sur le marché des cryptomonnaies et ne manquer aucune information importante !