Sommet des chercheurs Web3 : Le professeur de Yale dévoile pour la première fois le modèle LiDO
Lors du récent sommet des chercheurs Web3 de 2025, le professeur Zhao Zhong du département d'informatique de l'Université de Yale a prononcé un discours thématique sur "La sécurité et la preuve d'activité des protocoles de consensus affinés : LiDO et son cadre d'expansion". Il a présenté pour la première fois au public le modèle LiDO développé par son équipe et le cadre d'expansion LiDO-DAG. Ce résultat innovant vise à fournir des preuves de sécurité et d'activité vérifiables mécaniquement pour les protocoles de consensus tolérants aux fautes byzantines (BFT) complexes, établissant 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 a proposé un cadre innovant de vérification en trois couches :
Couche d'abstraction de sécurité : mapper le protocole en une machine à états linéarisée, assurer la cohérence des journaux (sécurité) ;
Couche de garantie active : introduction du mécanisme "Pacemaker" pour résoudre les problèmes de latence du réseau grâce à la diffusion des délais et à la synchronisation des tours ;
Couche d'extension DAG : prend en charge les nouveaux protocoles DAG émergents tels que Narwhal, 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 preuve mécanique de code 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 généralement face à un dilemme où la sécurité, l'activité et la décentralisation sont difficilement compatibles. Le modèle LiDO a été proposé comme une solution de conception systémique pour surmonter ce dilemme."
Il convient de mentionner que l'équipe dirigée par le professeur Shao Zhong a précédemment développé CertiKOS, le premier système d'exploitation "sans faille" au monde validé par une vérification formelle, salué par l'industrie comme un "jalon pour la sécurité des systèmes cyber-physiques". Cet accomplissement met en lumière ses solides bases dans le domaine de la sécurité des systèmes et jette des bases solides pour la recherche ultérieure sur la sécurité blockchain. Depuis 2017, le professeur Shao Zhong s'est consacré à l'introduction de la technologie de vérification formelle dans le domaine de la sécurité des contrats intelligents et des protocoles en chaîne, contribuant de manière significative à la protection de la sécurité des actifs cryptographiques d'une valeur de plusieurs milliards de dollars.
Actuellement, LiDO a achevé la conception du modèle et la vérification formelle, et a commencé à explorer les possibilités d'intégration avec les principales chaînes publiques et protocoles décentralisés. Le professeur Zhao Zhong a déclaré qu'ils s'engagent à valider les mécanismes clés dans Web3.0 afin de fournir des produits et services sur l'ensemble du cycle, soutenant ainsi mieux la stratégie de développement à long terme des entreprises et de l'écosystème Web3. À la fin de son discours, le professeur Zhao Zhong a souligné : "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.
12 J'aime
Récompense
12
8
Reposter
Partager
Commentaire
0/400
NFTragedy
· Il y a 17h
Il y a quelque chose, le monde académique est devenu fou.
Voir l'originalRépondre0
ForkMaster
· 08-13 13:09
Encore un projet white hat ? D'abord, voyons comment les vulnérabilités sont auditées... Les vieux white hats comprennent.
Voir l'originalRépondre0
MidnightGenesis
· 08-13 03:40
Il est tard dans la nuit et je débogue encore le code. Comme prévu, les anciens problèmes sont toujours là.
Voir l'originalRépondre0
0xDreamChaser
· 08-11 02:29
Regardez regardez, encore ce piège.
Voir l'originalRépondre0
MetaMisfit
· 08-10 20:55
Encore un coup de concept, au lieu de faire ça, il vaut mieux directement utiliser le pbft.
Voir l'originalRépondre0
ThatsNotARugPull
· 08-10 20:39
bull, mais peux-tu en parler en chinois?
Voir l'originalRépondre0
LiquidatedAgain
· 08-10 20:36
La sécurité, c'est une source de plaisir. Pensez à la leçon que j'ai apprise la dernière fois que j'ai été liquidé.
Voir l'originalRépondre0
SquidTeacher
· 08-10 20:35
Les grands maîtres du peuple sont impressionnants !
Le professeur de Yale dévoile pour la première fois le modèle LiDO, aidant à la vérification de la sécurité du protocole de consensus Web3.
Sommet des chercheurs Web3 : Le professeur de Yale dévoile pour la première fois le modèle LiDO
Lors du récent sommet des chercheurs Web3 de 2025, le professeur Zhao Zhong du département d'informatique de l'Université de Yale a prononcé un discours thématique sur "La sécurité et la preuve d'activité des protocoles de consensus affinés : LiDO et son cadre d'expansion". Il a présenté pour la première fois au public le modèle LiDO développé par son équipe et le cadre d'expansion LiDO-DAG. Ce résultat innovant vise à fournir des preuves de sécurité et d'activité vérifiables mécaniquement pour les protocoles de consensus tolérants aux fautes byzantines (BFT) complexes, établissant 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 a proposé un cadre innovant de vérification 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 preuve mécanique de code 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 généralement face à un dilemme où la sécurité, l'activité et la décentralisation sont difficilement compatibles. Le modèle LiDO a été proposé comme une solution de conception systémique pour surmonter ce dilemme."
Il convient de mentionner que l'équipe dirigée par le professeur Shao Zhong a précédemment développé CertiKOS, le premier système d'exploitation "sans faille" au monde validé par une vérification formelle, salué par l'industrie comme un "jalon pour la sécurité des systèmes cyber-physiques". Cet accomplissement met en lumière ses solides bases dans le domaine de la sécurité des systèmes et jette des bases solides pour la recherche ultérieure sur la sécurité blockchain. Depuis 2017, le professeur Shao Zhong s'est consacré à l'introduction de la technologie de vérification formelle dans le domaine de la sécurité des contrats intelligents et des protocoles en chaîne, contribuant de manière significative à la protection de la sécurité des actifs cryptographiques d'une valeur de plusieurs milliards de dollars.
Actuellement, LiDO a achevé la conception du modèle et la vérification formelle, et a commencé à explorer les possibilités d'intégration avec les principales chaînes publiques et protocoles décentralisés. Le professeur Zhao Zhong a déclaré qu'ils s'engagent à valider les mécanismes clés dans Web3.0 afin de fournir des produits et services sur l'ensemble du cycle, soutenant ainsi mieux la stratégie de développement à long terme des entreprises et de l'écosystème Web3. À la fin de son discours, le professeur Zhao Zhong a souligné : "Une pile de protocoles réseau fiable, sécurisée et vérifiable sera le chemin clé vers un véritable avenir décentralisé."