Au sommet des chercheurs Web3, le professeur de Yale a présenté pour la première fois le modèle LiDO
La conférence des chercheurs Web3 de 2025 s'est tenue aujourd'hui, et le professeur Zhao Zhong du département d'informatique de l'université de Yale a donné une conférence principale intitulée « Sécurité et preuve d'activité des protocoles de consensus basés sur le raffinement : LiDO et son extension ». Il 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 mécaniquement pour des protocoles de consensus tolérants aux pannes byzantines complexes (BFT), posant ainsi une pierre angulaire technique pour la fiabilité et le développement à grande échelle de l'écosystème Web3.
Le professeur Shao Zhong a souligné que les protocoles de consensus existants (comme PBFT, Jolteon), bien que largement utilisés, cachent souvent des vulnérabilités potentielles en raison de leur complexité d'implémentation. Pour résoudre ce problème, le modèle LiDO propose de manière innovante un cadre de validation en trois couches :
Couche d'abstraction sécurisée : mapper le protocole en une machine d'état linéarisée, garantir 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 à la diffusion par timeout et à la synchronisation des tours.
Couche d'extension DAG : prend en charge les nouveaux protocoles DAG tels que Narwhal et Bullshark, permettant une validation efficace sans consensus de leader.
Actuellement, LiDO a été appliqué avec succès au protocole industriel Jolteon (BFT à deux étapes) et à plusieurs protocoles DAG, complétant plus de dix mille lignes de code Coq pour des preuves mécanisées, avec des volumes de code pour la vérification de la sécurité et de l'activité atteignant respectivement 4000 et 1700 lignes. Le professeur Shao Zhong a souligné dans son discours : "Actuellement, les protocoles de consensus PoS font face à la difficulté d'obtenir simultanément la sécurité, l'activité et la décentralisation. Le modèle LiDO est justement une proposition de conception systémique visant à surmonter ce dilemme."
Le CertiKOS, développé par l'équipe dirigée par le professeur Shao Zhong, est le premier système d'exploitation "sans faille" au monde à avoir été validé par vérification formelle, et est considéré comme un "jalon pour la sécurité des systèmes cyber-physiques". Cet accomplissement non seulement établit sa base technique dans le domaine de la sécurité, mais met également en lumière ses profondes accumulations dans le domaine de la sécurité des systèmes. Ces dernières années, le professeur Shao Zhong s'est profondément engagé dans la sécurité des blockchains, et en 2017, il a co-fondé une entreprise de sécurité blockchain avec son disciple, le professeur Gu Ronghui, introduisant des technologies de vérification formelle pour garantir la sécurité des contrats intelligents et des protocoles en chaîne, protégeant ainsi la sécurité des actifs cryptographiques 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 protocoles décentralisés. Le professeur Shao Zhong a déclaré qu'ils s'engagent à valider les mécanismes clés du Web3.0 afin de fournir des produits et services sur l'ensemble du cycle, soutenant ainsi mieux la stratégie de développement à long terme des entreprises et de l'écosystème Web3. À la fin de la présentation, le professeur Shao Zhong a souligné : "Une pile de protocoles réseau digne de confiance, 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
5
Partager
Commentaire
0/400
CountdownToBroke
· Il y a 49m
Ça recommence, une foule de concepts incompréhensibles pour tromper les gens.
Voir l'originalRépondre0
consensus_failure
· 08-03 18:27
Il n'y a toujours pas de moyen concret de mettre en œuvre, seulement des théories.
Voir l'originalRépondre0
MidsommarWallet
· 08-03 16:39
Yale vient aussi s'inviter à la fête ?
Voir l'originalRépondre0
OnchainHolmes
· 08-03 16:38
C'est trop théorique, ça complique la vie des débutants.
Le professeur de Yale révèle pour la première fois LiDO : percée de la sécurité du protocole de consensus Web3
Au sommet des chercheurs Web3, le professeur de Yale a présenté pour la première fois le modèle LiDO
La conférence des chercheurs Web3 de 2025 s'est tenue aujourd'hui, et le professeur Zhao Zhong du département d'informatique de l'université de Yale a donné une conférence principale intitulée « Sécurité et preuve d'activité des protocoles de consensus basés sur le raffinement : LiDO et son extension ». Il 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 mécaniquement pour des protocoles de consensus tolérants aux pannes byzantines complexes (BFT), posant ainsi une pierre angulaire technique pour la fiabilité et le développement à grande échelle de l'écosystème Web3.
Le professeur Shao Zhong a souligné que les protocoles de consensus existants (comme PBFT, Jolteon), bien que largement utilisés, cachent souvent des vulnérabilités potentielles en raison de leur complexité d'implémentation. Pour résoudre ce problème, le modèle LiDO propose de manière innovante un cadre de validation en trois couches :
Actuellement, LiDO a été appliqué avec succès au protocole industriel Jolteon (BFT à deux étapes) et à plusieurs protocoles DAG, complétant plus de dix mille lignes de code Coq pour des preuves mécanisées, avec des volumes de code pour la vérification de la sécurité et de l'activité atteignant respectivement 4000 et 1700 lignes. Le professeur Shao Zhong a souligné dans son discours : "Actuellement, les protocoles de consensus PoS font face à la difficulté d'obtenir simultanément la sécurité, l'activité et la décentralisation. Le modèle LiDO est justement une proposition de conception systémique visant à surmonter ce dilemme."
Le CertiKOS, développé par l'équipe dirigée par le professeur Shao Zhong, est le premier système d'exploitation "sans faille" au monde à avoir été validé par vérification formelle, et est considéré comme un "jalon pour la sécurité des systèmes cyber-physiques". Cet accomplissement non seulement établit sa base technique dans le domaine de la sécurité, mais met également en lumière ses profondes accumulations dans le domaine de la sécurité des systèmes. Ces dernières années, le professeur Shao Zhong s'est profondément engagé dans la sécurité des blockchains, et en 2017, il a co-fondé une entreprise de sécurité blockchain avec son disciple, le professeur Gu Ronghui, introduisant des technologies de vérification formelle pour garantir la sécurité des contrats intelligents et des protocoles en chaîne, protégeant ainsi la sécurité des actifs cryptographiques 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 protocoles décentralisés. Le professeur Shao Zhong a déclaré qu'ils s'engagent à valider les mécanismes clés du Web3.0 afin de fournir des produits et services sur l'ensemble du cycle, soutenant ainsi mieux la stratégie de développement à long terme des entreprises et de l'écosystème Web3. À la fin de la présentation, le professeur Shao Zhong a souligné : "Une pile de protocoles réseau digne de confiance, sécurisée et vérifiable sera le chemin clé vers un véritable avenir décentralisé."