Au sommet des universitaires Web3, un professeur de Yale a publié un modèle de validation innovant pour le protocole de consensus.
Lors du sommet des chercheurs Web3 de 2025, le professeur Zhao Zhong du département d'informatique de l'université Yale a prononcé un discours intitulé « Sécurité et preuve 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. Cette avancée révolutionnaire vise à fournir des preuves de sécurité et d'activité vérifiables mécaniquement pour les protocoles de consensus Byzantine Fault Tolerance (BFT) complexes, établissant 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 (comme PBFT, Jolteon) soient largement utilisés, la complexité de leur mise en œuvre cache souvent des vulnérabilités potentielles. Pour résoudre ce problème, le modèle LiDO propose de manière innovante un cadre de validation à trois niveaux :
Couche d'abstraction sécurisée : mapper le protocole à une machine d'état linéarisée, assurer 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 la diffusion 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, réalisant une validation efficace du Consensus sans leader.
Actuellement, LiDO a été appliqué avec succès au protocole industriel Jolteon (BFT à deux étapes) et à plusieurs protocoles DAG, complétant plus de dix mille lignes de code Coq pour une preuve mécanique, avec des quantités de code de vérification de sécurité et de vivacité atteignant respectivement 4000 et 1700 lignes. Le professeur Shao Zhong a souligné lors de son discours : "Actuellement, les protocoles de consensus PoS font face à la difficulté d'atteindre simultanément sécurité, vivacité et décentralisation. Le modèle LiDO est exactement une solution de conception systématique proposée pour surmonter cette impasse."
En tant que développeur du premier système d'exploitation "sans faille" CertiKOS, validé par des vérifications formelles, le professeur Shao Zhong possède une solide expérience dans le domaine de la sécurité des systèmes. Ces dernières années, il a recentré ses recherches sur la sécurité des blockchains et a cofondé une entreprise de sécurité en 2017 avec des partenaires, introduisant la technologie de vérification formelle pour garantir la sécurité des contrats intelligents et des protocoles on-chain, offrant ainsi une protection sécuritaire aux actifs cryptographiques à grande échelle.
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 chaînes publiques mainstream et les 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, 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é : "Un protocole réseau fiable, sécurisé 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
5
Reposter
Partager
Commentaire
0/400
AltcoinMarathoner
· 07-12 03:10
LiDO : une étape technologique majeure !
Voir l'originalRépondre0
OfflineNewbie
· 07-10 04:41
La recherche est trop avancée, je ne comprends pas.
Le professeur de Yale publie LiDO : fournissant des garanties de sécurité vérifiables pour le protocole de consensus Web3
Au sommet des universitaires Web3, un professeur de Yale a publié un modèle de validation innovant pour le protocole de consensus.
Lors du sommet des chercheurs Web3 de 2025, le professeur Zhao Zhong du département d'informatique de l'université Yale a prononcé un discours intitulé « Sécurité et preuve 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. Cette avancée révolutionnaire vise à fournir des preuves de sécurité et d'activité vérifiables mécaniquement pour les protocoles de consensus Byzantine Fault Tolerance (BFT) complexes, établissant 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 (comme PBFT, Jolteon) soient largement utilisés, la complexité de leur mise en œuvre cache souvent des vulnérabilités potentielles. Pour résoudre ce problème, le modèle LiDO propose de manière innovante un cadre de validation à trois niveaux :
Actuellement, LiDO a été appliqué avec succès au protocole industriel Jolteon (BFT à deux étapes) et à plusieurs protocoles DAG, complétant plus de dix mille lignes de code Coq pour une preuve mécanique, avec des quantités de code de vérification de sécurité et de vivacité atteignant respectivement 4000 et 1700 lignes. Le professeur Shao Zhong a souligné lors de son discours : "Actuellement, les protocoles de consensus PoS font face à la difficulté d'atteindre simultanément sécurité, vivacité et décentralisation. Le modèle LiDO est exactement une solution de conception systématique proposée pour surmonter cette impasse."
En tant que développeur du premier système d'exploitation "sans faille" CertiKOS, validé par des vérifications formelles, le professeur Shao Zhong possède une solide expérience dans le domaine de la sécurité des systèmes. Ces dernières années, il a recentré ses recherches sur la sécurité des blockchains et a cofondé une entreprise de sécurité en 2017 avec des partenaires, introduisant la technologie de vérification formelle pour garantir la sécurité des contrats intelligents et des protocoles on-chain, offrant ainsi une protection sécuritaire aux actifs cryptographiques à grande échelle.
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 chaînes publiques mainstream et les 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, 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é : "Un protocole réseau fiable, sécurisé et vérifiable sera le chemin clé vers un avenir véritablement décentralisé."