Un professeur de Yale a présenté pour la première fois le modèle LiDO lors du sommet des chercheurs Web3.
Lors du sommet des académiciens Web3 de 2025, le professeur Zhao Zhong du département d'informatique de l'université de Yale a donné un discours principal intitulé "Preuves de sécurité et d'activité des protocoles de consensus affinés : LiDO et son 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. Ce résultat innovant vise à fournir des preuves de sécurité et d'activité vérifiables de manière mécanisée pour les protocoles de consensus tolérants aux pannes byzantines complexes (BFT), posant ainsi les bases techniques pour la fiabilité et le développement à grande échelle de l'écosystème Web3.
Le professeur Zhao Zhong a souligné dans son discours que les protocoles de consensus existants (tels que PBFT, Jolteon), bien qu'ils soient largement utilisés, cachent souvent des vulnérabilités potentielles en raison de leur complexité d'implémentation. Pour résoudre ce problème, le modèle LiDO propose un cadre de validation affiné en trois couches :
Couche d'abstraction sécurisée : mapper le protocole en une machine d'état 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 de dépassement de délai et à la synchronisation des tours ;
Couche d'extension DAG : prend en charge les nouveaux protocoles DAG, réalisant une vérification efficace sans consensus de leader.
Actuellement, LiDO a été appliqué avec succès au protocole industriel Jolteon (BFT à deux étapes) et à plusieurs protocoles DAG, ayant complété plus de dix mille lignes de code Coq pour des preuves mécaniques, 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 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 justement une proposition de conception systématique destinée à surmonter cette difficulté."
L'équipe dirigée par le professeur Shao Zhong a précédemment développé CertiKOS, le premier système d'exploitation "sans faille" au monde basé sur une vérification formelle, considéré comme un "jalon de la sécurité des systèmes cyber-physiques". Cet accomplissement démontre non seulement son expertise approfondie dans le domaine de la sécurité des systèmes, mais établit également une base pour ses recherches ultérieures dans le domaine de la sécurité blockchain. En 2017, le professeur Shao Zhong a commencé à explorer en profondeur la sécurité blockchain, introduisant des techniques de vérification formelle pour garantir la sécurité des contrats intelligents et des protocoles en chaîne, fournissant une protection sécuritaire à un grand nombre d'actifs cryptographiques.
Le modèle LiDO a actuellement terminé sa conception et sa vérification formelle, et commence à explorer les possibilités d'intégration avec les principales blockchains et protocoles décentralisés. Le professeur Shao Zhong a déclaré qu'ils s'engagent à valider les mécanismes clés du Web3.0, afin de fournir des produits et services sur l'ensemble du cycle, pour 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 fiable, sécurisée et vérifiable sera le chemin clé vers un avenir véritablement 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.
9 J'aime
Récompense
9
6
Reposter
Partager
Commentaire
0/400
AltcoinMarathoner
· Il y a 7h
enfin... tout comme le kilomètre 23 d'un marathon crypto, les protocoles de consensus prennent de l'élan. le modèle lido est ce second souffle dont nous avions besoin, pour être honnête.
Voir l'originalRépondre0
SchrodingerWallet
· Il y a 20h
Yale joue aussi à Byzance, ça peut fonctionner.
Voir l'originalRépondre0
NftMetaversePainter
· Il y a 20h
enfin... quelqu'un aborde l'esthétique algorithmique des protocoles de consensus. c'est de la pure poésie computationnelle ngl
Voir l'originalRépondre0
PensionDestroyer
· Il y a 20h
Maintenant, le web3 peut corriger ses propres bugs.
Voir l'originalRépondre0
AirdropATM
· Il y a 20h
Attends, n'est-ce pas juste en train d'écrire une couche de sécurité ? C'est une vieille bouteille avec un nouveau vin.
Voir l'originalRépondre0
SerumSqueezer
· Il y a 20h
Trop fort, encore un pro de l'univers de la cryptomonnaie.
Le professeur de Yale a lancé le modèle LiDO pour aider à la vérification de la sécurité du protocole de consensus Web3.
Un professeur de Yale a présenté pour la première fois le modèle LiDO lors du sommet des chercheurs Web3.
Lors du sommet des académiciens Web3 de 2025, le professeur Zhao Zhong du département d'informatique de l'université de Yale a donné un discours principal intitulé "Preuves de sécurité et d'activité des protocoles de consensus affinés : LiDO et son 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. Ce résultat innovant vise à fournir des preuves de sécurité et d'activité vérifiables de manière mécanisée pour les protocoles de consensus tolérants aux pannes byzantines complexes (BFT), posant ainsi les bases techniques pour la fiabilité et le développement à grande échelle de l'écosystème Web3.
Le professeur Zhao Zhong a souligné dans son discours que les protocoles de consensus existants (tels que PBFT, Jolteon), bien qu'ils soient largement utilisés, cachent souvent des vulnérabilités potentielles en raison de leur complexité d'implémentation. Pour résoudre ce problème, le modèle LiDO propose un cadre de validation affiné en trois couches :
Actuellement, LiDO a été appliqué avec succès au protocole industriel Jolteon (BFT à deux étapes) et à plusieurs protocoles DAG, ayant complété plus de dix mille lignes de code Coq pour des preuves mécaniques, 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 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 justement une proposition de conception systématique destinée à surmonter cette difficulté."
L'équipe dirigée par le professeur Shao Zhong a précédemment développé CertiKOS, le premier système d'exploitation "sans faille" au monde basé sur une vérification formelle, considéré comme un "jalon de la sécurité des systèmes cyber-physiques". Cet accomplissement démontre non seulement son expertise approfondie dans le domaine de la sécurité des systèmes, mais établit également une base pour ses recherches ultérieures dans le domaine de la sécurité blockchain. En 2017, le professeur Shao Zhong a commencé à explorer en profondeur la sécurité blockchain, introduisant des techniques de vérification formelle pour garantir la sécurité des contrats intelligents et des protocoles en chaîne, fournissant une protection sécuritaire à un grand nombre d'actifs cryptographiques.
Le modèle LiDO a actuellement terminé sa conception et sa vérification formelle, et commence à explorer les possibilités d'intégration avec les principales blockchains et protocoles décentralisés. Le professeur Shao Zhong a déclaré qu'ils s'engagent à valider les mécanismes clés du Web3.0, afin de fournir des produits et services sur l'ensemble du cycle, pour 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 fiable, sécurisée et vérifiable sera le chemin clé vers un avenir véritablement décentralisé."