Reteaua Lightning emite  prima verificare formala Doi cercetatori au eliberat rezultatele unei verificari formale a retelei Lightning de la Bitcoin. Reteaua este destul de noua si experimentala, iar virusii care ar duce la pierderi de fonduri sunt inca in proces de descoperire. Cu toate acestea, documentul verificarii a adus vesti