The struggle of creating a decentralized system even beyond the finance industry has longed been in existence, especially with the advent of DAO which was then tipped as the beacon of hope needed by the blockchain community. Not long, the whole hype vanished as people began finding faults in the cryptographic project.

However, Qtum foundation rose up to the responsibility of creating a more secure smart contracts that will give us a well decentralized system in a desired way without unintended consequences.

Registering its aim to offer a sound smart contracts with great traction, the foundation handed an Assistant Professor of Computer Science at the University of Columbia, Ronghui Gu, $400,000. The fund according to a release is to be shared amongst a postdoc and a Ph.D. student for a two year research work on DeepSEA Compiler, DeepSEA language, and backend infrastructure that will run DeepSEA on the Qtum VM.

While acknowledging the update, Prof. Ronghui Gu in a statement said the DeepSEA-Qtum is a project focused on the Qtum smart contracts verification in Coq and at the same time to enhance the dependability and security of the blockchain ecosystem.

“DeepSEA allows the developers to implement the contact in a high-level language, while a specification that can be reasoned about will be automatically generated. DeepSEA will also introduce a verified compiler compiling contracts into Qtum bytecode with a proof that no bugs are introduced during the compilation,” Ronghui Gu added.

Professor Gu has been researching on smart contract for long. He is flagged the co-founder of CertiK, and CertiK is described a verification framework that helps to attest that blockchain and smart contract are bug-free and hacker-resistant mathematically.

While CertiK is being nurtured by Binance Labs and others like DHVC, FBG Capital, Draper Dragon and Bitmain, Qtum foundation is also an investor of the project.

Qtum foundation, according to the release believes the development, when fully realized, will not only benefit the Qtum ecosystem but relatively the entire world, especially those who want to develop and use smart contracts.



