https://www.coindesk.com/the-specs-behind-bitcoins-lightning-pass-their-first-formal-security-test
A pair of researchers have released the results of a formal verification of the lightning network, saying it's "as secure as bitcoin." https://t.co/AbGJ8fK4EK
— CoinDesk (@coindesk) September 22, 2019
Report by @AlyssaHertig