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

量子链区块大康2018-12-23 18:19:24  阅读 -评论 0  阅读原文

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

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

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

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

"

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

"

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

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

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

声明:链世界登载此文仅出于分享区块链知识,并不意味着赞同其观点或证实其描述。文章内容仅供参考,不构成投资建议。投资者据此操作,风险自担。此文如侵犯到您的合法权益,请联系我们kefu@lianshijie.com

参与讨论 (0 人参与讨论)

相关推荐

分析师:比特币价格达到1.8万美元以后可能很快会“冲高回落”

比特币的价格正在飙升至1.8万美元,兴奋的交易员认为这一顶级数字资产将可能超过2017年的历史高点19763美元。交易员仍然预计,随着比特币价格接近18000美元,比特币最终将冲高回落。

PlatON创新研究院夏伏彪解析隐私计算技术

今天,PlatOn创新研究院的夏博士为我们解析隐私计算的各项技术。差分隐私这个技术的使用场景相对比较有限。同态加密需要解决的一个核心问题是可以支持任意类型的计算。

Curve + zkSync L2:以太坊的ZK Rollup 智能合约

Curve 和 Matter Labs 团队很高兴宣布以安全且去中心化的方式向以太坊扩展迈出了一大步:今天,我们和 Curve Finance 一起发布了第一个常驻 dapp 的 zkSync L2 智能合约测试网。 为什么选择 ZK Rollup ? 扩展性是以太坊一个迫切的需求 - 隧道尽头有一个亮灯。Vitalik Buterin 刚刚宣布 Rollup 是现阶段扩展以太坊的“唯一选

全球第二大银行中国建设银行将发行30亿美元债券,可交易比特币

全球第二大银行中国建设银行将发行30亿美元债券,可交易比特币

暴走时评:中国建设银行已与位于纳闽的数字资产交易所FUSANG合作,计划通过区块链发行价值30亿美元的海外债券。

加密衍生品交易所FTX首席执行官向拜登竞选团队捐赠500万美元

加密衍生品交易所FTX首席执行官向拜登竞选团队捐赠500万美元

翻译:Maya 香港加密货币衍生品交易所FTX的首席执行官Sam Bankman-Fried向拜登的总统竞选活动捐赠了520万美元。据《华尔街日报》10月28日报道,拜登的总统竞选活动从前100名自称CEO的捐赠者那里共获得7,950万美元。

比特币有什么缺点?

1.交易平台的脆弱性。比特币网络很健壮,但比特币交易平台很脆弱。交易平台通常是一个网站,而网站会遭到黑客攻击,或者遭到主管部门的关闭。2.交易确认时间长。比特币钱包初次安装时,会消耗大量时间下载历史交易数据块。而比特币交易时,为了确认数据准确性,会消耗一些时间,与p2p网络进行交互,得到全网确认后,交易才算完成。3.价格波动极大。由于大量炒家介入,导致比特币兑换现金的价格如过山车一般起伏。使得比

业务中使用区块链的四种方式

业务中使用区块链的四种方式

暴走时评:区块链是一种支持像比特币这样的数字货币的公共分类帐本,并且正改变着我们的业务方式。一旦那些对匿名交易,甚至是秘密交易感兴趣的人接纳了这样一种鲜为人知的工具,加密货币就会日趋成为主流。 区块链是一种支持像比特币这样的数字货币的公共分类帐本,并且正改变着我们的业务方式。一旦那些对匿名交易,甚至是秘密交易感兴趣的人接纳了这样一种鲜为人知的工具,加密货币就会日趋成为主流。越来越多的个人和企

区块链:法定数字货币技术路线的必然选择

区块链:法定数字货币技术路线的必然选择

在人类发展史上,货币的进化从未停止。从物物交换,到金属铸币,再到纸质货币,以及当前正在发展的数字货币正在向着越来越便捷的方向进化。 比特币的出世起初并未带来轰动,但是最近几年其价格惊人的爬高创造出了一个个造富神话,引起各国政府及监管机构的关注。虽然金融专家普遍认为它只是一种资产,而非货币,但是,其背后的区块链(Blockchain)技术引起了包括各大金融机构、政府、企业及学术界的浓厚兴趣,未

麦妖榜
更新日期 2019-09-03
排名用户贡献值
1牛市来了30910
2BitettFan24187
3等待的宿命23810
4区块大康20369
5六叶树20310
6linjm122719429
7天下无双16192
8lizhen00215280
9让时间淡忘14586
10yelanyi050511349
返回顶部 ↑