Sonic Labs a publié une nouvelle bibliothèque open-source conçue pour fournir une vérification formelle des protocoles de consensus basés sur DAG, une démarche qu'elle affirme aidera à élever les normes de sécurité pour les réseaux décentralisés.
Preuves Mathématiques pour Vérifier les Protocoles de Consensus
La bibliothèque de vérification formelle, développée en collaboration avec des chercheurs de l'Université de Sydney et de l'institut de recherche français INRIA, a été présentée pour la première fois plus tôt ce mois-ci lors de NASA Formal Methods 2025 (NFM 2025) à Williamsburg, en Virginie.
La bibliothèque utilise TLA+, un langage de spécification formelle développé par Microsoft Research, pour prouver mathématiquement la validité des protocoles de consensus.
Sonic Labs a déclaré que l'outil simplifie le processus de modélisation et de vérification des systèmes distribués complexes en offrant des composants modulaires réutilisables qui peuvent être appliqués à plusieurs architectures blockchain.
Les protocoles vérifiés incluent déjà DAG-Rider, Cordial Miner, Bullshark, Hashgraph et Aleph. Le protocole de consensus compatible EVM de Sonic a également été validé en tant que dérivé utilisant l'outil.
« Avec cette bibliothèque, nous passons de l'espoir à la preuve, offrant les outils pour vérifier, avec une certitude mathématique, qu'un protocole se comportera en toute sécurité dans toutes les conditions », a déclaré le directeur de la recherche, Dr. Bernhard Scholz.
Défis de sécurité dans le consensus blockchain
Les blockchains d'aujourd'hui sécurisent des trillions de dollars d'actifs numériques, mettant une pression significative sur l'infrastructure de consensus sous-jacente pour fonctionner sans défaut.
Les vulnérabilités dans ces mécanismes peuvent entraîner des doubles dépenses, des incohérences de registre ou des exploits à grande échelle.
Bien que les audits et les tests de pénétration soient des pratiques standard dans l'industrie, ils ne peuvent garantir l'absence totale de bogues critiques, en particulier dans des environnements complexes et asynchrones.
La vérification formelle offre une alternative en prouvant mathématiquement qu'un protocole fonctionne en toute sécurité dans tous les scénarios possibles. Sonic Labs a déclaré que son nouvel outil peut être utilisé non seulement pour auditer les protocoles existants, mais aussi pour aider les développeurs à concevoir ou modifier des systèmes basés sur DAG depuis zéro.
L'entreprise utilise déjà la bibliothèque en interne pour vérifier la sécurité de son propre réseau blockchain et affirme qu'elle peut éliminer mathématiquement la possibilité de comportement dangereux dans des conditions définies.
En rendant la bibliothèque open source, Sonic Labs vise à réduire le coût et la complexité de la construction de systèmes blockchain sécurisés tout en favorisant une adoption plus large de la vérification formelle dans le développement Web3.
Sonic est une blockchain compatible EVM conçue pour un débit élevé, offrant une finalité en moins d'une seconde et des vitesses de traitement allant jusqu'à 400 000 transactions par seconde.
Le réseau propose un modèle de monétisation des frais qui permet aux développeurs de gagner 90 % des frais de transaction générés par leurs applications décentralisées.
Pourquoi cela importe
À mesure que de plus en plus de valeur est verrouillée dans les réseaux blockchain, de petites imperfections dans les protocoles de consensus peuvent entraîner d'importantes pertes financières et nuire à la confiance. L'outil de vérification open-source de Sonic Labs utilise les mathématiques pour garantir la sécurité des protocoles, comblant une lacune que les tests traditionnels négligent souvent.
Découvrez les actualités crypto tendance de DailyCoin :
Le nouveau ETF crypto de Trump Media vise le Bitcoin et l'Ethereum
Le développeur principal de Shiba Inu tease une super application : la prochaine grande chose de SHIB ?
Les gens demandent aussi :
Qu'est-ce qu'un protocole de consensus dans la blockchain ? Un protocole de consensus est un ensemble de règles qui permet aux participants d'un réseau distribué de s'accorder sur l'état actuel de la blockchain, garantissant que toutes les copies sont cohérentes et que les transactions sont validées correctement.
Pourquoi le consensus est-il important pour les blockchains ? Le consensus est essentiel pour maintenir l'intégrité, la sécurité et la fiabilité d'une blockchain. Il empêche des problèmes tels que la double dépense et garantit que tous les participants du réseau partagent le même historique des transactions.
Qu'est-ce que les protocoles de consensus basés sur DAG ? DAG (Graphique acyclique dirigé) les protocoles de consensus utilisent une structure de graphe plutôt qu'une chaîne traditionnelle pour enregistrer les transactions. Cette conception peut améliorer l'évolutivité et la vitesse des transactions par rapport aux blockchains linéaires.
Qu'est-ce que la vérification formelle ? La vérification formelle est une méthode mathématique utilisée pour prouver la correction et la sécurité de la conception d'un système, garantissant qu'il se comporte comme prévu dans toutes les conditions possibles.
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.
Sonic Labs dévoile une bibliothèque open-source pour la vérification de la blockchain DAG
Sonic Labs a publié une nouvelle bibliothèque open-source conçue pour fournir une vérification formelle des protocoles de consensus basés sur DAG, une démarche qu'elle affirme aidera à élever les normes de sécurité pour les réseaux décentralisés.
Preuves Mathématiques pour Vérifier les Protocoles de Consensus
La bibliothèque de vérification formelle, développée en collaboration avec des chercheurs de l'Université de Sydney et de l'institut de recherche français INRIA, a été présentée pour la première fois plus tôt ce mois-ci lors de NASA Formal Methods 2025 (NFM 2025) à Williamsburg, en Virginie.
La bibliothèque utilise TLA+, un langage de spécification formelle développé par Microsoft Research, pour prouver mathématiquement la validité des protocoles de consensus.
Sonic Labs a déclaré que l'outil simplifie le processus de modélisation et de vérification des systèmes distribués complexes en offrant des composants modulaires réutilisables qui peuvent être appliqués à plusieurs architectures blockchain.
Les protocoles vérifiés incluent déjà DAG-Rider, Cordial Miner, Bullshark, Hashgraph et Aleph. Le protocole de consensus compatible EVM de Sonic a également été validé en tant que dérivé utilisant l'outil.
« Avec cette bibliothèque, nous passons de l'espoir à la preuve, offrant les outils pour vérifier, avec une certitude mathématique, qu'un protocole se comportera en toute sécurité dans toutes les conditions », a déclaré le directeur de la recherche, Dr. Bernhard Scholz.
Défis de sécurité dans le consensus blockchain
Les blockchains d'aujourd'hui sécurisent des trillions de dollars d'actifs numériques, mettant une pression significative sur l'infrastructure de consensus sous-jacente pour fonctionner sans défaut.
Les vulnérabilités dans ces mécanismes peuvent entraîner des doubles dépenses, des incohérences de registre ou des exploits à grande échelle.
Bien que les audits et les tests de pénétration soient des pratiques standard dans l'industrie, ils ne peuvent garantir l'absence totale de bogues critiques, en particulier dans des environnements complexes et asynchrones.
La vérification formelle offre une alternative en prouvant mathématiquement qu'un protocole fonctionne en toute sécurité dans tous les scénarios possibles. Sonic Labs a déclaré que son nouvel outil peut être utilisé non seulement pour auditer les protocoles existants, mais aussi pour aider les développeurs à concevoir ou modifier des systèmes basés sur DAG depuis zéro.
L'entreprise utilise déjà la bibliothèque en interne pour vérifier la sécurité de son propre réseau blockchain et affirme qu'elle peut éliminer mathématiquement la possibilité de comportement dangereux dans des conditions définies.
En rendant la bibliothèque open source, Sonic Labs vise à réduire le coût et la complexité de la construction de systèmes blockchain sécurisés tout en favorisant une adoption plus large de la vérification formelle dans le développement Web3.
Sonic est une blockchain compatible EVM conçue pour un débit élevé, offrant une finalité en moins d'une seconde et des vitesses de traitement allant jusqu'à 400 000 transactions par seconde.
Le réseau propose un modèle de monétisation des frais qui permet aux développeurs de gagner 90 % des frais de transaction générés par leurs applications décentralisées.
Pourquoi cela importe
À mesure que de plus en plus de valeur est verrouillée dans les réseaux blockchain, de petites imperfections dans les protocoles de consensus peuvent entraîner d'importantes pertes financières et nuire à la confiance. L'outil de vérification open-source de Sonic Labs utilise les mathématiques pour garantir la sécurité des protocoles, comblant une lacune que les tests traditionnels négligent souvent.
Découvrez les actualités crypto tendance de DailyCoin :
Le nouveau ETF crypto de Trump Media vise le Bitcoin et l'Ethereum
Le développeur principal de Shiba Inu tease une super application : la prochaine grande chose de SHIB ?
Les gens demandent aussi :
Qu'est-ce qu'un protocole de consensus dans la blockchain ? Un protocole de consensus est un ensemble de règles qui permet aux participants d'un réseau distribué de s'accorder sur l'état actuel de la blockchain, garantissant que toutes les copies sont cohérentes et que les transactions sont validées correctement.
Pourquoi le consensus est-il important pour les blockchains ? Le consensus est essentiel pour maintenir l'intégrité, la sécurité et la fiabilité d'une blockchain. Il empêche des problèmes tels que la double dépense et garantit que tous les participants du réseau partagent le même historique des transactions.
Qu'est-ce que les protocoles de consensus basés sur DAG ? DAG (Graphique acyclique dirigé) les protocoles de consensus utilisent une structure de graphe plutôt qu'une chaîne traditionnelle pour enregistrer les transactions. Cette conception peut améliorer l'évolutivité et la vitesse des transactions par rapport aux blockchains linéaires.
Qu'est-ce que la vérification formelle ? La vérification formelle est une méthode mathématique utilisée pour prouver la correction et la sécurité de la conception d'un système, garantissant qu'il se comporte comme prévu dans toutes les conditions possibles.
.social-share-icons { display: inline-flex; flex-direction: row; gap: 8px; border-radius: 8px; border: 1px solid #dedede; padding: 8px 16px; margin-bottom: 8px; }
.social-share-icons a { display: flex; color: #555; text-decoration: none; justify-content: center; align-items: center; background-color: #dedede; border-radius: 100%; padding: 10px; }
.social-share-icons a:hover { background-color: #F7BE23; remplir : blanc ; }
.social-share-icons svg { width: 24px; height: 24px; }