2 ms·

Does anyone if there is a formal verification mechanism for proof-of-work blockchains (kinda like Jepsen) ?