Le sommet des chercheurs Web3 se concentre sur le cadre de validation de sécurité des nouveaux protocoles de consensus
Lors du récent sommet des chercheurs Web3 de 2025, le professeur Shao Zhong du département d'informatique de l'université de Yale a donné un discours principal intitulé "Preuves de sécurité et d'activité pour les protocoles de consensus raffiné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 mécaniquement pour les protocoles de consensus tolérants aux pannes byzantines (BFT), établissant ainsi une base technique solide 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, 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 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 le problème de latence réseau grâce à la diffusion de timeout et à la synchronisation des tours ;
Couche d'extension DAG : prend en charge de nouveaux protocoles DAG émergents tels que Narwhal et 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 preuves mécaniques de code 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 à un dilemme où il est difficile d'atteindre à la fois 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 ce goulot d'étranglement."
En tant que leader du développement de CertiKOS, le premier système d'exploitation "sans vulnérabilités" vérifié formellement au monde, le professeur Zhao Zhong et son équipe ont accumulé une solide expertise technique dans le domaine de la sécurité des systèmes. Cet accomplissement a non seulement jeté des bases solides pour leurs recherches ultérieures, mais a également démontré leur contribution exceptionnelle dans le domaine de la sécurité des systèmes. Ces dernières années, le professeur Zhao Zhong a recentré ses recherches sur 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, offrant une protection sécuritaire aux actifs cryptographiques de plusieurs milliards de dollars.
Le modèle LiDO a actuellement terminé la conception et la vérification formelle, et a commencé à explorer la possibilité 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 afin de fournir des produits et services sur l'ensemble 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 sa présentation, 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.
14 J'aime
Récompense
14
6
Reposter
Partager
Commentaire
0/400
GasDevourer
· Il y a 8h
bull ah frère un pas à la fois
Voir l'originalRépondre0
MoonRocketman
· Il y a 8h
Ce piège est le carburant essentiel pour percer l'atmosphère. Optimiste.
Voir l'originalRépondre0
Blockblind
· Il y a 8h
Enfin, il y a une vérification de sécurité récente.
Voir l'originalRépondre0
governance_ghost
· Il y a 8h
Arrête de raconter des salades, tous les bugs ont été corrigés depuis longtemps.
Voir l'originalRépondre0
gas_fee_therapy
· Il y a 8h
Eh ? Ce protocole n'a pas de grande avancée, non ?
Le nouveau protocole de consensus sécurisé de Web3 LiDO a été présenté au sommet des chercheurs.
Le sommet des chercheurs Web3 se concentre sur le cadre de validation de sécurité des nouveaux protocoles de consensus
Lors du récent sommet des chercheurs Web3 de 2025, le professeur Shao Zhong du département d'informatique de l'université de Yale a donné un discours principal intitulé "Preuves de sécurité et d'activité pour les protocoles de consensus raffiné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 mécaniquement pour les protocoles de consensus tolérants aux pannes byzantines (BFT), établissant ainsi une base technique solide 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, 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 au protocole industriel Jolteon (BFT à deux étapes) et à plusieurs protocoles DAG, complétant plus de dix mille lignes de preuves mécaniques de code 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 à un dilemme où il est difficile d'atteindre à la fois 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 ce goulot d'étranglement."
En tant que leader du développement de CertiKOS, le premier système d'exploitation "sans vulnérabilités" vérifié formellement au monde, le professeur Zhao Zhong et son équipe ont accumulé une solide expertise technique dans le domaine de la sécurité des systèmes. Cet accomplissement a non seulement jeté des bases solides pour leurs recherches ultérieures, mais a également démontré leur contribution exceptionnelle dans le domaine de la sécurité des systèmes. Ces dernières années, le professeur Zhao Zhong a recentré ses recherches sur 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, offrant une protection sécuritaire aux actifs cryptographiques de plusieurs milliards de dollars.
Le modèle LiDO a actuellement terminé la conception et la vérification formelle, et a commencé à explorer la possibilité 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 afin de fournir des produits et services sur l'ensemble 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 sa présentation, 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é."