A pair of researchers have released the results of a formal verification of bitcoin’s lightning network. Lightning is new(ish), experimental, and bugs that could lead to loss of user funds are still …
More The Specs Behind Bitcoin’s Lightning Pass Their First ‘Formal’ Security Test Videos