Le sommet des chercheurs Web3 se concentre sur la recherche de la sécurité des Consensus protocole, le nouveau modèle LiDO suscite l'intérêt
Lors du récent sommet des chercheurs Web3 de 2025, un professeur d'informatique renommé a prononcé un discours principal intitulé « Sécurité et preuve 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 ainsi que le cadre d'extension LiDO-DAG. Cette réalisation innovante vise à fournir des preuves de sécurité et d'activité vérifiables de manière mécanique 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.
Lors de son discours, le professeur a souligné que les protocoles de consensus existants (tels que PBFT, Jolteon) sont largement utilisés, mais leur complexité de 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 vérification en trois couches :
Couche d'abstraction sécurisée : mapper le protocole en une machine d'état linéarisée, garantissant la cohérence des journaux (sécurité) ;
Couche de garantie active : introduction du mécanisme "Pacemaker", qui résout le problème de latence réseau grâce à la diffusion de dépassement de temps et à la synchronisation des tours ;
Couche d'extension DAG : prend en charge des protocoles DAG émergents tels que Narwhal et Bullshark, permettant 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 la preuve mécanisée de plus de dix mille lignes de code Coq, avec des quantités de code de vérification de sécurité et d'activité atteignant respectivement 4000 lignes et 1700 lignes. Le professeur a souligné dans son discours : "Actuellement, les protocoles de consensus PoS sont généralement confrontés à la difficulté d'obtenir simultanément sécurité, activité et décentralisation. Le modèle LiDO est précisément une proposition de conception systémique visant à surmonter cette impasse."
Il convient de mentionner que le professeur a précédemment dirigé une équipe qui a développé CertiKOS, le premier système d'exploitation "sans faille" au monde ayant fait l'objet d'une vérification formelle, salué comme un "jalon pour la sécurité des systèmes cyber-physiques". Cet accomplissement a non seulement établi les bases technologiques d'une certaine société de sécurité, mais a également mis en évidence son expérience approfondie dans le domaine de la sécurité des systèmes. Ces dernières années, le professeur s'est investi dans la sécurité de la blockchain, en intégrant la technologie de vérification formelle dans la protection de la sécurité des contrats intelligents et des protocoles on-chain, garantissant la sécurité d'actifs cryptographiques de plusieurs milliards de dollars.
LiDO a actuellement terminé la conception de modèle et la 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. Ce professeur 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 les stratégies de développement à long terme des entreprises et de l'écosystème Web3. À la fin de son discours, il a souligné : "Un protocole réseau fiable, sécurisé et vérifiable sera la voie 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.
15 J'aime
Récompense
15
4
Reposter
Partager
Commentaire
0/400
TokenDustCollector
· Il y a 17h
Encore en train de faire un nouveau modèle, je n’écoute pas, je n’écoute pas.
Voir l'originalRépondre0
ImpermanentPhilosopher
· Il y a 17h
Encore des scientifiques qui parlent de sécurité, un seul pool de léopard peut tout gérer.
Voir l'originalRépondre0
SelfStaking
· Il y a 17h
Tu parles de ce protocole de consensus d'une manière assez mystérieuse.
Sommet des chercheurs Web3 : lancement du modèle LiDO, la sécurité du protocole de consensus atteint un nouveau sommet.
Le sommet des chercheurs Web3 se concentre sur la recherche de la sécurité des Consensus protocole, le nouveau modèle LiDO suscite l'intérêt
Lors du récent sommet des chercheurs Web3 de 2025, un professeur d'informatique renommé a prononcé un discours principal intitulé « Sécurité et preuve 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 ainsi que le cadre d'extension LiDO-DAG. Cette réalisation innovante vise à fournir des preuves de sécurité et d'activité vérifiables de manière mécanique 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.
Lors de son discours, le professeur a souligné que les protocoles de consensus existants (tels que PBFT, Jolteon) sont largement utilisés, mais leur complexité de 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 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 la preuve mécanisée de plus de dix mille lignes de code Coq, avec des quantités de code de vérification de sécurité et d'activité atteignant respectivement 4000 lignes et 1700 lignes. Le professeur a souligné dans son discours : "Actuellement, les protocoles de consensus PoS sont généralement confrontés à la difficulté d'obtenir simultanément sécurité, activité et décentralisation. Le modèle LiDO est précisément une proposition de conception systémique visant à surmonter cette impasse."
Il convient de mentionner que le professeur a précédemment dirigé une équipe qui a développé CertiKOS, le premier système d'exploitation "sans faille" au monde ayant fait l'objet d'une vérification formelle, salué comme un "jalon pour la sécurité des systèmes cyber-physiques". Cet accomplissement a non seulement établi les bases technologiques d'une certaine société de sécurité, mais a également mis en évidence son expérience approfondie dans le domaine de la sécurité des systèmes. Ces dernières années, le professeur s'est investi dans la sécurité de la blockchain, en intégrant la technologie de vérification formelle dans la protection de la sécurité des contrats intelligents et des protocoles on-chain, garantissant la sécurité d'actifs cryptographiques de plusieurs milliards de dollars.
LiDO a actuellement terminé la conception de modèle et la 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. Ce professeur 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 les stratégies de développement à long terme des entreprises et de l'écosystème Web3. À la fin de son discours, il a souligné : "Un protocole réseau fiable, sécurisé et vérifiable sera la voie clé vers un véritable avenir décentralisé."