Le professeur de Yale a lancé le modèle LiDO : une nouvelle percée dans la vérification de la sécurité des protocoles de consensus.

Au sommet des chercheurs Web3, un professeur de Yale partage un nouveau modèle de sécurité du protocole de consensus.

Récemment, le sommet des chercheurs Web3 de 2025 s'est tenu comme prévu. Lors de la conférence, 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 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. Ce résultat innovant vise à fournir des preuves de sécurité et d'activité vérifiables de manière mécanique pour les protocoles de consensus Byzantine Fault Tolerant (BFT) complexes, établissant 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é dans son discours que, bien que les protocoles de consensus existants (comme PBFT, 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 propose un cadre de vérification innovant en trois couches :

  1. Couche d'abstraction de sécurité : mapper le protocole en tant qu'automate d'état linéarisé, assurer la cohérence des journaux (sécurité) ;
  2. Couche de garantie active : introduction du mécanisme "Pacemaker", qui résout les problèmes de latence réseau grâce à la diffusion en cas de dépassement de délai et à la synchronisation des tours ;
  3. Couche d'extension DAG : supporte les nouveaux protocoles DAG tels que Narwhal, Bullshark, réalisant une validation efficace du consensus 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 10 000 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 4 000 lignes et 1 700 lignes. Le professeur Shao Zhong a souligné lors de sa présentation : "Actuellement, les protocoles de consensus PoS font face à un dilemme où il est difficile 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émique proposée pour briser ce dilemme."

Il convient de mentionner que 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 à avoir été vérifié formellement, salué comme "une étape importante pour 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 jette également les bases de ses recherches ultérieures dans le domaine de la sécurité blockchain. En 2017, le professeur Shao Zhong et son disciple 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 protocole sur chaîne, offrant une protection sécuritaire pour des actifs cryptographiques d'une valeur de plusieurs centaines de milliards de dollars.

Le modèle LiDO a actuellement achevé sa conception et sa vérification formelle, et a commencé à explorer les possibilités d'intégration avec les principales chaînes publiques 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 tout au long du cycle, et de 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 véritable avenir décentralisé."

Le co-fondateur de CertiK, le professeur Zhao Zhong, assiste au sommet des chercheurs Web3, présentant pour la première fois le modèle LiDO

DAG-4.83%
Voir l'original
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.
  • Récompense
  • 4
  • Partager
Commentaire
0/400
CryptoNomicsvip
· Il y a 9h
*soupir* un autre modèle prétendant résoudre le BFT alors que le véritable problème réside dans les équilibres de la théorie des jeux stochastiques... laisse-moi faire quelques calculs rapidement
Voir l'originalRépondre0
AirdropHunterKingvip
· Il y a 9h
C'est quoi encore ce truc sophistiqué ? Ne devrions-nous pas parler rapidement de l'Airdrop pour en profiter ?
Voir l'originalRépondre0
NFTragedyvip
· Il y a 10h
Encore un nouveau cadre... c'est sans fin.
Voir l'originalRépondre0
liquidation_watchervip
· Il y a 10h
D'accord, cette fois PBFT est condamné.
Voir l'originalRépondre0
  • Épingler
Trader les cryptos partout et à tout moment
qrCode
Scan pour télécharger Gate app
Communauté
Français (Afrique)
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)