Au sommet des chercheurs Web3, le professeur de Yale a présenté 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 basés sur le raffinement : LiDO et son cadre d'extension ». Il a présenté pour la première fois le modèle LiDO développé par son équipe ainsi que le cadre d'extension LiDO-DAG. Cette réalisation révolutionnaire vise à fournir une preuve de sécurité et d'activité vérifiable mécaniquement pour les protocoles de consensus tolérants aux pannes byzantines (BFT), établissant ainsi une base technique pour la fiabilité et le développement à grande échelle de l'écosystème Web3.
Le professeur Zhao Zhong a souligné que les protocoles de consensus existants tels que PBFT sont largement utilisés, mais leur complexité d'implémentation 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 en trois couches.
Couche d'abstraction de sécurité : mapper le protocole en une machine à états linéarisée, assurant la cohérence des journaux (sécurité) ;
Couche de garantie active : introduction du mécanisme "Pacemaker" qui résout le problème de latence du réseau grâce à une diffusion par dépassement de temps et une synchronisation des tours ;
Couche d'extension DAG : prend en charge les nouveaux protocoles DAG, 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, complétant la preuve mécanisée de plus de dix mille lignes de code Coq, avec une quantité de code pour la vérification de la sécurité et de l'activité atteignant respectivement 4000 lignes et 1700 lignes. Le professeur Shao Zhong a souligné lors de son discours : "Aujourd'hui, 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 a été proposé comme une solution de conception systématique pour surmonter cette difficulté."
Le CertiKOS, développé par le professeur Shao Zhong et son équipe, est le premier système d'exploitation "sans vulnérabilité" au monde à avoir été vérifié formellement, et il est salué comme un "jalon pour la sécurité des systèmes cyber-physiques". Cet accomplissement a non seulement établi son ancrage profond dans le domaine de la sécurité des systèmes, mais a également fourni une base solide pour les recherches futures. Ces dernières années, le professeur Shao Zhong s'est consacré à la sécurité des blockchains, en introduisant la technologie de vérification formelle pour garantir la sécurité des contrats intelligents et des protocoles sur chaîne, offrant ainsi un soutien solide à la sécurité des actifs cryptographiques.
LiDO a actuellement terminé la conception du modèle et la vérification formelle, et a commencé à explorer les possibilités d'intégration avec les chaînes publiques mainstream et les protocoles décentralisés. Le professeur Shao Zhong a déclaré qu'ils s'engagent à valider les mécanismes clés du Web3.0 pour fournir des produits et des services sur l'ensemble du cycle, afin de mieux soutenir 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é : "Une pile de protocoles réseau digne de confiance, 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.
10 J'aime
Récompense
10
4
Reposter
Partager
Commentaire
0/400
GweiWatcher
· Il y a 3h
Je suis occupé toute la journée à vendre à découvert, je comprends les bulls et les bears.
Voir l'originalRépondre0
GasFeeSobber
· Il y a 3h
La marque Yale est trop chère, je ne peux pas me le permettre.
Voir l'originalRépondre0
FlashLoanPrince
· Il y a 3h
Tu es encore monté au ciel, n'est-ce pas?
Voir l'originalRépondre0
GasFeeVictim
· Il y a 3h
Consensus protocole encore quelques nouvelles astuces, d'accord.
Le professeur de Yale publie le modèle LiDO pour soutenir les percées dans la validation des protocols de consensus Web3.
Au sommet des chercheurs Web3, le professeur de Yale a présenté 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 basés sur le raffinement : LiDO et son cadre d'extension ». Il a présenté pour la première fois le modèle LiDO développé par son équipe ainsi que le cadre d'extension LiDO-DAG. Cette réalisation révolutionnaire vise à fournir une preuve de sécurité et d'activité vérifiable mécaniquement pour les protocoles de consensus tolérants aux pannes byzantines (BFT), établissant ainsi une base technique pour la fiabilité et le développement à grande échelle de l'écosystème Web3.
Le professeur Zhao Zhong a souligné que les protocoles de consensus existants tels que PBFT sont largement utilisés, mais leur complexité d'implémentation 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 en trois couches.
Actuellement, LiDO a été appliqué avec succès au protocole industriel Jolteon (BFT à deux étapes) et à plusieurs protocoles DAG, complétant la preuve mécanisée de plus de dix mille lignes de code Coq, avec une quantité de code pour la vérification de la sécurité et de l'activité atteignant respectivement 4000 lignes et 1700 lignes. Le professeur Shao Zhong a souligné lors de son discours : "Aujourd'hui, 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 a été proposé comme une solution de conception systématique pour surmonter cette difficulté."
Le CertiKOS, développé par le professeur Shao Zhong et son équipe, est le premier système d'exploitation "sans vulnérabilité" au monde à avoir été vérifié formellement, et il est salué comme un "jalon pour la sécurité des systèmes cyber-physiques". Cet accomplissement a non seulement établi son ancrage profond dans le domaine de la sécurité des systèmes, mais a également fourni une base solide pour les recherches futures. Ces dernières années, le professeur Shao Zhong s'est consacré à la sécurité des blockchains, en introduisant la technologie de vérification formelle pour garantir la sécurité des contrats intelligents et des protocoles sur chaîne, offrant ainsi un soutien solide à la sécurité des actifs cryptographiques.
LiDO a actuellement terminé la conception du modèle et la vérification formelle, et a commencé à explorer les possibilités d'intégration avec les chaînes publiques mainstream et les protocoles décentralisés. Le professeur Shao Zhong a déclaré qu'ils s'engagent à valider les mécanismes clés du Web3.0 pour fournir des produits et des services sur l'ensemble du cycle, afin de mieux soutenir 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é : "Une pile de protocoles réseau digne de confiance, sécurisée et vérifiable sera le chemin clé vers un véritable avenir décentralisé."