[ad_1]
Research and education institutions have maintained for thousands of years a prestige in our world, providing the tools and space needed to promote innovation.
The blockchain space is looking for a place in the formal education system as companies require more work and students are attracted to the lucrative labor camp. Funding for research and blockchain resources are needed to foster the growth of the industry and the understanding of this technology at an early stage between developers and companies.
Qtum, a public open source blockchain platform, contributed a $ 400,000 grant to the blockchain search space. Columbia University academics are tasked with creating a brand-new, smart, etheric-style contract programming language. Two doctoral and postdoctoral students from the computer science department are collaborating assistant professor, Ronghui Gu to work on the research and design project.
The new language will be called DeepSEA and aims to bridge the gap between two conflicting aspects of the programming language: abstract formal logic and management of low-level effects and hardware resources.
The extract of the grant award states:
"(T) today's operating systems and mainstream hypervisors are still written in low-level languages like C. There seems to be an inherent conflict between high-level formal reasoning and low-level system programming: the first is based on a theory rich at high level of abstraction while the latter must manipulate and manage low-level effects and hardware resources ".
The language must be designed and implemented to develop a "toolchain" to be used in the creation of "certified OS kernel and smart contracts in the Ethereum style". OS kernels are an integral part of operating systems that allow the management of hardware functions. Innovating on these components of the infrastructure would allow intelligent contracts to be more reliable and adaptable.
Qtum's interest in the project is probably based on its hybrid blockchain platform focused on smart contracting and creating decentralized applications. Its technological base is a fork of the Bitcoin core protocol combined with an Account Abstraction Layer that allows to coexist with virtual machines. His demonstration of the stake system is designed to allow blockchain modification through the decentralized governance protocol (DGP) use of smart contracts. His interest in development resources and the potential application for the project in his system is advantageous for the blockchain study in general.
In recent years, blockchain programs have grown in demand as the crypt grows in popularity. With relatively few universities offering training courses or research opportunities, any support has a big impact. In the fall, Columbia University hosts two blockchain acceleration programs to give startups the space to innovate. Coupled with IBM, Columbia also launched a Columbia-IBM Center for blockchain and data transparency.
