Especificações da rede Bitcoin Lightning passam no primeiro teste de segurança 'formal'

Dois pesquisadores divulgaram os resultados de uma verificação formal da rede Lightning, dizendo que ela é "tão segura quanto o Bitcoin".