Sommet des chercheurs Web3 : Le professeur de l'Université de Yale dévoile pour la première fois le modèle LiDO

Lors du récent sommet des chercheurs Web3 2025, le professeur Zhao Zhong du département d'informatique de l'Université de Yale a prononcé un discours intitulé « Sécurité et preuve d'activité des protocoles de consensus raffinés : LiDO et son cadre d'extension ». Il a présenté pour la première fois au public le modèle LiDO développé par son équipe ainsi que le cadre d'extension LiDO-DAG. Ce résultat innovant vise à fournir une preuve de sécurité et d'activité vérifiable de manière mécanique pour les protocoles de consensus tolérants aux pannes byzantines (BFT), établissant ainsi une base technique importante 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 entraîne souvent des vulnérabilités de sécurité potentielles. Pour résoudre ce problème, le modèle LiDO propose un cadre de vérification raffiné en trois couches innovant :

1. Couche d'abstraction de sécurité : mapper le protocole à une machine d'état linéarisée pour garantir la cohérence des journaux et assurer la sécurité ;
2. Couche de protection active : introduction du mécanisme "Pacemaker" pour résoudre les problèmes de latence réseau par la diffusion des délais et la synchronisation des tours ;
3. Couche d'extension DAG : prend en charge les nouveaux protocoles DAG émergents tels que Narwhal, Bullshark, permettant une validation efficace du consensus sans leader.

Actuellement, LiDO a été appliqué avec succès aux protocoles industriels Jolteon (BFT à deux phases) et à plusieurs protocoles DAG, ayant complété plus de dix mille lignes de preuves mécanisées en Coq, dont le volume 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 présentation : "Actuellement, les protocoles de consensus PoS font face à la difficulté d'atteindre simultanément la sécurité, l'activité et la décentralisation. Le modèle LiDO est précisément une solution de conception systémique proposée pour surmonter cette limitation."

Il convient de mentionner que l'équipe dirigée par le professeur Shao Zhong a précédemment développé le système CertiKOS, qui est le premier système d'exploitation "sans faille" au monde validé par une vérification formelle, salué comme un "jalon en matière de sécurité des systèmes cyber-physiques". Cet accomplissement démontre non seulement l'expertise approfondie de son équipe dans le domaine de la sécurité des systèmes, mais établit également une base solide pour les recherches futures en matière de sécurité des blockchains.

Le modèle LiDO a maintenant terminé sa conception et sa validation formelle, et a commencé à explorer les possibilités d'intégration avec les principales blockchains et protocoles décentralisés. Le professeur Zhao Zhong a déclaré qu'ils s'engagent à valider les mécanismes clés dans le Web3.0 afin de fournir des produits et des services tout au long du cycle, et de mieux soutenir la stratégie de développement à long terme des entreprises et des écosystèmes Web3.

À la fin de son discours, le professeur Shao Zhong a souligné : "Un empilement de protocoles réseau fiable, sécurisé et vérifiable sera la voie clé vers un avenir véritablement décentralisé." Ce point de vue met en évidence le rôle important du modèle LiDO dans le développement des technologies Web3, offrant de nouvelles idées et méthodes pour la sécurité et la fiabilité des systèmes décentralisés à l'avenir.