Au sommet des chercheurs Web3, le professeur de Yale a présenté pour la première fois le modèle LiDO.
La conférence des chercheurs Web3 de 2025 s'est récemment tenue, et le professeur Zhao Zhong du département d'informatique de l'Université de Yale a prononcé un discours principal intitulé « Preuve de sécurité et d'activité des protocoles de consensus affinés : LiDO et son extension », révélant pour la première fois le modèle LiDO développé par son équipe et 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) complexes, posant ainsi une base technique pour le développement de la fiabilité et de l'évolutivité 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é de mise en œuvre 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 niveaux :
Couche d'abstraction de sécurité : mapper le protocole en une machine à états 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 par diffusion de dépassement de délai et synchronisation des tours ;
Couche d'extension DAG : prend en charge les 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 au protocole industriel Jolteon (BFT à deux étapes) et à plusieurs protocoles DAG, ayant complété plus de 10 000 lignes de preuves mécanisées en Coq, dont le code pour la vérification de la sécurité et de l'activité représente respectivement 4 000 lignes et 1 700 lignes. Le professeur Shao Zhong a souligné lors de son discours : "Actuellement, les protocoles de consensus PoS sont 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 surmonter cette difficulté."
Le CertiKOS, développé par le professeur Shao Zhong et son équipe, est le premier système d'exploitation "sans faille" au monde grâce à la vérification formelle, salué comme un "jalon pour la sécurité des systèmes cyber-physiques". Cet exploit non seulement établit leur solide accumulation dans le domaine de la sécurité des systèmes, mais démontre également leur expertise dans ce domaine. Ces dernières années, le professeur Shao Zhong s'est plongé dans la recherche sur la sécurité de la blockchain, et en 2017, il a introduit avec son étudiant, le professeur Gu Ronghui, la technologie de vérification formelle dans le domaine de la sécurité des contrats intelligents et des protocoles en chaîne, fournissant 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 a commencé à 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 à vérifier les mécanismes clés dans le Web3.0 afin de fournir des produits et 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 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.
17 J'aime
Récompense
17
10
Partager
Commentaire
0/400
BlockchainTherapist
· 08-01 13:34
Encore un modèle que je ne comprends pas.
Voir l'originalRépondre0
PanicSeller
· 08-01 07:13
Les géants jouent tous au web3, si vous n'entrez pas dans une position maintenant, il sera trop tard.
Voir l'originalRépondre0
BearHugger
· 08-01 00:51
Qu'est-ce que c'est encore cette histoire de concepts ?
Voir l'originalRépondre0
Layer3Dreamer
· 07-30 11:39
théoriquement parlant, le cadre DAG de LiDO pourrait bien résoudre notre goulot d'étranglement de pontage L3...
Voir l'originalRépondre0
MelonField
· 07-29 17:04
Je ne regarde pas, c'est un bull.
Voir l'originalRépondre0
NewPumpamentals
· 07-29 17:03
Encore un qui n'est rien d'autre qu'un vieux vin dans une nouvelle bouteille.
Voir l'originalRépondre0
BagHolderTillRetire
· 07-29 17:02
Encore une fois, parler de concepts. Pour l'investissement, il faut se fier à gmx.
Voir l'originalRépondre0
gas_fee_therapy
· 07-29 16:48
Encore un protocole de consensus... ça commence à avoir de la gueule
Voir l'originalRépondre0
ZkProofPudding
· 07-29 16:45
Pourquoi encore un modèle théorique
Voir l'originalRépondre0
WalletWhisperer
· 07-29 16:43
Encore une théorie de cadre profonde et mystérieuse.
Le professeur de Yale publie le modèle LiDO : un nouveau cadre de vérification de la sécurité des protocoles de consensus Web3
Au sommet des chercheurs Web3, le professeur de Yale a présenté pour la première fois le modèle LiDO.
La conférence des chercheurs Web3 de 2025 s'est récemment tenue, et le professeur Zhao Zhong du département d'informatique de l'Université de Yale a prononcé un discours principal intitulé « Preuve de sécurité et d'activité des protocoles de consensus affinés : LiDO et son extension », révélant pour la première fois le modèle LiDO développé par son équipe et 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) complexes, posant ainsi une base technique pour le développement de la fiabilité et de l'évolutivité 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é de mise en œuvre 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 niveaux :
Actuellement, LiDO a été appliqué avec succès au protocole industriel Jolteon (BFT à deux étapes) et à plusieurs protocoles DAG, ayant complété plus de 10 000 lignes de preuves mécanisées en Coq, dont le code pour la vérification de la sécurité et de l'activité représente respectivement 4 000 lignes et 1 700 lignes. Le professeur Shao Zhong a souligné lors de son discours : "Actuellement, les protocoles de consensus PoS sont 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 surmonter cette difficulté."
Le CertiKOS, développé par le professeur Shao Zhong et son équipe, est le premier système d'exploitation "sans faille" au monde grâce à la vérification formelle, salué comme un "jalon pour la sécurité des systèmes cyber-physiques". Cet exploit non seulement établit leur solide accumulation dans le domaine de la sécurité des systèmes, mais démontre également leur expertise dans ce domaine. Ces dernières années, le professeur Shao Zhong s'est plongé dans la recherche sur la sécurité de la blockchain, et en 2017, il a introduit avec son étudiant, le professeur Gu Ronghui, la technologie de vérification formelle dans le domaine de la sécurité des contrats intelligents et des protocoles en chaîne, fournissant 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 a commencé à 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 à vérifier les mécanismes clés dans le Web3.0 afin de fournir des produits et 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 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é."