躺赚钱吧

 找回密码
 立即注册
查看: 74|回复: 0

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

[复制链接]

6

主题

22

帖子

-5

积分

限制会员

积分
-5
发表于 2018-12-28 14:04:05 | 显示全部楼层 |阅读模式
Qtum量子链向哥伦比亚大学捐赠40万美元,助力智能合约技术研发-1.jpg

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

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


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

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

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

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


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


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

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

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

Qtum量子链向哥伦比亚大学捐赠40万美元,助力智能合约技术研发-5.jpg
CertiK项目是一个形式化验证架构,致力于用数学方法证明智能合约和区块链生态系统的安全性。

推荐阅读

Qtum量子链周报(12月10日-12月16日)

Qtum量子链 跨链原子交换

Qtum量子链基金会2018年财务执行状况披露(6月-11月)


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

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

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

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

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

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

点击阅读原文即可查看英文版




上一篇:Qtum量子链新官网全面升级,正式上线!
下一篇:Qtum量子链周报(12月17日-12月23日)
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

QQ|Archiver|手机版|小黑屋|躺赚钱吧 |网站地图 src="http://e.easypatent.net/4722/324">

GMT+8, 2019-1-19 02:13

Powered by Discuz! X3.4

© 2001-2018 Comsenz Inc.

郑重声明: 本站信息全部来源于互联网搜集或网友发布,仅供交流参考之用,本站不承担任何连带责任。

快速回复 返回顶部 返回列表