Image default
altcoin News

Qtum (QTUM) Hands Columbia University’s Assistant Professor $400,000 For Smart Contract Research

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.

Related posts

Coinbase Pro Adds ETH-Based Quartet; Golem (GNT), Dai (DAI), Maker (MKR) and Zilliqa (ZIL)

admin

Augur (REP) Cements Strong Week with 100% Growth and ‘Veil’ Derivatives Launch

admin

Tron Announces The Completion Of Phase Four Of The Tronics Support Plan; Gives Back Over 96 Million TRX To Supporters

admin

2 comments

ergfirnolikz January 10, 2019 at 6:44 pm

Hi , I do believe this is an excellent blog. I stumbled upon it on Yahoo , i will come back once again. Money and freedom is the best way to change, may you be rich and help other people.

Reply
ergfirnolikz January 10, 2019 at 6:45 pm

This is really interesting, You’re a very skilled blogger. I’ve joined your rss feed and look forward to seeking more of your wonderful post. Also, I have shared your web site in my social networks!

Reply

Leave a Comment

* By using this form you agree with the storage and handling of your data by this website.

This website uses cookies to improve your experience. We'll assume you're ok with this, but you can opt-out if you wish. Accept Read More