The Specs Behind Bitcoin’s Lightning Pass Their First ‘Formal’ Security Test

A pair of researchers have released the results of a formal verification of bitcoin's lightning network, saying it's "as secure as bitcoin."

from CoinDesk https://ift.tt/30BjNsN