Le specifiche della rete Bitcoin Lightning superano il primo test di sicurezza "formale"

Due ricercatori hanno pubblicato i risultati di una verifica formale della rete Lightning, affermando che è "sicura quanto Bitcoin".