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 !
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
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 !