Le sommet des chercheurs Web3 se concentre sur la sécurité des protocoles de consensus et la preuve d'activité.
Lors du sommet des chercheurs Web3 de 2025 qui s'est tenu récemment, un professeur éminent en sciences informatiques a donné un discours principal intitulé « Sécurité et preuve d’activité des protocoles de consensus affiné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 avancée 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 Byzantine Fault Tolerant (BFT) complexes, jetant ainsi les bases techniques pour la fiabilité et le développement à grande échelle de l'écosystème Web3.
Dans son discours, le professeur a souligné que les protocoles de consensus existants (comme PBFT, Jolteon), bien qu'ils soient 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 sécurisée : 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", qui résout le problème de latence du réseau grâce à une diffusion en cas de dépassement de délai et à une synchronisation des tours ;
Couche d'extension DAG : supporte les nouveaux protocoles DAG 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 une quantité de code de vérification de sécurité et de vivacité atteignant respectivement 4000 lignes et 1700 lignes. "Actuellement, les protocoles de consensus PoS font face à la difficulté de concilier sécurité, vivacité et décentralisation," a souligné le professeur lors de son discours. "Le modèle LiDO est précisément une solution de conception systématique proposée pour briser ce dilemme."
Ce professeur a dirigé une équipe qui a développé le premier système d'exploitation "sans faille" au monde grâce à la vérification formelle, salué comme un "jalon de la sécurité des systèmes cyber-physiques". Cet accomplissement a non seulement établi les bases technologiques de l'entreprise de sécurité qu'il a fondée, mais a également mis en lumière ses solides compétences dans le domaine de la sécurité des systèmes. Ces dernières années, ce professeur s'est concentré sur la sécurité de la blockchain, intégrant la technologie de vérification formelle dans la garantie de la sécurité des contrats intelligents et des protocoles en chaîne, protégeant ainsi la sécurité des actifs cryptographiques d'une valeur de plusieurs milliards de dollars.
LiDO a actuellement achevé la conception du modèle et la vérification formelle, et a commencé à explorer la possibilité d'intégration avec des chaînes publiques majeures et des protocoles décentralisés. Ce professeur a déclaré qu'ils s'engagent à valider les mécanismes clés dans le 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 la présentation, ce professeur a souligné : "Un stack de 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.
21 J'aime
Récompense
21
8
Reposter
Partager
Commentaire
0/400
MEV_Whisperer
· 07-25 08:35
Le code source est-il déjà sur GitHub ?
Voir l'originalRépondre0
NewPumpamentals
· 07-23 00:58
C'est encore une preuve mathématique.
Voir l'originalRépondre0
LayerZeroHero
· 07-22 12:45
La vérification de la sécurité du protocole doit être précise, sinon c'est de la malice !
Voir l'originalRépondre0
WalletDetective
· 07-22 12:44
Encore un projet de type air.
Voir l'originalRépondre0
RamenDeFiSurvivor
· 07-22 12:40
Un joueur de ramen décentralisé gagnant 500U par mois, détestant les validateurs qui prennent les gens pour des idiots.
Web3 Consensus nouvelle percée : Le modèle LiDO réalise une preuve de sécurité et d'activation mécanisée.
Le sommet des chercheurs Web3 se concentre sur la sécurité des protocoles de consensus et la preuve d'activité.
Lors du sommet des chercheurs Web3 de 2025 qui s'est tenu récemment, un professeur éminent en sciences informatiques a donné un discours principal intitulé « Sécurité et preuve d’activité des protocoles de consensus affiné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 avancée 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 Byzantine Fault Tolerant (BFT) complexes, jetant ainsi les bases techniques pour la fiabilité et le développement à grande échelle de l'écosystème Web3.
Dans son discours, le professeur a souligné que les protocoles de consensus existants (comme PBFT, Jolteon), bien qu'ils soient 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écanisée de plus de dix mille lignes de code Coq, avec une quantité de code de vérification de sécurité et de vivacité atteignant respectivement 4000 lignes et 1700 lignes. "Actuellement, les protocoles de consensus PoS font face à la difficulté de concilier sécurité, vivacité et décentralisation," a souligné le professeur lors de son discours. "Le modèle LiDO est précisément une solution de conception systématique proposée pour briser ce dilemme."
Ce professeur a dirigé une équipe qui a développé le premier système d'exploitation "sans faille" au monde grâce à la vérification formelle, salué comme un "jalon de la sécurité des systèmes cyber-physiques". Cet accomplissement a non seulement établi les bases technologiques de l'entreprise de sécurité qu'il a fondée, mais a également mis en lumière ses solides compétences dans le domaine de la sécurité des systèmes. Ces dernières années, ce professeur s'est concentré sur la sécurité de la blockchain, intégrant la technologie de vérification formelle dans la garantie de la sécurité des contrats intelligents et des protocoles en chaîne, protégeant ainsi la sécurité des actifs cryptographiques d'une valeur de plusieurs milliards de dollars.
LiDO a actuellement achevé la conception du modèle et la vérification formelle, et a commencé à explorer la possibilité d'intégration avec des chaînes publiques majeures et des protocoles décentralisés. Ce professeur a déclaré qu'ils s'engagent à valider les mécanismes clés dans le 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 la présentation, ce professeur a souligné : "Un stack de protocole réseau fiable, sécurisé et vérifiable sera la voie clé vers un véritable avenir décentralisé."