Sonic Labs, l’équipe derrière la blockchain Sonic, a lancé la nouvelle bibliothèque de vérification formelle pour les protocoles de consensus basés sur DAG. L’objectif est d’offrir des outils de preuve pour la sécurité des blockchains.
Summary
Sonic Labs et la sécurité de la blockchain : le lancement de la nouvelle bibliothèque de vérification formelle
Sonic Labs, l’équipe derrière la blockchain Sonic, a annoncé le lancement de la nouvellebibliothèque de vérification formelle, dédiée aux protocoles de consensus basés sur DAG.
En pratique, il s’agit d’une bibliothèque open-source qui utilise la vérification formelle pour démontrer mathématiquement la sécurité des blockchains à graphe acyclique dirigé, y compris la blockchain EVM de Sonic.
Grâce à l’utilisation de l’assistant de test TLA+, il est possible de simplifier le processus de vérification des protocoles de consensus basés sur DAG, permettant aux développeurs de modéliser et vérifier les protocoles avec un minimum d’effort.
Il s’agit d’un outil de test pour vérifier la sécurité des blockchains. La bibliothèque inclut des tests pour des protocoles basés sur DAG importants tels que DAG-Rider, Cordial Miner, Bullshark, Hashgraph et Aleph, avec le protocole de consensus de Sonic vérifié comme dérivé.
La bibliothèque de vérification formelle a été présentée pour la première fois au NASA Formal Methods 2025 (NFM 2025) à Williamsburg, en Virginie, du 11 au 13 juin.
Sonic Labs et l’approche mathématique rigoureuse pour démontrer la sécurité d’un protocole
La situation actuelle de la sécurité des blockchains voit souvent la vulnérabilité des protocoles de consensus qui peuvent également conduire à des exploits catastrophiques. La double dépense ou les incohérences du grand livre en sont un exemple.
En général, en effet, les tests et les vérifications traditionnels pour garantir la sécurité des blockchains sont devenus insuffisants.
Voici que dans ce sens, Sonic Labs a décidé de relever le défi du moment avec une approche rigoureusement mathématique, qui démontre qu’un protocole est sûr dans tous les scénarios possibles, sans laisser de place aux erreurs.
À cet égard, Dr. Bernhard Scholz, Chief Research Officer, Sonic Labs, a commenté :
« Dans la blockchain, les échecs de sécurité proviennent souvent d’hypothèses qui ne sont pas vérifiées jusqu’à ce qu’il soit trop tard. Avec cette bibliothèque, nous passons de l’espoir à la preuve, en offrant les outils pour vérifier, avec certitude mathématique, qu’un protocole se comportera de manière sécurisée dans toutes les conditions. Notre objectif est de rendre la vérification formelle accessible à tous les développeurs de protocoles ».
Sonic Labs a commencé à mettre en œuvre la vérification formelle pour démontrer que le comportement non sécurisé est mathématiquement impossible sur la blockchain de Sonic.
L’entrée du token S sur Coinbase
Au cours des dernières heures, on parle également de l’entrée du token Sonic (S) sur le célèbre crypto-échange de Coinbase.
$S est maintenant en direct sur @Coinbase. pic.twitter.com/E6AIy6yusF
— Sonic Labs (@SonicLabs) 24 juin 2025
En pratique, les clients de Coinbase peuvent également accéder à l’application iOs et Android de Coinbase pour acheter, vendre, convertir, envoyer, recevoir ou conserver le token S.
Actuellement, Sonic (S) est en 73ème position dans le classement général crypto, avec 932 millions de dollars de market cap. Au moment de l’écriture, S vaut 0,32$.
C’était à la mi-avril 2025, lorsque Fantom lançait la dernière mise à jour Sonic pour révolutionner la DeFi. Avec une capacité de plus de 10 000 transactions par seconde (TPS) et des temps de finalisation inférieurs à 2 secondes, Sonic s’est immédiatement proposée comme l’un des réseaux Layer 1 les plus rapides et évolutifs du paysage crypto. Avec Sonic, a également fait ses débuts le token S, initialement ancré à FTM de Fantom.
