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 le DAG. L'objectif est de fournir des outils de preuve pour la sécurité des blockchains.
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 nouvelle bibliothè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 prouver mathématiquement la sécurité des blockchains à graphes acycliques dirigés, y compris la blockchain Sonic EVM.
Grâce à l'utilisation de l'assistant d'essai TLA+, il est possible de simplifier le processus de vérification des protocoles de consensus basés sur le DAG, permettant aux développeurs de modéliser et de vérifier les protocoles avec un effort minimal.
Ceci est un outil de test pour vérifier la sécurité des blockchains. La bibliothèque comprend des tests pour des protocoles importants basés sur DAG tels que DAG-Rider, Cordial Miner, Bullshark, Hashgraph et Aleph, avec le protocole de consensus Sonic vérifié comme dérivé.
La bibliothèque de vérification formelle a été présentée pour la première fois à la 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é blockchain voit souvent la vulnérabilité des protocoles de consensus qui peuvent également conduire à des exploits catastrophiques. La double dépense ou les incohérences de registre en sont un exemple.
En général, en fait, les tests et vérifications traditionnels pour garantir la sécurité des blockchains sont devenus insuffisants
Ici, dans ce sens, Sonic Labs a décidé de relever le défi du moment avec une approche strictement mathématique, qui démontre qu'un protocole est sécurisé dans tous les scénarios possibles, laissant aucune place à l'erreur.
À cet égard, Dr. Bernhard Scholz, Responsable de la recherche, Sonic Labs, a commenté :
« Dans la blockchain, les défaillances de sécurité découlent souvent d’hypothèses qui ne sont vérifiées que lorsqu’il est trop tard. Avec cette bibliothèque, nous passons de l’espoir à la preuve, en fournissant les outils pour vérifier, avec une certitude mathématique, qu’un protocole se comportera en toute sécurité 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 une vérification formelle pour prouver que les comportements dangereux sont mathématiquement impossibles sur la blockchain Sonic.
L'entrée du token S sur Coinbase
Au cours des dernières heures, il y a également des discussions sur l'entrée du jeton Sonic (S) sur la célèbre plateforme d'échange de cryptomonnaies Coinbase.
$S est maintenant disponible sur @Coinbase. pic.twitter.com/E6AIy6yusF
— Sonic Labs (@SonicLabs) 24 juin 2025
En pratique, les clients de Coinbase peuvent également accéder à l'application Coinbase iOS et Android pour acheter, vendre, convertir, envoyer, recevoir ou stocker le jeton S.
Actuellement, Sonic (S) est à la 73e position dans le classement global des cryptomonnaies, avec une capitalisation boursière de 932 millions de dollars. Au moment de la rédaction, S vaut 0,32 $.
C'était mi-avril 2025, lorsque Fantom a lancé 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 de moins de 2 secondes, Sonic s'est immédiatement positionné comme l'un des réseaux Layer 1 les plus rapides et les plus évolutifs du paysage crypto. Avec Sonic, le token S a également fait ses débuts, initialement indexé sur le FTM de Fantom.
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.
Sonic Labs : la nouvelle bibliothèque de vérification formelle pour les protocoles basés sur DAG
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 le DAG. L'objectif est de fournir des outils de preuve pour la sécurité des blockchains.
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 nouvelle bibliothè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 prouver mathématiquement la sécurité des blockchains à graphes acycliques dirigés, y compris la blockchain Sonic EVM.
Grâce à l'utilisation de l'assistant d'essai TLA+, il est possible de simplifier le processus de vérification des protocoles de consensus basés sur le DAG, permettant aux développeurs de modéliser et de vérifier les protocoles avec un effort minimal.
Ceci est un outil de test pour vérifier la sécurité des blockchains. La bibliothèque comprend des tests pour des protocoles importants basés sur DAG tels que DAG-Rider, Cordial Miner, Bullshark, Hashgraph et Aleph, avec le protocole de consensus Sonic vérifié comme dérivé.
La bibliothèque de vérification formelle a été présentée pour la première fois à la 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é blockchain voit souvent la vulnérabilité des protocoles de consensus qui peuvent également conduire à des exploits catastrophiques. La double dépense ou les incohérences de registre en sont un exemple.
En général, en fait, les tests et vérifications traditionnels pour garantir la sécurité des blockchains sont devenus insuffisants
Ici, dans ce sens, Sonic Labs a décidé de relever le défi du moment avec une approche strictement mathématique, qui démontre qu'un protocole est sécurisé dans tous les scénarios possibles, laissant aucune place à l'erreur.
À cet égard, Dr. Bernhard Scholz, Responsable de la recherche, Sonic Labs, a commenté :
« Dans la blockchain, les défaillances de sécurité découlent souvent d’hypothèses qui ne sont vérifiées que lorsqu’il est trop tard. Avec cette bibliothèque, nous passons de l’espoir à la preuve, en fournissant les outils pour vérifier, avec une certitude mathématique, qu’un protocole se comportera en toute sécurité 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 une vérification formelle pour prouver que les comportements dangereux sont mathématiquement impossibles sur la blockchain Sonic.
L'entrée du token S sur Coinbase
Au cours des dernières heures, il y a également des discussions sur l'entrée du jeton Sonic (S) sur la célèbre plateforme d'échange de cryptomonnaies Coinbase.
$S est maintenant disponible sur @Coinbase. pic.twitter.com/E6AIy6yusF
— Sonic Labs (@SonicLabs) 24 juin 2025
En pratique, les clients de Coinbase peuvent également accéder à l'application Coinbase iOS et Android pour acheter, vendre, convertir, envoyer, recevoir ou stocker le jeton S.
Actuellement, Sonic (S) est à la 73e position dans le classement global des cryptomonnaies, avec une capitalisation boursière de 932 millions de dollars. Au moment de la rédaction, S vaut 0,32 $.
C'était mi-avril 2025, lorsque Fantom a lancé 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 de moins de 2 secondes, Sonic s'est immédiatement positionné comme l'un des réseaux Layer 1 les plus rapides et les plus évolutifs du paysage crypto. Avec Sonic, le token S a également fait ses débuts, initialement indexé sur le FTM de Fantom.