Blockchain, Qtum, Deepsea, Formal Verification.
consequences. This way we wouldn’t have to dream about what would have been, we could live it. Thus, to ensure the soundness of smart contracts, the Qtum Foundation has gifted Columbia University’s Assistant Professor of Computer Science Ronghui Gu $400,000, to be split between one postdoc and one