Sommet des chercheurs Web3 : Le professeur de Yale présente le modèle LiDO et son cadre d'expansion
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é "Preuve de sécurité et de vivacité des protocoles de consensus affiné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. Ce résultat innovant vise à fournir une vérification mécanique de la sécurité et de la vivacité pour des protocoles de consensus tolérants aux pannes byzantines (BFT) complexes, posant ainsi les bases techniques pour la fiabilité et le développement à grande échelle de l'écosystème Web3.
Le professeur Shao Zhong a souligné lors de sa présentation que, bien que les protocoles de consensus existants (comme PBFT et Jolteon) soient largement utilisés, leur complexité d'implémentation 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 d'état linéarisée, garantir 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 en cas 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 efficace sans consensus de leader.
Actuellement, LiDO a été appliqué avec succès au protocole industriel Jolteon (BFT à deux étapes) ainsi qu'à plusieurs protocoles DAG, ayant complété plus de dix mille lignes de preuves mécaniques de code Coq, dont les volumes de code pour la vérification de la sécurité et de l'activité atteignent respectivement 4000 et 1700 lignes. Le professeur Shao Zhong a souligné lors de sa présentation : "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 briser ce dilemme."
En tant que développeur du système d'exploitation "sans faille" CertiKOS, le premier au monde à avoir été vérifié formellement, le professeur Zhao Zhong et son équipe ont accumulé une riche expérience dans le domaine de la sécurité des systèmes. Cette réalisation a non seulement établi une base technologique pour les entreprises de sécurité, mais a également démontré leur expertise dans le domaine de la sécurité des systèmes. Ces dernières années, le professeur Zhao Zhong a orienté ses recherches vers la sécurité des blockchains et, en 2017, a cofondé une entreprise de sécurité avec ses partenaires, introduisant la technologie de vérification formelle pour assurer la sécurité des contrats intelligents et des protocoles on-chain, offrant une protection sécuritaire pour 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 les principales chaînes de blocs et les 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.
20 J'aime
Récompense
20
5
Reposter
Partager
Commentaire
0/400
NonFungibleDegen
· Il y a 9h
haussier af sur la nouvelle sauce defi de yale... aping in ser
Voir l'originalRépondre0
ShamedApeSeller
· 08-14 00:08
Encore une arnaque
Voir l'originalRépondre0
CryptoWageSlave
· 08-14 00:06
Encore une preuve, le thé est déjà condamné.
Voir l'originalRépondre0
OfflineNewbie
· 08-14 00:03
Encore une fois, on prend les gens pour des idiots pour leur faire perdre de l'argent.
Le professeur de Yale publie le modèle LiDO : fournit une sécurité vérifiable pour le protocole de consensus Web3
Sommet des chercheurs Web3 : Le professeur de Yale présente le modèle LiDO et son cadre d'expansion
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é "Preuve de sécurité et de vivacité des protocoles de consensus affiné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. Ce résultat innovant vise à fournir une vérification mécanique de la sécurité et de la vivacité pour des protocoles de consensus tolérants aux pannes byzantines (BFT) complexes, posant ainsi les bases techniques pour la fiabilité et le développement à grande échelle de l'écosystème Web3.
Le professeur Shao Zhong a souligné lors de sa présentation que, bien que les protocoles de consensus existants (comme PBFT et Jolteon) soient largement utilisés, leur complexité d'implémentation 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 étapes) ainsi qu'à plusieurs protocoles DAG, ayant complété plus de dix mille lignes de preuves mécaniques de code Coq, dont les volumes de code pour la vérification de la sécurité et de l'activité atteignent respectivement 4000 et 1700 lignes. Le professeur Shao Zhong a souligné lors de sa présentation : "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 briser ce dilemme."
En tant que développeur du système d'exploitation "sans faille" CertiKOS, le premier au monde à avoir été vérifié formellement, le professeur Zhao Zhong et son équipe ont accumulé une riche expérience dans le domaine de la sécurité des systèmes. Cette réalisation a non seulement établi une base technologique pour les entreprises de sécurité, mais a également démontré leur expertise dans le domaine de la sécurité des systèmes. Ces dernières années, le professeur Zhao Zhong a orienté ses recherches vers la sécurité des blockchains et, en 2017, a cofondé une entreprise de sécurité avec ses partenaires, introduisant la technologie de vérification formelle pour assurer la sécurité des contrats intelligents et des protocoles on-chain, offrant une protection sécuritaire pour 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 les principales chaînes de blocs et les 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é."