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 2025, le professeur Zhao Zhong du département d'informatique de l'université de Yale a donné une conférence intitulée « Sécurité et preuve d'activité 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 ainsi que 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 les protocoles de consensus tolérants aux fautes de Byzantine (BFT), é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 entraîne souvent des risques de sécurité potentiels. Pour résoudre ce problème, le modèle LiDO a innové en proposant un cadre de vérification affiné en trois couches :
Couche d'abstraction sécurisée : 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 par dépassement de délai et à la synchronisation des tours ;
Couche d'extension DAG : prend en charge de nouveaux protocoles DAG émergents tels que Narwhal et Bullshark, réalisant une validation efficace sans consensus de leader.
Actuellement, LiDO a été appliqué avec succès aux protocoles industriels Jolteon (BFT à deux phases) et à plusieurs protocoles DAG, ayant complété plus de dix mille lignes de preuves mécaniques de code Coq, dont la quantité 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 : "À l'heure actuelle, les protocoles de consensus PoS sont généralement confrontés à la difficulté d'atteindre simultanément la sécurité, l'activité et la décentralisation. Le modèle LiDO est précisément une solution de conception systématique proposée pour briser cette impasse."
Il convient de noter que le professeur Shao Zhong a dirigé une équipe qui a développé le premier système d'exploitation "sans faille" CertiKOS au monde, reconnu par l'industrie comme un "jalon pour la sécurité des systèmes cyber-physiques". Cet accomplissement démontre non seulement l'expertise de son équipe dans le domaine de la sécurité des systèmes, mais établit également une base solide pour les recherches futures sur la sécurité des blockchains. En 2017, le professeur Shao Zhong et son élève, le professeur Gu Ronghui, ont conjointement introduit la technologie de vérification formelle dans le domaine de 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.
Le modèle LiDO a actuellement été conçu et vérifié formellement, et commence à explorer les possibilités d'intégration avec les principales chaînes publiques et les protocoles décentralisés. Le professeur Zhao Zhong a déclaré qu'ils s'engagent à valider les mécanismes clés du Web3.0 afin de fournir des produits et des 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 sa présentation, le professeur Zhao Zhong a souligné : "Une pile de protocoles réseau fiable, sécurisée et vérifiable sera la voie 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.
13 J'aime
Récompense
13
4
Partager
Commentaire
0/400
NFTArtisanHQ
· 08-04 14:23
ah, enfin quelqu'un aborde le paradigme esthétique du consensus... ça me rappelle les ready-made de Duchamp, pour être honnête.
Voir l'originalRépondre0
InfraVibes
· 08-04 05:50
C'est encore un projet de rêve.
Voir l'originalRépondre0
StableNomad
· 08-02 01:55
hmm un autre modèle de consensus... je ressens un peu de ptsd de luna dao rn
Voir l'originalRépondre0
ZKProofster
· 08-02 01:50
techniquement parlant, cette chose lido n'est pas vraiment révolutionnaire... juste un autre wrapper bft pour être honnête
Le professeur de Yale se présente au sommet Web3 : le modèle LiDO résout le dilemme du protocole de consensus.
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 2025, le professeur Zhao Zhong du département d'informatique de l'université de Yale a donné une conférence intitulée « Sécurité et preuve d'activité 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 ainsi que 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 les protocoles de consensus tolérants aux fautes de Byzantine (BFT), é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 entraîne souvent des risques de sécurité potentiels. Pour résoudre ce problème, le modèle LiDO a innové en proposant un cadre de vérification affiné en trois couches :
Actuellement, LiDO a été appliqué avec succès aux protocoles industriels Jolteon (BFT à deux phases) et à plusieurs protocoles DAG, ayant complété plus de dix mille lignes de preuves mécaniques de code Coq, dont la quantité 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 : "À l'heure actuelle, les protocoles de consensus PoS sont généralement confrontés à la difficulté d'atteindre simultanément la sécurité, l'activité et la décentralisation. Le modèle LiDO est précisément une solution de conception systématique proposée pour briser cette impasse."
Il convient de noter que le professeur Shao Zhong a dirigé une équipe qui a développé le premier système d'exploitation "sans faille" CertiKOS au monde, reconnu par l'industrie comme un "jalon pour la sécurité des systèmes cyber-physiques". Cet accomplissement démontre non seulement l'expertise de son équipe dans le domaine de la sécurité des systèmes, mais établit également une base solide pour les recherches futures sur la sécurité des blockchains. En 2017, le professeur Shao Zhong et son élève, le professeur Gu Ronghui, ont conjointement introduit la technologie de vérification formelle dans le domaine de 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.
Le modèle LiDO a actuellement été conçu et vérifié formellement, et commence à explorer les possibilités d'intégration avec les principales chaînes publiques et les protocoles décentralisés. Le professeur Zhao Zhong a déclaré qu'ils s'engagent à valider les mécanismes clés du Web3.0 afin de fournir des produits et des 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 sa présentation, le professeur Zhao Zhong a souligné : "Une pile de protocoles réseau fiable, sécurisée et vérifiable sera la voie clé vers un véritable avenir décentralisé."