Lors du sommet des érudits Web3, le professeur de Yale a présenté 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 intitulé « Preuves de sécurité et 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 et le cadre d'extension LiDO-DAG. Cette réalisation innovante vise à fournir des preuves de sécurité et d'activité vérifiables mécaniquement pour les protocoles de consensus tolérants aux fautes de Byzantine (BFT), ouvrant la voie à la fiabilité et au développement à grande échelle de l'écosystème Web3.
Le professeur Shao Zhong a souligné lors de sa conférence 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 potentielles en matière de sécurité. Pour résoudre ce problème, le modèle LiDO a proposé un cadre de vérification innovant à trois niveaux :
Couche d'abstraction de sécurité : mapper le protocole en une machine à états linéaire, assurer la cohérence des journaux et garantir la 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 : prend en charge les nouveaux protocoles DAG émergents tels que Narwhal, Bullshark, pour réaliser une validation de consensus efficace sans leader.
Actuellement, LiDO a été appliqué avec succès au protocole industriel Jolteon (BFT à deux étapes) ainsi qu'à plusieurs protocoles DAG, complétant plus de dix mille lignes de preuves mécaniques 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 Zhao Zhong a souligné lors de sa présentation : "Actuellement, les protocoles de consensus PoS font généralement face à la difficulté de concilier sécurité, activité et décentralisation. Le modèle LiDO est justement une solution de conception systématique proposée pour briser cette impasse."
L'équipe dirigée par le professeur Shao Zhong a précédemment développé CertiKOS, le premier système d'exploitation "sans vulnérabilités" au monde grâce à la vérification formelle, salué par l'industrie comme un "jalon de la sécurité des systèmes cyber-physiques". Cet exploit a non seulement établi 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é des blockchains et, en 2017, a co-fondé une entreprise de sécurité avec ses collègues, intégrant des techniques de vérification formelle pour garantir la sécurité des contrats intelligents et des protocoles on-chain, offrant une protection sécuritaire à des actifs cryptographiques de plusieurs 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 des chaînes de blocs majeures et des protocoles décentralisés. 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 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é : "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.
15 J'aime
Récompense
15
7
Partager
Commentaire
0/400
LiquidityWitch
· 07-25 10:19
Cette vague a vraiment brisé toutes les défenses.
Voir l'originalRépondre0
CryptoMotivator
· 07-24 15:10
C'est complètement hors de propos, et il y a encore des recherches sur le modèle ici.
Voir l'originalRépondre0
New_Ser_Ngmi
· 07-22 16:54
Franchement, vous étudiez encore Byzance ?
Voir l'originalRépondre0
FlyingLeek
· 07-22 16:53
Blockchain actionnaires, un réseau un réseau un réseau perte
Voir l'originalRépondre0
UnluckyLemur
· 07-22 16:42
Ce n'est pas une arnaque, n'est-ce pas ?
Voir l'originalRépondre0
LidoStakeAddict
· 07-22 16:42
Bull, ça y est, la sécurité du consensus BFT est assurée.
Voir l'originalRépondre0
GweiWatcher
· 07-22 16:41
Cette gouvernance off-chain est désormais garantie.
Le professeur de Yale publie le modèle LiDO : fournissant une vérification formelle pour le protocole de consensus Web3
Lors du sommet des érudits Web3, le professeur de Yale a présenté 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 intitulé « Preuves de sécurité et 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 et le cadre d'extension LiDO-DAG. Cette réalisation innovante vise à fournir des preuves de sécurité et d'activité vérifiables mécaniquement pour les protocoles de consensus tolérants aux fautes de Byzantine (BFT), ouvrant la voie à la fiabilité et au développement à grande échelle de l'écosystème Web3.
Le professeur Shao Zhong a souligné lors de sa conférence 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 potentielles en matière de sécurité. Pour résoudre ce problème, le modèle LiDO a proposé un cadre de vérification innovant à trois niveaux :
Actuellement, LiDO a été appliqué avec succès au protocole industriel Jolteon (BFT à deux étapes) ainsi qu'à plusieurs protocoles DAG, complétant plus de dix mille lignes de preuves mécaniques 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 Zhao Zhong a souligné lors de sa présentation : "Actuellement, les protocoles de consensus PoS font généralement face à la difficulté de concilier sécurité, activité et décentralisation. Le modèle LiDO est justement une solution de conception systématique proposée pour briser cette impasse."
L'équipe dirigée par le professeur Shao Zhong a précédemment développé CertiKOS, le premier système d'exploitation "sans vulnérabilités" au monde grâce à la vérification formelle, salué par l'industrie comme un "jalon de la sécurité des systèmes cyber-physiques". Cet exploit a non seulement établi 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é des blockchains et, en 2017, a co-fondé une entreprise de sécurité avec ses collègues, intégrant des techniques de vérification formelle pour garantir la sécurité des contrats intelligents et des protocoles on-chain, offrant une protection sécuritaire à des actifs cryptographiques de plusieurs 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 des chaînes de blocs majeures et des protocoles décentralisés. 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 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é : "Une pile de protocoles réseau fiable, sécurisée et vérifiable sera le chemin clé vers un véritable avenir décentralisé."