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 !
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
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 !