Lawal Khalid Abiola Lawal Khalid Abiola

10 months ago

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.

People Mentioned

Justin Sun

Founder of TRON (TRX)

Coins Mentioned

Justin Sun

Founder of TRON (TRX)

Companies Mentioned

Justin Sun

Founder of TRON (TRX)

Justin Sun

Founder of TRON (TRX)

+ 1.45%
Icon
Nitrogen Sports

Lorem Ipsum is simply dummy text of the printing and typesetting indu...

Icon
SportBet.io

Lorem Ipsum is simply dummy text of the printing and typesetting indu...

Icon
7bitcasino

Lorem Ipsum is simply dummy text of the printing and typesetting indu...

Icon
FortuneJack

Lorem Ipsum is simply dummy text of the printing and typesetting indu...

Icon
Binance

Lorem Ipsum is simply dummy text of the printing and typesetting indu...

Icon
Kraken

Lorem Ipsum is simply dummy text of the printing and typesetting indu...

Top Exchanges
Icon
Binance

4.93

Read Review - Website

Icon
Kraken

4.10

Read Review - Website

Icon
Binance

4.93

Read Review - Website

Top Casinos
Icon
7bitcasino

4.20

Read Review - Website

Icon
FortuneJack

4.55

Read Review - Website

Icon
BitStarz

4.93

Read Review - Website

Trending news

Advertise

Trending news

Top Exchanges
Icon
Binance

4.93

Read Review - Website

Icon
Kraken

4.10

Read Review - Website

Icon
Binance

4.93

Read Review - Website

Icon
Gemini

4.85

Read Review - Website

Icon
Kraken

4.10

Read Review - Website

Top Casinos
Icon
7bitcasino

4.20

Read Review - Website

Icon
FortuneJack

4.55

Read Review - Website

Icon
BitStarz

4.93

Read Review - Website

Icon
FortuneJack

4.55

Read Review - Website

Icon
7bitcasino

4.20

Read Review - Website

Top Sportsbook
Icon
Nitrogen Sports

4.73

Read Review - Website

Icon
SportBet.io

4.60

Read Review - Website

Icon
Nitrogen Sports

4.73

Read Review - Website

Icon
SportBet.io

4.60

Read Review - Website

Icon
1xBit

4.0

Read Review - Website

Lawal Khalid Abiola Lawal Khalid Abiola Author

Lawal Khalid Abiola is a creative writer, entrepreneur and innovation lover. He contributes to platforms like ThriveGlobal, and also an editor at PRKnot, a Public Relation firm at its threshold. Lawal Khalid Abiola is an avid lover of Cryptocurrency.

50 Articles
7255 Followers