Une recherche collaborative menée par a16z crypto, la London School of Economics, Stanford et l'Université Columbia introduit la « vivacité responsable » pour les blockchains, visant à punir les nœuds adverses et à renforcer la sécurité crypto-économique, favorisant ainsi la confiance du marché.

Résumé

De nouvelles recherches menées par a16z crypto, la London School of Economics, Stanford et la Columbia University introduisent la « vivacité responsable », un mécanisme visant à identifier et à punir les nœuds adverses qui retardent intentionnellement la confirmation des transactions dans les réseaux blockchain. Ces travaux étendent le concept de « sécurité responsable » pour aborder les violations de vivacité, fournissant une base théorique pour une sécurité crypto-économique plus robuste. Le document décrit comment certains protocoles de consensus peuvent être améliorés pour offrir de plus fortes garanties contre les attaques de vivacité, avec des implications pratiques pour des plateformes majeures comme Ethereum.

L'événement en détail

La recherche définit la responsabilisation de la vivacité comme la capacité d'identifier une fraction substantielle de nœuds ayant manifestement violé le protocole lorsque la confirmation des transactions est bloquée. Contrairement aux violations de sécurité, qui impliquent la présence inattendue de messages, les violations de vivacité proviennent de l'absence inattendue de messages, ce qui rend la responsabilisation intrinsèquement plus difficile. Le document démontre que les protocoles de consensus de type PBFT, tels que Tendermint, peuvent intégrer la responsabilisation de la vivacité sous des conditions spécifiques : une majorité de nœuds doivent être honnêtes, et le réseau doit être « plus souvent synchrone qu'asynchrone ». Ce mécanisme repose sur la génération de « certificats de culpabilité », qui sont des preuves compactes que les validateurs n'ont pas respecté leurs obligations protocolaires nécessaires à la progression. Cependant, la recherche établit également des limitations prouvables, indiquant que la responsabilisation de la vivacité est impossible si le réseau est majoritairement asynchrone ou si des adversaires contrôlent une majorité de nœuds.

Implications pour le marché

Cette avancée a le potentiel d'améliorer considérablement la stabilité et la sécurité des réseaux blockchain en réduisant le risque d'attaques de vivacité. En vérifiant formellement la vivacité du consensus et en identifiant les validateurs coupables, la recherche fournit une approche plus générale et précise par rapport aux mécanismes heuristiques existants. Pour les protocoles comme Ethereum, où les « fuites d'inactivité » sont déjà utilisées pour résoudre les problèmes de vivacité, les résultats offrent des garanties de responsabilisation plus solides et étayées par des preuves. Cette base théorique pour une sécurité crypto-économique améliorée peut favoriser une plus grande adoption institutionnelle et la confiance des utilisateurs à long terme, faisant passer la sécurité de la blockchain « au-delà de l'espoir que le réseau se rétablisse » à une responsabilité prouvable et exécutoire.

Commentaire d'expert

Les chercheurs, dont Andrew Lewis-Pye, Joachim Neu, Tim Roughgarden et Luca Zanolini, soulignent que l'objectif de la responsabilisation de la vivacité est d'identifier les nœuds adverses responsables des blocages, de prouver leur culpabilité et d'appliquer la sécurité crypto-économique par le biais de pénalités telles que la réduction et la confiscation des mises. Ce système est conçu pour aligner les incitations, récompensant la participation honnête tout en pénalisant les acteurs malveillants. Comme l'a noté un chercheur :

La responsabilisation de la vivacité pousse les blockchains au-delà de « l'espoir que le réseau se rétablisse » et vers une responsabilité prouvable et exécutoire.

Contexte plus large

La poursuite de la sécurité crypto-économique vise à inciter à un comportement honnête et à atténuer les dommages causés par les violations de protocole. Cette nouvelle recherche constitue une étape cruciale, complétant les solutions existantes et offrant un plan directeur pour les développements futurs du consensus blockchain. Alors que les systèmes existants comme le protocole Gasper d'Ethereum utilisent des approches heuristiques comme les fuites d'inactivité, les méthodes d'identification formelles proposées ouvrent la voie à des garanties plus solides à mesure que l'écosystème explore des mises à niveau telles que la finalité à un seul slot. Pour les systèmes de type Tendermint, la recherche fournit un cadre permettant aux implémenteurs d'intégrer la responsabilisation dès aujourd'hui. Cependant, des analyses récentes, telles qu'un article d'arXiv, ont également exploré des scénarios où la pénalisation des nœuds inactifs, par exemple via des fuites d'inactivité, pourrait compromettre involontairement la sécurité en présence de validateurs byzantins coordonnés, soulignant l'interaction complexe de ces mécanismes de sécurité.