Au sommet des érudits Web3, le professeur de Yale a révélé pour la première fois le modèle LiDO.
Lors du sommet des chercheurs Web3 2025 qui s'est tenu récemment, le professeur Zhao Zhong du département d'informatique de l'Université Yale a prononcé un discours intitulé « Preuves de sécurité et d'activité des protocoles de consensus affinés : LiDO et son cadre d'extension ». Il a révélé pour la première fois le modèle LiDO développé par son équipe ainsi que le cadre d'extension LiDO-DAG. Cette innovation vise à fournir des preuves de sécurité et d'activité vérifiables de manière mécanique pour les protocoles de consensus de tolérance aux pannes byzantines (BFT) complexes, posant ainsi une base technique pour la fiabilité et le développement à grande échelle de l'écosystème Web3.
Le professeur Shao Zhong a souligné dans son discours que, bien que les protocoles de consensus existants (comme PBFT, Jolteon) soient largement utilisés, leur complexité de mise en œuvre cache souvent des vulnérabilités potentielles. Pour résoudre ce problème, le modèle LiDO propose de manière innovante un cadre de validation raffiné en trois couches :
Couche d'abstraction de sécurité : mapper le protocole en une machine d'état linéarisée, garantissant la cohérence des journaux (sécurité) ;
Couche de garantie active : introduction du mécanisme "Pacemaker" pour résoudre les problèmes de latence réseau grâce à la diffusion de dépassement de délai et à la synchronisation des tours ;
Couche d'extension DAG : support des nouveaux protocoles DAG émergents tels que Narwhal et Bullshark, permettant une validation efficace sans consensus de leader.
Actuellement, LiDO a été appliqué avec succès au protocole industriel Jolteon (BFT à deux étapes) et à plusieurs protocoles DAG, ayant complété plus de dix mille lignes de code Coq avec des preuves mécanisées, dont la quantité de code pour la vérification de la sécurité et de l'activité atteint respectivement 4000 lignes et 1700 lignes. Le professeur Shao Zhong a souligné lors de sa conférence : "Actuellement, les protocoles de consensus PoS font face à un dilemme où il est difficile d'obtenir à la fois sécurité, activité et décentralisation. Le modèle LiDO est une solution systématique proposée pour surmonter ce goulot d'étranglement."
Il convient de mentionner que le professeur Zhao Zhong a dirigé une équipe qui a développé le premier système d'exploitation "sans vulnérabilité" au monde, CertiKOS, qui a été salué par l'industrie comme "un jalon pour la sécurité des systèmes cyber-physiques". Cet accomplissement démontre non seulement l'accumulation approfondie de son équipe dans le domaine de la sécurité des systèmes, mais établit également une base solide pour les recherches futures. Ces dernières années, le professeur Zhao Zhong a déplacé son attention vers la sécurité des blockchains et, en 2017, a cofondé une entreprise de sécurité blockchain avec des partenaires, s'engageant à appliquer la technologie de vérification formelle à la sécurité des contrats intelligents et des protocoles en chaîne, offrant une protection sécuritaire pour des actifs cryptographiques évalués à des centaines de milliards de dollars.
Le modèle LiDO a actuellement achevé sa conception et sa vérification formelle, et commence à explorer les possibilités d'intégration avec des chaînes de blocs majeures et des protocoles décentralisés. Le professeur Shao Zhong a déclaré qu'ils s'engagent à valider les mécanismes clés du Web3.0 afin de fournir des produits et des services sur l'ensemble du cycle, soutenant mieux la stratégie de développement à long terme des entreprises et de l'écosystème Web3. À la fin de son discours, le professeur Shao Zhong a souligné : "Construire une pile de protocoles réseau fiable, sécurisée et vérifiable sera le chemin clé vers un véritable avenir décentralisé."
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
Un professeur de Yale dévoile LiDO : surmonter le goulot d'étranglement de la vérification de la sécurité du protocole de consensus
Au sommet des érudits Web3, le professeur de Yale a révélé pour la première fois le modèle LiDO.
Lors du sommet des chercheurs Web3 2025 qui s'est tenu récemment, le professeur Zhao Zhong du département d'informatique de l'Université Yale a prononcé un discours intitulé « Preuves de sécurité et d'activité des protocoles de consensus affinés : LiDO et son cadre d'extension ». Il a révélé pour la première fois le modèle LiDO développé par son équipe ainsi que le cadre d'extension LiDO-DAG. Cette innovation vise à fournir des preuves de sécurité et d'activité vérifiables de manière mécanique pour les protocoles de consensus de tolérance aux pannes byzantines (BFT) complexes, posant ainsi une base technique pour la fiabilité et le développement à grande échelle de l'écosystème Web3.
Le professeur Shao Zhong a souligné dans son discours que, bien que les protocoles de consensus existants (comme PBFT, Jolteon) soient largement utilisés, leur complexité de mise en œuvre cache souvent des vulnérabilités potentielles. Pour résoudre ce problème, le modèle LiDO propose de manière innovante un cadre de validation raffiné en trois couches :
Actuellement, LiDO a été appliqué avec succès au protocole industriel Jolteon (BFT à deux étapes) et à plusieurs protocoles DAG, ayant complété plus de dix mille lignes de code Coq avec des preuves mécanisées, dont la quantité de code pour la vérification de la sécurité et de l'activité atteint respectivement 4000 lignes et 1700 lignes. Le professeur Shao Zhong a souligné lors de sa conférence : "Actuellement, les protocoles de consensus PoS font face à un dilemme où il est difficile d'obtenir à la fois sécurité, activité et décentralisation. Le modèle LiDO est une solution systématique proposée pour surmonter ce goulot d'étranglement."
Il convient de mentionner que le professeur Zhao Zhong a dirigé une équipe qui a développé le premier système d'exploitation "sans vulnérabilité" au monde, CertiKOS, qui a été salué par l'industrie comme "un jalon pour la sécurité des systèmes cyber-physiques". Cet accomplissement démontre non seulement l'accumulation approfondie de son équipe dans le domaine de la sécurité des systèmes, mais établit également une base solide pour les recherches futures. Ces dernières années, le professeur Zhao Zhong a déplacé son attention vers la sécurité des blockchains et, en 2017, a cofondé une entreprise de sécurité blockchain avec des partenaires, s'engageant à appliquer la technologie de vérification formelle à la sécurité des contrats intelligents et des protocoles en chaîne, offrant une protection sécuritaire pour des actifs cryptographiques évalués à des centaines de milliards de dollars.
Le modèle LiDO a actuellement achevé sa conception et sa vérification formelle, et commence à explorer les possibilités d'intégration avec des chaînes de blocs majeures et des protocoles décentralisés. Le professeur Shao Zhong a déclaré qu'ils s'engagent à valider les mécanismes clés du Web3.0 afin de fournir des produits et des services sur l'ensemble du cycle, soutenant mieux la stratégie de développement à long terme des entreprises et de l'écosystème Web3. À la fin de son discours, le professeur Shao Zhong a souligné : "Construire une pile de protocoles réseau fiable, sécurisée et vérifiable sera le chemin clé vers un véritable avenir décentralisé."