CertiK a obtenu 2 subventions de la Fondation Ethereum

robot
Création du résumé en cours

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 !

Voir l'original
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.
  • Récompense
  • Commentaire
  • Partager
Commentaire
0/400
Aucun commentaire
Trader les cryptos partout et à tout moment
qrCode
Scan pour télécharger Gate app
Communauté
Français (Afrique)
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)