Des chercheurs de l’Ethereum Foundation ont mis au point et formellement vérifié un modèle de protocole qui découple la finalité de la production de blocs et du choix de fourche. Cette approche modulaire vise à réduire le temps de finalité de 16 minutes actuellement à moins d’une minute, voire à quelques secondes à terme. Le modèle utilise des comités réduits de 256 à 512 validateurs pour la production rapide de blocs, tandis que l’ensemble des validateurs maintient un gadget de finalité séparé. La vérification formelle a été réalisée à l’aide de l’assistant de preuve Lean 4, garantissant mathématiquement des propriétés comme la sécurité et la finalisation. La roadmap « strawmap » articulée par Vitalik Buterin prévoit des améliorations de finalité d’ici 2029.
Source: Lire l’article original
