Les spécifications du réseau Bitcoin Lightning passent le premier test de sécurité « formel »

Deux chercheurs ont publié les résultats d'une vérification formelle du réseau Lightning, affirmant qu'il est « aussi sécurisé que Bitcoin».