Le sommet des chercheurs Web3 révèle le nouveau modèle de sécurité des protocoles de consensus de nouvelle génération
Lors du sommet des chercheurs Web3 de 2025 qui s'est tenu récemment, le professeur Zhao Zhong du département d'informatique de l'Université de Yale a donné une conférence intitulée « Preuves de sécurité et d'activité basées sur un protocole de consensus raffiné : LiDO et son extension ». C'est la première fois qu'il dévoile le modèle LiDO développé par son équipe ainsi que le cadre d'extension LiDO-DAG. Cette réalisation révolutionnaire 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 (BFT), posant ainsi la pierre angulaire technique pour la fiabilité et le développement à grande échelle de l'écosystème Web3.
Le professeur Shao Zhong a souligné lors de son discours que, bien que les protocoles de consensus existants tels que PBFT et Jolteon soient largement utilisés, leur complexité d'implémentation 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 vérification en trois couches :
Couche d'abstraction de sécurité : mapper le protocole en une machine à états linéaire, garantissant la cohérence des journaux (sécurité) ;
Couche de protection 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 : prise en charge des nouveaux protocoles DAG tels que Narwhal, Bullshark, permettant une validation efficace du consensus sans leader.
Actuellement, LiDO a été appliqué avec succès aux protocoles industriels Jolteon (BFT à deux étapes) et à plusieurs protocoles DAG, achevant plus de dix mille lignes de preuves mécaniques en Coq, 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 souligne : "Actuellement, les protocoles de consensus PoS font face à la difficulté générale de concilier sécurité, activité et décentralisation. Le modèle LiDO est justement une proposition de conception systémique visant à surmonter cette impasse."
En tant que fondateur de CertiKOS, le premier système d'exploitation "sans vulnérabilités" vérifié formellement au monde, le professeur Shao Zhong possède une solide expérience dans le domaine de la sécurité des systèmes. Cette réalisation non seulement établit sa base dans le domaine des technologies de sécurité, mais démontre également son expertise en matière de sécurité des systèmes. Ces dernières années, le professeur Shao Zhong a déplacé son axe de recherche vers la sécurité de la blockchain, s'efforçant d'appliquer la technologie de vérification formelle à 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.
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 chaînes publiques et les protocoles décentralisés. Le professeur Shao Zhong a déclaré qu'ils s'engagent à valider les mécanismes clés dans Web3.0 pour fournir des produits et services sur l'ensemble du cycle, afin 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é : "Un protocole réseau fiable, sûr et vérifiable sera la voie clé vers un véritable avenir décentralisé." Ce point de vue met en évidence l'importance de construire une infrastructure sécurisée et fiable pour promouvoir le développement sain de l'ensemble de l'écosystème à l'ère du Web3.
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.
11 J'aime
Récompense
11
7
Partager
Commentaire
0/400
CrashHotline
· 07-24 20:28
Ces modèles de recherche ne servent à rien.
Voir l'originalRépondre0
ZenChainWalker
· 07-24 09:30
Hé hé, à la fois impressionnant et bruyant.
Voir l'originalRépondre0
BTCBeliefStation
· 07-24 07:52
dang ne peut toujours pas défaire les trois vieux gâteaux
Voir l'originalRépondre0
MoneyBurnerSociety
· 07-21 20:58
Une autre raison de vider le portefeuille... Je vais l'étudier directement !
Voir l'originalRépondre0
MEV_Whisperer
· 07-21 20:58
Encore un nouveau modèle et un protocole, vraiment amusant.
Voir l'originalRépondre0
LiquidationWatcher
· 07-21 20:58
On revient à la théorie, gagner de l'argent est ce qu'il y a de plus concret.
Web3 Scholars Summit : Le modèle LiDO marque une ère pour la sécurité des protocoles de consensus
Le sommet des chercheurs Web3 révèle le nouveau modèle de sécurité des protocoles de consensus de nouvelle génération
Lors du sommet des chercheurs Web3 de 2025 qui s'est tenu récemment, le professeur Zhao Zhong du département d'informatique de l'Université de Yale a donné une conférence intitulée « Preuves de sécurité et d'activité basées sur un protocole de consensus raffiné : LiDO et son extension ». C'est la première fois qu'il dévoile le modèle LiDO développé par son équipe ainsi que le cadre d'extension LiDO-DAG. Cette réalisation révolutionnaire 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 (BFT), posant ainsi la pierre angulaire technique pour la fiabilité et le développement à grande échelle de l'écosystème Web3.
Le professeur Shao Zhong a souligné lors de son discours que, bien que les protocoles de consensus existants tels que PBFT et Jolteon soient largement utilisés, leur complexité d'implémentation 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 vérification en trois couches :
Actuellement, LiDO a été appliqué avec succès aux protocoles industriels Jolteon (BFT à deux étapes) et à plusieurs protocoles DAG, achevant plus de dix mille lignes de preuves mécaniques en Coq, 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 souligne : "Actuellement, les protocoles de consensus PoS font face à la difficulté générale de concilier sécurité, activité et décentralisation. Le modèle LiDO est justement une proposition de conception systémique visant à surmonter cette impasse."
En tant que fondateur de CertiKOS, le premier système d'exploitation "sans vulnérabilités" vérifié formellement au monde, le professeur Shao Zhong possède une solide expérience dans le domaine de la sécurité des systèmes. Cette réalisation non seulement établit sa base dans le domaine des technologies de sécurité, mais démontre également son expertise en matière de sécurité des systèmes. Ces dernières années, le professeur Shao Zhong a déplacé son axe de recherche vers la sécurité de la blockchain, s'efforçant d'appliquer la technologie de vérification formelle à 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.
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 chaînes publiques et les protocoles décentralisés. Le professeur Shao Zhong a déclaré qu'ils s'engagent à valider les mécanismes clés dans Web3.0 pour fournir des produits et services sur l'ensemble du cycle, afin 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é : "Un protocole réseau fiable, sûr et vérifiable sera la voie clé vers un véritable avenir décentralisé." Ce point de vue met en évidence l'importance de construire une infrastructure sécurisée et fiable pour promouvoir le développement sain de l'ensemble de l'écosystème à l'ère du Web3.