1. 首页
  2. 专栏

Qtum量子链与哥伦比亚大学合作开展区块链技术研究

Qtum量子链与哥伦比亚大学合作开展区块链技术研究

eR3TmPoJKdXTVVGPmiFcgmF4qtrQuXwhqV5wWGAD.jpeg

继Bianews 7月17日消息,IBM与哥伦比亚大学合作推出了一个新区块链研究中心后,哥伦比亚大学进一步拓展区块链技术合作伙伴——Qtum量子链

Qtum量子链将于即日携手与哥伦比亚大学开展区块链主流语言开发平台技术研究,其中针对智能合约的形式化验证将会融合在该平台中,帮助更多的主流语言开发者可以开发智能合约,加速全球区块链技术潮流。

如何理解形式化验证?

形式化验证一般被称为形式化验证方法,是相对于传统的验证(模拟、仿真和测试)而言的。形式化验证方法的主要思路就是使用数学的公式、定理和系统来验证一个系统的正确性等。

简而言之,我们想要保证我们的智能合约能够100%的正确,形式化验证(Formal verification)就让我们可以确保某些错误状态不会发生。

hlDN8q4cZnGV3NNlylj0T58ZDBNtOQuHCqhtLl97.jpeg

随着哥大此次科研项目形式化验证加入Qtum x86虚拟机的技术研发将主流语言开发人员也纳入区块链技术的研发中来,这项基础工程就显得尤为重要。哥伦比亚大学作为全球最知名的高校之一,拥有雄厚的技术基础与技术界的学术领袖背景,使得区块链这项技术不再被语言标准库等限制,并使得智能合约的安全性和正确性得到保证。

Qtum量子链此次于哥伦比亚大学合作,让全球最顶尖的技术学术领袖聚集在一起,并且通过Qtum量子链基金会使得区块链技术可以获得市场广泛研究和商业经验数据,从而共同去培养新一代技术专家和商业领袖。

3zrAdOdsV58GMk6tDuPomAU3nnPrDoTgicftFvzY.jpeg

哥伦比亚大学(Columbia University),正式名称为纽约市哥伦比亚大学(Columbia University in the City of New York),简称为哥大。八大常春藤盟校之一,也是培养诺贝尔奖获得者最多的大学之一。哥大在2019USNews美国大学综合排名第3,2018年《华尔街日报》/《泰晤士高等教育》(WSJ/THE)美国大学排名第2名。哥伦比亚大学在2017年ARWU世界大学学术排名中位列世界第八名 。

©本文仅代表作者本人观点,与趣币网无关。趣币网对文中陈述、观点判断保持中立,不对所包含内容的准确性、可靠性或完整性提供任何明示或暗示的保证。若以此作为投资依据,请自行承担全部责任。转载请注明出处:趣币网

发表评论

登录后才能评论

联系我们

13798586780

在线咨询:点击这里给我发消息

邮件:1074760229@qq.com

QQ群:551893940

工作时间:工作日9:00-18:00,节假日休息

QR code