首页 > 区块链博客 > 《耶鲁项目CertiK将为Qtum量子链提供形式化验证安全服务》

《耶鲁项目CertiK将为Qtum量子链提供形式化验证安全服务》

2018-05-04 16:50:10 阅读量:

全文摘要:

近日,Qtum量子链官方宣布与耶鲁大学项目CertiK携手,共同开发新一代“可验证区块链生态” (certified blockchain ecosystems) ,从根本上提升区块链的可靠性与安全性,打造区块链新世界的安全基石。 Certik由耶鲁大学计算机科学系教授邵中,及其弟子、哥伦比亚大学计算机系助理

近日,Qtum量子链官方宣布与耶鲁大学项目CertiK携手,共同开发新一代“可验证区块链生态” (certified blockchain ecosystems) ,从根本上提升区块链的可靠性与安全性,打造区块链新世界的安全基石。

Certik由耶鲁大学计算机科学系教授邵中,及其弟子、哥伦比亚大学计算机系助理教授顾荣辉建立,致力于为现有区块链应用提供最先进的安全性服务。如今,安全问题成为了区块链这一新兴技术寻求突破、实现大规模落地的瓶颈。从这一现实痛点出发,邵教授认为:区块链安全问题最基本的解决办法是将所有区块链代码在上链前进行形式化的数学证明验证,并以此来检验区块链生态系统和智能合约安全性。
 
日后,CertiK将为Qtum量子链提供全栈式的形式化验证服务,包括提供Qtum系Dapps的安全性报告与一站式验证服务,为Qtum X86虚拟机的形式化建模 (formal model),以及Qtum量子链的代码证明等,为Qtum生态系统的安全性保驾护航,并为更多实际应用的落地打下基础。
 
可编程化的区块链技术拥有超越互联网技术的潜力,但潜力通常是一把双刃剑,在人们能够在区块链上完成各种商业活动之前,区块链建设者们必先保证其安全和稳定性。相信Certik的技术支持将为Qtum量子链的生态体系注入新的活力,Qtum量子链也将向着“为商业世界而生的区块链”更进一步。

来源:币乎


上一篇:币安网发全球通缉令,25万美元等值赏金追缉黑客
下一篇:阿里巴巴的天猫电子商务平台通过与物流公司菜鸟合作

微信

微信

微信

微信