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 qui s'est tenu récemment, un professeur de sciences informatiques renommé a prononcé un discours principal intitulé "Sécurité et preuve d'activité des protocoles de consensus raffinés : LiDO et son extension", révélant pour la première fois le modèle LiDO développé par son équipe et le cadre d'extension LiDO-DAG. Cette percée vise à fournir des preuves de sécurité et d'activité vérifiables de manière mécanisée pour les protocoles de consensus tolérants aux fautes byzantines (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 (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 validation affiné en trois couches :
Couche d'abstraction de sécurité : cartographie du 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" pour résoudre le problème de latence du réseau grâce à la diffusion par dépassement de délai et à la synchronisation des tours ;
Couche d'extension DAG : prise en charge de nouveaux 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écanique de plus de 10 000 lignes de code Coq, avec des quantités de code pour la vérification de la sécurité et de la vitalité atteignant respectivement 4000 lignes et 1700 lignes. Le professeur a souligné lors de sa conférence : "Actuellement, les protocoles de consensus PoS font face à la difficulté de concilier sécurité, vitalité et décentralisation. Le modèle LiDO est une proposition de conception systématique visant à briser cette impasse."
Ce professeur a dirigé une équipe pour développer le premier système d'exploitation "sans faille" CertiKOS, vérifié formellement, qui a été salué comme un "jalon de la sécurité des systèmes cyber-physiques". Cet accomplissement a non seulement établi son expertise dans le domaine de la sécurité des systèmes, mais a également posé les bases pour des recherches ultérieures sur la sécurité des blockchains.
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'engageaient à valider les mécanismes clés dans Web3.0 afin de fournir des produits et des 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, il a souligné : "Une pile de protocoles réseau fiable, sécurisée et vérifiable sera le chemin 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.
13 J'aime
Récompense
13
8
Partager
Commentaire
0/400
AltcoinMarathoner
· 07-24 19:08
un autre protocole entre dans la course... ce marathon devient encombré mais les fondamentaux restent solides
Voir l'originalRépondre0
TokenCreatorOP
· 07-24 17:20
Pourquoi la sécurité est-elle si importante ?
Voir l'originalRépondre0
AirdropLicker
· 07-24 17:13
Encore une fois, on se fait prendre pour des cons.
Voir l'originalRépondre0
MidnightSnapHunter
· 07-24 17:12
La validation détaillée peut résoudre les vulnérabilités.
Voir l'originalRépondre0
SchrodingerAirdrop
· 07-24 17:04
Avoir de l'argent, c'est bien.
Voir l'originalRépondre0
OnchainGossiper
· 07-24 16:55
Ne raconte pas tant de choses, tant que c'est stable, c'est bon.
Voir l'originalRépondre0
HodlNerd
· 07-24 16:53
fascinant comment la théorie des jeux rencontre la vérification formelle dans ceci... vraie beauté mathématique
Voir l'originalRépondre0
BakedCatFanboy
· 07-24 16:51
Encore un nouveau protocole, restez calme et regardez.
Web3 percée : le modèle LiDO aide à la sécurité et à la vérification de l'activité du protocole de consensus
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 qui s'est tenu récemment, un professeur de sciences informatiques renommé a prononcé un discours principal intitulé "Sécurité et preuve d'activité des protocoles de consensus raffinés : LiDO et son extension", révélant pour la première fois le modèle LiDO développé par son équipe et le cadre d'extension LiDO-DAG. Cette percée vise à fournir des preuves de sécurité et d'activité vérifiables de manière mécanisée pour les protocoles de consensus tolérants aux fautes byzantines (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 (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 validation affiné 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 10 000 lignes de code Coq, avec des quantités de code pour la vérification de la sécurité et de la vitalité atteignant respectivement 4000 lignes et 1700 lignes. Le professeur a souligné lors de sa conférence : "Actuellement, les protocoles de consensus PoS font face à la difficulté de concilier sécurité, vitalité et décentralisation. Le modèle LiDO est une proposition de conception systématique visant à briser cette impasse."
Ce professeur a dirigé une équipe pour développer le premier système d'exploitation "sans faille" CertiKOS, vérifié formellement, qui a été salué comme un "jalon de la sécurité des systèmes cyber-physiques". Cet accomplissement a non seulement établi son expertise dans le domaine de la sécurité des systèmes, mais a également posé les bases pour des recherches ultérieures sur la sécurité des blockchains.
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'engageaient à valider les mécanismes clés dans Web3.0 afin de fournir des produits et des 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, il a souligné : "Une pile de protocoles réseau fiable, sécurisée et vérifiable sera le chemin clé vers un véritable avenir décentralisé."