A pair of researchers have released the results of a formal verification of the lightning network, saying it’s “as secure as bitcoin.”
Source: https://www.coindesk.com/the-specs-behind-bitcoins-lightning-pass-their-first-formal-security-test
The Specs Behind Bitcoin’s Lightning Pass Their First ‘Formal’ Security Test
September 22, 2019
CoinDesk
