Le sommet des chercheurs Web3 se concentre sur la sécurité des Consensus et la preuve d'activité
Lors du récent sommet des universitaires Web3 2025, un professeur d'informatique de renom a prononcé un discours principal intitulé "Sécurité et preuve d'activité des protocoles de consensus raffinés : LiDO et son cadre d'extension", présentant 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 révolutionnaire vise à fournir une preuve de sécurité et d'activité vérifiable mécaniquement pour les protocoles de consensus Byzantine Fault Tolerant (BFT) complexes, établissant ainsi 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), bien que largement utilisés, cachent souvent des vulnérabilités potentielles en raison de leur complexité de mise en œuvre. 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 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 par diffusion de dépassement de délai et synchronisation des tours ;
Couche d'extension DAG : prend en charge les nouveaux protocoles DAG tels que Narwhal, 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écanique 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é lors de son discours : "Actuellement, les protocoles de consensus PoS font face à la difficulté de concilier sécurité, activité et décentralisation. Le modèle LiDO est justement une proposition de conception systématique pour briser 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" validé formellement au monde, salué comme un "jalon pour la sécurité des systèmes cyber-physiques". Cet accomplissement a non seulement établi la base technologique d'une certaine entreprise de sécurité, mais a également mis en lumière sa profonde expertise dans le domaine de la sécurité des systèmes. Ces dernières années, le professeur s'est concentré sur la sécurité de la blockchain, intégrant la technologie de vérification formelle dans la garantie de sécurité des contrats intelligents et des protocoles en chaîne, protégeant la sécurité d'actifs cryptographiques de l'ordre de plusieurs milliards de dollars.
LiDO a actuellement terminé la conception du 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. Le professeur a déclaré qu'ils s'engagent à vérifier les mécanismes clés dans le Web3.0 afin de fournir des produits et services sur l'ensemble du cycle, pour mieux soutenir les stratégies de développement à long terme des entreprises et écosystèmes Web3. À la fin de son discours, il 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.
15 J'aime
Récompense
15
4
Partager
Commentaire
0/400
SleepTrader
· Il y a 7h
C'est écrit de manière très profonde, c'est un peu difficile à supporter.
Voir l'originalRépondre0
ShadowStaker
· 07-21 20:16
meh... un autre modèle académique qui ne survivra pas au premier contact avec les bots MEV tbh
Voir l'originalRépondre0
quietly_staking
· 07-21 04:11
Encore en train de faire des choses compliquées
Voir l'originalRépondre0
BlockchainDecoder
· 07-21 04:10
D'un point de vue des documents sur les systèmes distribués, le cadre de validation en trois couches de LiDO complète effectivement les lacunes de la logique de Hoare dans un environnement asynchrone, et mérite une étude approfondie de ses effets pratiques dans les systèmes de Consensus.
Le modèle LiDO fait ses débuts : innovation en matière de sécurité du protocole de consensus Web3
Le sommet des chercheurs Web3 se concentre sur la sécurité des Consensus et la preuve d'activité
Lors du récent sommet des universitaires Web3 2025, un professeur d'informatique de renom a prononcé un discours principal intitulé "Sécurité et preuve d'activité des protocoles de consensus raffinés : LiDO et son cadre d'extension", présentant 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 révolutionnaire vise à fournir une preuve de sécurité et d'activité vérifiable mécaniquement pour les protocoles de consensus Byzantine Fault Tolerant (BFT) complexes, établissant ainsi 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), bien que largement utilisés, cachent souvent des vulnérabilités potentielles en raison de leur complexité de mise en œuvre. 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écanique 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é lors de son discours : "Actuellement, les protocoles de consensus PoS font face à la difficulté de concilier sécurité, activité et décentralisation. Le modèle LiDO est justement une proposition de conception systématique pour briser 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" validé formellement au monde, salué comme un "jalon pour la sécurité des systèmes cyber-physiques". Cet accomplissement a non seulement établi la base technologique d'une certaine entreprise de sécurité, mais a également mis en lumière sa profonde expertise dans le domaine de la sécurité des systèmes. Ces dernières années, le professeur s'est concentré sur la sécurité de la blockchain, intégrant la technologie de vérification formelle dans la garantie de sécurité des contrats intelligents et des protocoles en chaîne, protégeant la sécurité d'actifs cryptographiques de l'ordre de plusieurs milliards de dollars.
LiDO a actuellement terminé la conception du 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. Le professeur a déclaré qu'ils s'engagent à vérifier les mécanismes clés dans le Web3.0 afin de fournir des produits et services sur l'ensemble du cycle, pour mieux soutenir les stratégies de développement à long terme des entreprises et écosystèmes Web3. À la fin de son discours, il a souligné : "Un protocole réseau fiable, sécurisé et vérifiable sera le chemin clé vers un avenir véritablement décentralisé."