Sommet des chercheurs Web3 axé sur la sécurité des protocoles de consensus et la preuve d'activité
Lors du sommet des chercheurs Web3 de 2025, un professeur éminent en informatique a donné une conférence intitulée « Sécurité et preuve d'activité des protocoles de consensus raffinés : LiDO et son cadre d'extension » et 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 réalisation révolutionnaire vise à fournir des preuves de sécurité et d'activité vérifiables mécaniquement pour les protocoles de consensus Byzantine Fault Tolerant (BFT) complexes, posant ainsi une pierre angulaire technique pour la fiabilité et le développement à grande échelle de l'écosystème Web3.
Le conférencier a souligné que les protocoles de consensus existants (tels que PBFT, Jolteon) sont largement utilisés, mais 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 niveaux :
Couche d'abstraction de sécurité : mapper le protocole en machine d'état linéarisée, garantir la cohérence des journaux (sécurité) ;
Couche de protection active : introduction du mécanisme "Pacemaker" qui résout le problème de latence réseau grâce à 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 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 ainsi plus de dix mille lignes de preuves mécanisées en Coq, avec des volumes de code de vérification de sécurité et d'activité atteignant respectivement 4000 et 1700 lignes. Le conférencier a souligné : "Actuellement, les protocoles de consensus PoS font face à un dilemme où il est difficile d'obtenir simultanément sécurité, activité et décentralisation. Le modèle LiDO est précisément une solution de conception systématique proposée pour surmonter ce dilemme."
Le CertiKOS, développé par l'équipe dirigée par ce professeur, est le premier système d'exploitation "sans faille" au monde ayant obtenu une validation formelle, et est considéré comme un "jalon pour la sécurité des systèmes cyber-physiques". Cet accomplissement a non seulement établi ses solides acquis dans le domaine de la sécurité des systèmes, mais a également fourni une base importante pour des recherches ultérieures.
LiDO a actuellement achevé la conception du modèle et la vérification formelle, et commence à explorer les possibilités d'intégration avec les chaînes publiques majeures et les protocoles décentralisés. Le conférencier 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, soutenant mieux la stratégie de développement à long terme des entreprises et de l'écosystème Web3.
À la fin de son discours, le professeur a souligné : "Un protocole réseau fiable, sécurisé et vérifiable sera le chemin clé vers un véritable avenir décentralisé." Ce point de vue a suscité de larges discussions parmi les chercheurs présents, indiquant la direction pour le développement futur des technologies 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.
10 J'aime
Récompense
10
3
Reposter
Partager
Commentaire
0/400
PumpDetector
· 08-02 04:48
juste un autre cadre théorique... en avoir vu trop depuis les jours de mt gox à vrai dire
Voir l'originalRépondre0
MonkeySeeMonkeyDo
· 07-30 05:34
Encore vu l'ancien argent ? Pas étonnant que ce soit PBFT prouvant l'ancien argent
Voir l'originalRépondre0
SerNgmi
· 07-30 05:34
Encore une affaire de lettres et de sciences, c'est tellement ennuyeux.
Modèle LiDO révolutionnaire : fournir une vérification de sécurité mécanisée pour le protocole de consensus Web3
Sommet des chercheurs Web3 axé sur la sécurité des protocoles de consensus et la preuve d'activité
Lors du sommet des chercheurs Web3 de 2025, un professeur éminent en informatique a donné une conférence intitulée « Sécurité et preuve d'activité des protocoles de consensus raffinés : LiDO et son cadre d'extension » et 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 réalisation révolutionnaire vise à fournir des preuves de sécurité et d'activité vérifiables mécaniquement pour les protocoles de consensus Byzantine Fault Tolerant (BFT) complexes, posant ainsi une pierre angulaire technique pour la fiabilité et le développement à grande échelle de l'écosystème Web3.
Le conférencier a souligné que les protocoles de consensus existants (tels que PBFT, Jolteon) sont largement utilisés, mais 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 niveaux :
Actuellement, LiDO a été appliqué avec succès au protocole industriel Jolteon (BFT à deux étapes) et à plusieurs protocoles DAG, complétant ainsi plus de dix mille lignes de preuves mécanisées en Coq, avec des volumes de code de vérification de sécurité et d'activité atteignant respectivement 4000 et 1700 lignes. Le conférencier a souligné : "Actuellement, les protocoles de consensus PoS font face à un dilemme où il est difficile d'obtenir simultanément sécurité, activité et décentralisation. Le modèle LiDO est précisément une solution de conception systématique proposée pour surmonter ce dilemme."
Le CertiKOS, développé par l'équipe dirigée par ce professeur, est le premier système d'exploitation "sans faille" au monde ayant obtenu une validation formelle, et est considéré comme un "jalon pour la sécurité des systèmes cyber-physiques". Cet accomplissement a non seulement établi ses solides acquis dans le domaine de la sécurité des systèmes, mais a également fourni une base importante pour des recherches ultérieures.
LiDO a actuellement achevé la conception du modèle et la vérification formelle, et commence à explorer les possibilités d'intégration avec les chaînes publiques majeures et les protocoles décentralisés. Le conférencier 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, soutenant mieux la stratégie de développement à long terme des entreprises et de l'écosystème Web3.
À la fin de son discours, le professeur a souligné : "Un protocole réseau fiable, sécurisé et vérifiable sera le chemin clé vers un véritable avenir décentralisé." Ce point de vue a suscité de larges discussions parmi les chercheurs présents, indiquant la direction pour le développement futur des technologies Web3.