搜索

NEO与CertiK达成安全战略合作

[复制链接]
查看8 | 回复0 | 2019-1-27 10:38:50 | 显示全部楼层 |阅读模式


        跟着区块链止业井喷式开展,宁静成绩获得愈来愈多的正视。 NEO做为出名度最下,开辟者最多的公链,智能开约系统构建不竭完美的同时,将宁静性摆正在主要地位。因而,NEO取情势化考证仄台CertiK告竣宁静计谋协作,以CertiK独占的情势化考证手艺,为NEO量收稿时ETH价钱:$162.00身定造数字资产、数字身份考证计划,配合完成经济形式的反动。
情势化考证(Formal Verification):是用逻辑言语去形貌标准,经由过程松散的数教推演去查抄给定的体系代码能否满意请求。CertiK今朝次要是针对智能开约(smart contract)停止情势化考证(formal verification), 力图从实际上证实代码完成的准确性, 从而稳固开约的宁静。
今朝基于NEO布置的智能开约取dApp年夜多由开辟者自力完成,他们的代码宁静性需求借助情势化考证手腕去确保,因而关于本次协作,将无益于NEO死态的安康开展,吸收更多的开辟者。
CertiK是由去自于纽约战硅谷的粗英团队构成,结合开创人邵中是耶鲁年夜教计较机系系主任、毕生冠名传授,具有30余年宁静范畴经历。团队的中心手艺去自于邵中传授战另外一位结合开创人,哥伦比亚年夜教计较机系传授瞅枯辉传授的多年科研功效——天下上第一台从实际上证实可抗乌客进犯的操纵体系CertiKOS。
NGD(NEO Global Development)总司理赵朝暗示:“NEO是一条下度开放自治的公链,跟着更多的开辟者正在NEO上布置智能开约,宁静性保证将加快NEO死态的繁华。期望NEO取CertiK的协作可以联袂配合鞭策区块链安康开展。”
       
        更大都字货泉资讯:http://www.wbi.cn

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?立即注册

x




上一篇:Star blockchain开发人员与创业公司Casper Labs的谈话扼杀了加密货币的世界
下一篇:区块链和共识协议灵活性和安全性
回复

使用道具 举报

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

本版积分规则

1万

主题

1万

帖子

4万

积分

管理员

Rank: 9Rank: 9Rank: 9

积分
49142