Sommet des chercheurs Web3 : le professeur de Yale présente pour la première fois le modèle LiDO
Lors du sommet des chercheurs Web3 de 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", présentant pour la première fois au public le modèle LiDO développé par son équipe et le cadre d'extension LiDO-DAG. Ce résultat innovant vise à fournir des preuves de sécurité et d'activité vérifiables mécaniquement pour des protocoles de consensus tolérants aux fautes de type byzantin (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 (tels que 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 innovativement proposé un cadre de vérification en trois couches :
Couche d'abstraction de sécurité : mapper le protocole en une machine à états 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 par dépassement de délai et à la synchronisation des tours.
Couche d'extension DAG : prend en charge de nouveaux protocoles DAG tels que Narwhal, Bullshark, permettant une vérification efficace du consensus sans leader.
Actuellement, LiDO a été appliqué avec succès au protocole industriel Jolteon (BFT à deux phases) et à plusieurs protocoles DAG, ayant complété plus de dix mille lignes de preuves mécanisées en Coq, avec respectivement 4000 lignes pour la vérification de la sécurité et 1700 lignes pour la vérification de l'activité. Le professeur Zhao Zhong a souligné dans son discours : "Actuellement, les protocoles de consensus PoS font face à la difficulté de concilier sécurité, activité et décentralisation. Le modèle LiDO est précisément une solution de conception systémique proposée pour surmonter cette difficulté."
L'équipe dirigée par le professeur Shao Zhong a développé CertiKOS, le premier système d'exploitation "sans vulnérabilité" au monde grâce à la vérification formelle, salué comme "un jalon pour la sécurité des systèmes cyber-physiques". Cet accomplissement a non seulement jeté les bases des technologies connexes, mais a également démontré l'accumulation approfondie de l'équipe dans le domaine de la sécurité des systèmes. Ces dernières années, le professeur Shao Zhong a approfondi ses recherches sur la sécurité de la blockchain, et en 2017, il a cofondé une entreprise de sécurité avec des collègues, introduisant la technologie de vérification formelle dans la protection de la sécurité des contrats intelligents et des protocoles en chaîne, offrant une protection de sécurité pour des actifs cryptographiques d'une valeur de centaines de milliards de dollars.
LiDO a actuellement achevé la conception du modèle et la vérification formelle, et commence à explorer les possibilités d'intégration avec les chaînes publiques et les protocoles décentralisés mainstream. Le professeur Shao Zhong a déclaré qu'ils s'engagent à vérifier les mécanismes clés dans Web3.0 afin de fournir des produits et des services sur tout le 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 Shao Zhong a souligné : "Un réseau de protocoles fiables, sécurisés et vérifiables 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
5
Reposter
Partager
Commentaire
0/400
DegenDreamer
· Il y a 2h
Enfin, des informations précieuses sont arrivées.
Voir l'originalRépondre0
LayerZeroHero
· Il y a 11h
C'est n'importe quoi ! Ce type a réussi à entrer à Yale.
Voir l'originalRépondre0
OPsychology
· Il y a 11h
Incroyable cette vague de Yale!
Voir l'originalRépondre0
wagmi_eventually
· Il y a 11h
Encore une autre promesse vide du web3
Voir l'originalRépondre0
AltcoinAnalyst
· Il y a 11h
Il est conseillé de rester vigilant quant à l'incomplétude du cadre à trois niveaux, les données TVL indiquent qu'une technologie similaire a un taux de risque de 56 % en 90 jours.
Le professeur de Yale dévoile pour la première fois le modèle LiDO, offrant une vérification mécanisée pour le protocole de consensus Web3.
Sommet des chercheurs Web3 : le professeur de Yale présente pour la première fois le modèle LiDO
Lors du sommet des chercheurs Web3 de 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", présentant pour la première fois au public le modèle LiDO développé par son équipe et le cadre d'extension LiDO-DAG. Ce résultat innovant vise à fournir des preuves de sécurité et d'activité vérifiables mécaniquement pour des protocoles de consensus tolérants aux fautes de type byzantin (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 (tels que 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 innovativement proposé un cadre de vérification en trois couches :
Actuellement, LiDO a été appliqué avec succès au protocole industriel Jolteon (BFT à deux phases) et à plusieurs protocoles DAG, ayant complété plus de dix mille lignes de preuves mécanisées en Coq, avec respectivement 4000 lignes pour la vérification de la sécurité et 1700 lignes pour la vérification de l'activité. Le professeur Zhao Zhong a souligné dans son discours : "Actuellement, les protocoles de consensus PoS font face à la difficulté de concilier sécurité, activité et décentralisation. Le modèle LiDO est précisément une solution de conception systémique proposée pour surmonter cette difficulté."
L'équipe dirigée par le professeur Shao Zhong a développé CertiKOS, le premier système d'exploitation "sans vulnérabilité" au monde grâce à la vérification formelle, salué comme "un jalon pour la sécurité des systèmes cyber-physiques". Cet accomplissement a non seulement jeté les bases des technologies connexes, mais a également démontré l'accumulation approfondie de l'équipe dans le domaine de la sécurité des systèmes. Ces dernières années, le professeur Shao Zhong a approfondi ses recherches sur la sécurité de la blockchain, et en 2017, il a cofondé une entreprise de sécurité avec des collègues, introduisant la technologie de vérification formelle dans la protection de la sécurité des contrats intelligents et des protocoles en chaîne, offrant une protection de sécurité pour des actifs cryptographiques d'une valeur de centaines de milliards de dollars.
LiDO a actuellement achevé la conception du modèle et la vérification formelle, et commence à explorer les possibilités d'intégration avec les chaînes publiques et les protocoles décentralisés mainstream. Le professeur Shao Zhong a déclaré qu'ils s'engagent à vérifier les mécanismes clés dans Web3.0 afin de fournir des produits et des services sur tout le 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 Shao Zhong a souligné : "Un réseau de protocoles fiables, sécurisés et vérifiables sera le chemin clé vers un véritable avenir décentralisé."