Bitcoin's Lightning Network specs passes its first ‘formal’ security test
A pair of researchers have released the results of a formal verification of bitcoin’s lightning network, CoinDesk reports. The paper, released last month by researchers Aggelos Kiayias and Orfeas Litos from The University of Edinburgh, brought a dose of good news on the underlying security of the nascent payment network. To date, lightning hadn’t been tested mathematically by way of formal security, which is a means of establishing how secure a computer science idea is with the help of mathematics. Litos told CoinDesk:
“All the security-critical parts of the system are rock-solid. This was the expected result – many smart people have collaborated to converge to the current incarnation of lightning network,”
Learn more about Lightning Network here.
Let us know what you loved about the report, what may be missing, or share any other feedback by filling out this short form. All responses are subject to our Privacy Policy and Terms of Service.