Qtum concede subsídio de US $ 400 mil para equipe de pesquisa da Universidade de Columbia para pesquisa e desenvolvimento de contratos inteligentes

Projeto de blockchain de código aberto A Qtum concedeu uma doação de US $ 400.000 a acadêmicos da Universidade de Columbia para financiar o desenvolvimento de uma nova linguagem de programação para contratos inteligentes ao estilo Ethereum (ETH). A notícia foi anunciada em um email compartilhado com Cointelegraph 19 de dezembro.

A doação de pesquisa e desenvolvimento (P & D) irá para uma equipe de dois estudantes de doutorado e pós-doutorado, chefiada pelo professor assistente do corpo docente de ciência da computação de Columbia, Ronghui Gu.

O departamento de pesquisa e desenvolvimento se concentrará no design e na implementação de um novo idioma chamado “DeepSEA” e sua integração com contratos inteligentes estilo Ethereum. Um esboço anterior do DeepSEA afirma que a linguagem pode “atacar [um] conflito inerente” na programação, a saber que:

“Os principais sistemas operacionais e hipervisores de hoje ainda são escritos em linguagens de baixo nível tipo C. Parece haver um conflito inerente entre o raciocínio formal de alto nível e a programação de sistemas de baixo nível: o primeiro se baseia em uma rica teoria em alto nível de abstração, enquanto o segundo deve manipular e gerenciar os efeitos de baixo nível e os recursos de hardware”.

Os objetivos dos pesquisadores são continuar a projetar e implementar a linguagem e desenvolver uma “cadeia de ferramentas” DeepSEA, que poderia ser aplicada posteriormente para “construir núcleos de sistemas operacionais certificados e contratos inteligentes no estilo Ethereum”. Isso, os pesquisadores e seu patrocinador alegam, pode ajudar a resolver muitos dos problemas com os principais componentes da infraestrutura crítica para contratos inteligentes, tornando-os mais "confiáveis, confiáveis ​​e, em última análise, adotáveis".

De acordo com seu perfil do corpo docente, o trabalho do Professor Gu para além da Columbia inclui a co-fundação da startup Certchain, que a Fundação Qtum investiu. Uma visão geral da CertiK afirma que o projeto é uma estrutura de verificação formal que visa provar matematicamente que os contratos inteligentes e os ecossistemas blockchain são livres de bugs e resistentes a hackers ”.

Como publicado anteriormente, a Qtum Foundation, registrada em Cingapura, desenvolveu o Qtum como uma plataforma de aplicativos blockchain híbrida de software livre, com um foco particular em contratos inteligentes e aplicativos descentralizados (DApps). Sua tecnologia principal combina um bifurcação do núcleo Bitcoin (BTC) e uma camada de abstração de conta que permite várias máquinas virtuais, incluindo o consenso de máquina virtual Ethereum (EVM) e prova de participação (PoS).

Neste outono, a Universidade de Columbia — juntamente com a IBManunciou dois programas de aceleração de blockchain que visam ajudar as startups no espaço a inovar em escala. Ambos os programas fazem parte do Centro Columbia-IBM para Blockchain e Transparência de Dados, um centro de inovação conjunto que foi estabelecido pela gigante de tecnologia e escola da liga de hera nos EUA neste verão.