Blockchain, Qtum, Deepsea, Formal Verification.
Formal verification is undoubtedly tough work, leaving some of those working in the field to even second guess themselves. It’s years away, but we hope that the research of Professor Gu and others bring security to these valuable blockchain systems. Don’t trust, (formally) verify.