Contenu éditorial de confiance, révisé par des experts de l'industrie et des éditeurs expérimentés. Divulgation des annonces
Sonic Labs a été fidèle à son nom et a travaillé dans le laboratoire sur un nouveau document de recherche. Ce n'est pas simplement un document théorique : il a abouti à une application concrète dans le domaine du consensus blockchain, et la bibliothèque de vérification formelle que Sonic Labs a développée est désormais open source et disponible sur Github.
L'équipe de Sonic Labs est bien sûr surtout connue pour avoir conçu la chaîne Sonic Layer-1 qui est née des cendres de Fantom. Sonic utilise un DAG (Graphique acyclique dirigé) pour son consensus, et c'est dans ce domaine que l'équipe des Labs a logiquement choisi de concentrer ses efforts. Bien que la bibliothèque de vérification qu'ils ont développée ait des implications pour le réseau EVM de Sonic, elle est également applicable à toutes les chaînes basées sur un DAG existantes et futures, où elle a le potentiel d'améliorer considérablement la sécurité en empêchant l'apparition de bugs.
Sonic Labs donne une nouvelle chance aux DAGs
La conception du consensus blockchain est un domaine complexe qui nécessite l'expertise de chercheurs issus des mathématiques, de la cryptographie et de la théorie des jeux. Bien que l'équipe de Sonic Labs soit bien formée dans ces domaines, elle a fait appel à quelques experts pour l'aider dans son étude approfondie des DAG dans le but de les rendre vérifiablement sécurisés.
Développée en partenariat avec des logiciens de premier plan de l'Université de Sydney et de l'INRIA, la bibliothèque tire parti de l'assistant de preuve TLA+ pour fournir des composants modulaires et réutilisables. Ceux-ci simplifient le processus de vérification pour les développeurs, leur permettant de modéliser et de confirmer la sécurité des protocoles basés sur DAG avec aisance. La bibliothèque comprend des preuves vérifiées pour des protocoles majeurs tels que DAG-Rider, Cordial Miner, Bullshark, Hashgraph et Aleph, avec le propre protocole de consensus de Sonic validé en tant que dérivé.
Étant donné la valeur qui circule désormais dans les écosystèmes blockchain, il est dans l'intérêt de tous de les rendre plus sûrs. Cela dit, c'est plus facile à dire qu'à faire, car les procédures d'audit standard ne sont en aucun cas infaillibles et il n'est pas rare que des vulnérabilités s'infiltrent et soient ensuite exploitées avec des conséquences dévastatrices.
Rendre la blockchain plus sûre pour tout le monde
L'approche de vérification formelle de Sonic Labs utilise des preuves mathématiques rigoureuses pour éliminer les erreurs, garantissant que les protocoles fonctionnent de manière fiable dans tous les scénarios concevables. La bibliothèque vérifie non seulement les protocoles existants, mais permet également aux développeurs de concevoir de nouveaux systèmes basés sur DAG ou d'affiner ceux qui existent déjà. Sonic Labs a déjà appliqué son outil propriétaire pour prouver qu'un comportement dangereux est mathématiquement impossible sur la blockchain Sonic.
Présentée pour la première fois à la NASA Formal Methods 2025 à Williamsburg, en Virginie, à la mi-juin, la bibliothèque ajoute un outil de défense précieux à l'arsenal des développeurs de blockchain. Alors que la conception modulaire devient la méthode par défaut pour construire des blockchains, le risque de vulnérabilités de sécurité augmente. Par exemple, de nombreux fournisseurs de Blockchain-as-a-Service permettent aux équipes de créer et de déployer un réseau personnalisé en quelques clics seulement. Mais si elles choisissent de modifier les paramètres du mécanisme de consensus dans le processus, il y a un risque d'introduire involontairement une faille de sécurité.
C'est juste un domaine dans lequel la bibliothèque de vérification formelle de Sonic Labs a une application claire. Mais elle a aussi de la valeur à ajouter pour évaluer les chaînes basées sur DAG existantes. Les vulnérabilités peuvent souvent rester non découvertes pendant des années dans la nature avant que, dans le meilleur des cas, un whitehat ne les repère et qu'elles soient corrigées. Dans le pire des cas, elles tombent entre les mains d'un blackhat qui peut les exploiter.
Comme le résume le Dr Bernhard Scholz, directeur de la recherche chez Sonic Labs, « Dans la blockchain, les échecs de sécurité proviennent souvent d'hypothèses qui ne sont pas testées jusqu'à ce qu'il soit trop tard. 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. » Avec la bibliothèque open source maintenant disponible pour les développeurs web3, il leur incombe de prendre cet outil et d'en tirer le meilleur parti.
Processus Éditorial pour bitcoinist est axé sur la livraison de contenu soigneusement recherché, précis et impartial. Nous maintenons des normes de sourcing strictes, et chaque page fait l'objet d'une révision minutieuse par notre équipe de meilleurs experts en technologie et d'éditeurs expérimentés. Ce processus garantit l'intégrité, la pertinence et la valeur de notre contenu pour nos lecteurs.
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 renforce la sécurité de la Blockchain avec une nouvelle bibliothèque de Vérification formelle | Bitcoinist.com
L'équipe de Sonic Labs est bien sûr surtout connue pour avoir conçu la chaîne Sonic Layer-1 qui est née des cendres de Fantom. Sonic utilise un DAG (Graphique acyclique dirigé) pour son consensus, et c'est dans ce domaine que l'équipe des Labs a logiquement choisi de concentrer ses efforts. Bien que la bibliothèque de vérification qu'ils ont développée ait des implications pour le réseau EVM de Sonic, elle est également applicable à toutes les chaînes basées sur un DAG existantes et futures, où elle a le potentiel d'améliorer considérablement la sécurité en empêchant l'apparition de bugs.
Sonic Labs donne une nouvelle chance aux DAGs
La conception du consensus blockchain est un domaine complexe qui nécessite l'expertise de chercheurs issus des mathématiques, de la cryptographie et de la théorie des jeux. Bien que l'équipe de Sonic Labs soit bien formée dans ces domaines, elle a fait appel à quelques experts pour l'aider dans son étude approfondie des DAG dans le but de les rendre vérifiablement sécurisés.
Développée en partenariat avec des logiciens de premier plan de l'Université de Sydney et de l'INRIA, la bibliothèque tire parti de l'assistant de preuve TLA+ pour fournir des composants modulaires et réutilisables. Ceux-ci simplifient le processus de vérification pour les développeurs, leur permettant de modéliser et de confirmer la sécurité des protocoles basés sur DAG avec aisance. La bibliothèque comprend des preuves vérifiées pour des protocoles majeurs tels que DAG-Rider, Cordial Miner, Bullshark, Hashgraph et Aleph, avec le propre protocole de consensus de Sonic validé en tant que dérivé.
Étant donné la valeur qui circule désormais dans les écosystèmes blockchain, il est dans l'intérêt de tous de les rendre plus sûrs. Cela dit, c'est plus facile à dire qu'à faire, car les procédures d'audit standard ne sont en aucun cas infaillibles et il n'est pas rare que des vulnérabilités s'infiltrent et soient ensuite exploitées avec des conséquences dévastatrices.
Rendre la blockchain plus sûre pour tout le monde
L'approche de vérification formelle de Sonic Labs utilise des preuves mathématiques rigoureuses pour éliminer les erreurs, garantissant que les protocoles fonctionnent de manière fiable dans tous les scénarios concevables. La bibliothèque vérifie non seulement les protocoles existants, mais permet également aux développeurs de concevoir de nouveaux systèmes basés sur DAG ou d'affiner ceux qui existent déjà. Sonic Labs a déjà appliqué son outil propriétaire pour prouver qu'un comportement dangereux est mathématiquement impossible sur la blockchain Sonic.
Présentée pour la première fois à la NASA Formal Methods 2025 à Williamsburg, en Virginie, à la mi-juin, la bibliothèque ajoute un outil de défense précieux à l'arsenal des développeurs de blockchain. Alors que la conception modulaire devient la méthode par défaut pour construire des blockchains, le risque de vulnérabilités de sécurité augmente. Par exemple, de nombreux fournisseurs de Blockchain-as-a-Service permettent aux équipes de créer et de déployer un réseau personnalisé en quelques clics seulement. Mais si elles choisissent de modifier les paramètres du mécanisme de consensus dans le processus, il y a un risque d'introduire involontairement une faille de sécurité.
C'est juste un domaine dans lequel la bibliothèque de vérification formelle de Sonic Labs a une application claire. Mais elle a aussi de la valeur à ajouter pour évaluer les chaînes basées sur DAG existantes. Les vulnérabilités peuvent souvent rester non découvertes pendant des années dans la nature avant que, dans le meilleur des cas, un whitehat ne les repère et qu'elles soient corrigées. Dans le pire des cas, elles tombent entre les mains d'un blackhat qui peut les exploiter.
Comme le résume le Dr Bernhard Scholz, directeur de la recherche chez Sonic Labs, « Dans la blockchain, les échecs de sécurité proviennent souvent d'hypothèses qui ne sont pas testées jusqu'à ce qu'il soit trop tard. 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. » Avec la bibliothèque open source maintenant disponible pour les développeurs web3, il leur incombe de prendre cet outil et d'en tirer le meilleur parti.