1 paper
Assimakis Kattis, Fabian Trottner
We argue that recent developments in proof-of-work consensus mechanisms can be used in accordance with advancements in formal verification techniques to build a distributed payment…