[ad_1]
Academics At Columbia University received $ 400k from Qtum for Smart Contracts R & D
Academics at Columbia University $ 400,000 have been allocated since project blockchain Qutm. The main intention is to develop a new programming language for Ethereum (ETH). The information was released on December 19 in an e-mail to Cointelegraph.
The new language that will be developed is called "DeepSEA" and will allow us to tackle some of the current challenges posed by traditional operating systems.
Most of the operating systems and hypervisors are written in low-level languages such as C This is a problem that creates conflicts between high-level formal reasoning and low-level systems. This means that the first reasoning has to deal with a high level of abstraction, but the latter systems must manipulate low-level effects and hardware resources.
The grant will be used by a team of two PhD students and other postdoctoral students headed by Ronghui Gu. These researchers will draw a tool this new language and develop other tools for this. With these developments, smart contracts could become more reliable, reliable and usable.
Professor Gu co-founded the startup blockchain CertiK. CertiK has received an important investment since Qtum Foundation. The project aims to demonstrate mathematically that smart contracts and blockchain ecosystems have no bugs and are resistant to various attacks. Several OIC who developed their own platforms were influenced by clever written contracts.
Qtum focuses on smart contracts and other decentralized applications (dApps). The technology combines different technologies from major virtual currencies and blockchain networks.
At the beginning of this year, Columbia University and IBM announced an acceleration program to help blockchain space startups.
Qtum is currently the 28th largest cryptocurrency in the market with a market capitalization of $ 209 million. Each Qtum coin can be purchased for $ 2.35.
[ad_2]Source link
