Blockchain, Qtum, Deepsea, Formal Verification.
introduced during the compilation,” Prof. Ronghui Gu stated. We believe these efforts will not only benefit the Qtum ecosystem but rather all those who utilize smart contracts, knowingly and unknowingly. For those who don’t know, Professor Gu is also the co-founder of CertiK, a formal verification