Loading...

Qtum量子链向哥伦比亚大学捐赠40万美元,助力智能合约技术研发

2018-12-21 16:21

继哥伦比亚大学今年秋宣布与IBM合作区块链加速项目后,2018年12月19日,全球领先开源区块链项目Qtum量子链正式宣布向哥伦比亚大学捐赠40万美元技术研发资金,助力开发一种全新的智能合约编程语言。

据悉,该项研发资金将被授予由两名博士生与博士后组成的团队,由哥伦比亚大学计算机科学院副教授Ronghui Gu作为技术导师。

据报道,研发工作将致力于设计和实现一种名为“DeepSEA”的新编程语言,以及DeepSEA与以太坊智能合约的兼容。

在早先的一份《DeepSEA》设计大纲指出,这种编程语言可以“解决智能合约程序设计中固有的冲突”,即:

当下的主流操作系统和管理程序大部分是用C类低级语言编写的。而高级形式化推理与低级系统编程之间则存在一种内在的冲突:前者依赖于高层级抽象层的丰富理论,而后者须巧妙处理并管理低层级事务和硬件资源。

目前,哥伦比亚大学研究人员的目标是不断设计和实现,并为DeepSEA开发一个“工具链”,该工具链后期可以应用于“构建经认证的操作系统内核”。此次合作将有助于解决目前智能合约基础设施中的一些关键组件中存在的问题,从而大大提升智能合约的可靠性和安全性,从根本上解决其安全性问题。

根据Ronghui Gu教授及其小组成员的简介中我们了解到,在哥伦比亚大学工作之余,Ronghui Gu还是区块链创业公司CertiK的联合创始人,而Qtum量子链基金会为Certik项目的早期投资人之一。

CertiK项目是一个形式化验证架构,致力于用数学方法证明智能合约和区块链生态系统的安全性。