$ETH — Ethereum a achevé la vérification formelle de leanVM
...
La branche de recherche d’Ethereum consacrée à leanVM a achevé la vérification formelle de bout en bout. C’est un pas vers la sécurité quantique : la transition complète vers une protection post-quantique est prévue pour décembre 2028.
La vérification formelle est une preuve mathématique que le code fait exactement ce qui est prévu. Pour un réseau qui gère des dizaines de milliards de dollars, c’est plus important que les annonces fracassantes.
Rappelons qu’une vulnérabilité avait été découverte et corrigée lors de la mise à jour Glamsterdam.
Abonnez-vous à la chaîne : chaque jour, nous compilons l’essentiel sur les tokens et les projets. Ceci ne constitue pas un conseil en investissement.
#ETH #BTC #PEARL
...
La branche de recherche d’Ethereum consacrée à leanVM a achevé la vérification formelle de bout en bout. C’est un pas vers la sécurité quantique : la transition complète vers une protection post-quantique est prévue pour décembre 2028.
La vérification formelle est une preuve mathématique que le code fait exactement ce qui est prévu. Pour un réseau qui gère des dizaines de milliards de dollars, c’est plus important que les annonces fracassantes.
Rappelons qu’une vulnérabilité avait été découverte et corrigée lors de la mise à jour Glamsterdam.
Abonnez-vous à la chaîne : chaque jour, nous compilons l’essentiel sur les tokens et les projets. Ceci ne constitue pas un conseil en investissement.
#ETH #BTC #PEARL