Au sommet des chercheurs Web3, le professeur de Yale présente pour la première fois le modèle LiDO
Le sommet des chercheurs Web3 de 2025 s'est tenu aujourd'hui. Le professeur Zhao Zhong du département d'informatique de l'université de Yale a donné un discours principal, présentant le modèle LiDO et le cadre d'extension LiDO-DAG développés par son équipe. Ce résultat innovant vise à fournir une sécurité et une preuve d'activité vérifiables mécaniquement pour des protocoles de consensus à tolérance de pannes byzantines (BFT) complexes, établissant une base technique pour le développement de la fiabilité et de l'évolutivité de l'écosystème Web3.
Le professeur Shao Zhong a souligné lors de son discours que malgré l'utilisation répandue des protocoles de consensus existants (comme PBFT et Jolteon), leur complexité d'implémentation entraîne souvent des vulnérabilités potentielles. Pour résoudre ce problème, le modèle LiDO propose un cadre de validation raffiné en trois couches :
Couche d'abstraction de sécurité : mapper le protocole à une machine d'état linéarisée, garantir la cohérence des journaux (sécurité) ;
Couche de garantie active : introduction du mécanisme "Pacemaker" pour résoudre les problèmes de latence réseau grâce à la diffusion par timeout et à la synchronisation des tours ;
Couche d'extension DAG : prend en charge les nouveaux protocoles DAG émergents tels que Narwhal, Bullshark, pour réaliser une validation efficace sans consensus de leader.
Le modèle LiDO a été appliqué avec succès aux protocoles industriels Jolteon (BFT à deux phases) et à plusieurs protocoles DAG, complétant plus de dix mille lignes de preuves mécanisées en Coq. Parmi celles-ci, le volume de code pour la vérification de la sécurité et de l'activité a respectivement atteint 4000 lignes et 1700 lignes. Le professeur Shao Zhong a souligné dans son discours : "Actuellement, les protocoles de consensus PoS sont généralement confrontés au dilemme de ne pas pouvoir concilier sécurité, activité et décentralisation. Le modèle LiDO est précisément une solution de conception systémique proposée pour surmonter ce dilemme."
En tant que principal développeur du système d'exploitation "sans faille" CertiKOS, le premier au monde à avoir été vérifié formellement, le professeur Zhao Zhong possède une solide expérience dans le domaine de la sécurité des systèmes. Ces dernières années, il a réorienté ses recherches vers la sécurité blockchain, s'efforçant d'appliquer les techniques de vérification formelle à la sécurité des contrats intelligents et des protocoles on-chain, afin de fournir une protection sécuritaire aux actifs cryptographiques de plusieurs milliards de dollars.
Le modèle LiDO a été conçu et vérifié formellement, et explore actuellement les possibilités d'intégration avec les principales blockchains 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.
Le professeur Shao Zhong a souligné à la fin de son discours : "Un empilement de protocoles réseau fiable, sécurisé 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.
19 J'aime
Récompense
19
5
Reposter
Partager
Commentaire
0/400
SocialFiQueen
· Il y a 11h
Satoshi Nakamoto est probablement en train d'apprendre ce modèle en secret.
Voir l'originalRépondre0
WalletInspector
· 08-12 05:33
Cette itération technologique est trop sévère.
Voir l'originalRépondre0
SleepyValidator
· 08-12 05:25
Ah, encore un modèle de vérification, les pros de la cryptographie sont tous en compétition.
Voir l'originalRépondre0
metaverse_hermit
· 08-12 05:10
Maintenant, le bft sera beaucoup plus élégant.
Voir l'originalRépondre0
NotSatoshi
· 08-12 05:05
Une vieille bouteille avec un nouveau vin, il n'y a pas vraiment de percée.
Le professeur de Yale a publié le modèle LiDO pour fournir une vérification formelle de la sécurité dans l'écosystème Web3.
Au sommet des chercheurs Web3, le professeur de Yale présente pour la première fois le modèle LiDO
Le sommet des chercheurs Web3 de 2025 s'est tenu aujourd'hui. Le professeur Zhao Zhong du département d'informatique de l'université de Yale a donné un discours principal, présentant le modèle LiDO et le cadre d'extension LiDO-DAG développés par son équipe. Ce résultat innovant vise à fournir une sécurité et une preuve d'activité vérifiables mécaniquement pour des protocoles de consensus à tolérance de pannes byzantines (BFT) complexes, établissant une base technique pour le développement de la fiabilité et de l'évolutivité de l'écosystème Web3.
Le professeur Shao Zhong a souligné lors de son discours que malgré l'utilisation répandue des protocoles de consensus existants (comme PBFT et Jolteon), leur complexité d'implémentation entraîne souvent des vulnérabilités potentielles. Pour résoudre ce problème, le modèle LiDO propose un cadre de validation raffiné en trois couches :
Le modèle LiDO a été appliqué avec succès aux protocoles industriels Jolteon (BFT à deux phases) et à plusieurs protocoles DAG, complétant plus de dix mille lignes de preuves mécanisées en Coq. Parmi celles-ci, le volume de code pour la vérification de la sécurité et de l'activité a respectivement atteint 4000 lignes et 1700 lignes. Le professeur Shao Zhong a souligné dans son discours : "Actuellement, les protocoles de consensus PoS sont généralement confrontés au dilemme de ne pas pouvoir concilier sécurité, activité et décentralisation. Le modèle LiDO est précisément une solution de conception systémique proposée pour surmonter ce dilemme."
En tant que principal développeur du système d'exploitation "sans faille" CertiKOS, le premier au monde à avoir été vérifié formellement, le professeur Zhao Zhong possède une solide expérience dans le domaine de la sécurité des systèmes. Ces dernières années, il a réorienté ses recherches vers la sécurité blockchain, s'efforçant d'appliquer les techniques de vérification formelle à la sécurité des contrats intelligents et des protocoles on-chain, afin de fournir une protection sécuritaire aux actifs cryptographiques de plusieurs milliards de dollars.
Le modèle LiDO a été conçu et vérifié formellement, et explore actuellement les possibilités d'intégration avec les principales blockchains 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.
Le professeur Shao Zhong a souligné à la fin de son discours : "Un empilement de protocoles réseau fiable, sécurisé et vérifiable sera le chemin clé vers un véritable avenir décentralisé."