您现在的位置:首页 >> 新•资讯 >> 正文
纸贵科技 X CertiK:携手“黑客终结者”开启区块链技术安全保卫战!
发表时间:2018年9月6日 16:28 来源:飞象网 责任编 辑:麒麟

近日,纸贵科技与区块链安全技术服务商CertiK达成安全战略合作。双方将在区块链、智能合约等多项安全性验证服务领域携手,利用自动化推演的原理检测代码漏洞并提供修复方案,弥补人为检测的思维局限,降低链上代码验证成本,提升产品使用体验,为智能合约和区块链系统提供可靠的安全盾牌。

CertiK——区块链安全技术服务商

CertiK是致力于通过全球领先的形式化验证技术,重构社区对于智能合约和区块链信任的区块链安全技术服务商,由耶鲁大学计算机科学系教授邵中及其弟子、哥伦比亚大学计算机系助理教授顾荣辉建立。团队成员来自耶鲁大学、哥伦比亚大学和硅谷的知名IT公司。

CertiK团队构建的CertiKOS,是世界上第一个被完成形式化验证的操作系统内核,被称作“无漏洞且防黑客的系统”,曾引起国内外轰动,被部署在多个安全领域。CertiK目前已与星云、NEO、光速中国、八维资本等多家知名企业达成合作,为其提供形式化验证服务。

纸贵科技携“黑客终结者”打造区块链安全盾牌

此次合作,CertiK作为纸贵科技的安全服务提供商,通过检测并修复代码漏洞,进一步提升纸贵科技区块链服务的安全系数,为用户提供更加安全、放心的更高质量区块链服务体验。双方将携手共同保护区块链技术安全,开启区块链技术安全新领域。

在CertiK先进的深度规范验证技术支持下,纸贵科技将检测相关智能合约代码,并依据其提供的解决方案进行完善,不断提升纸贵科技在区块链技术研发和区块链服务提供过程中的可靠性,从而更好地为企业用户提供更加安全可靠的定制化区块链解决方案。

纸贵区块链云服务平台Zig-BaaS加入CertiK形式化验证服务后,不仅可以帮助开发者快速构建区块链基础设施,提供区块链应用开发、部署、测试和监控的整套解决方案。更能为用户提供形式化验证、性质检查、代码审核等服务内容,来保证智能合约和区块链系统的安全性,进一步丰富了Zig-BaaS的服务能力。用户可在Zig-BaaS上了解、咨询包括智能合约形式化验证在内的各类区块链服务项目,纸贵科技将会为客户提供最专业的区块链解决方案。

除此之外,双方还将就区块链行业的技术安全展开深度合作,资源共享,共同为促进区块链行业的良性发展而努力。

高层访谈
凌动智行史文勇:品智出行, 重新定义车辆对生活的价值和意义
众所周知,手机是基础的通讯工具,车是基础的交通或者出行工具,而发动机是传统车里面非常高的..
专访张启亮:勇担工业互联推手,服务百万设备上云
近日,在第二十二届中国国际软件博览会上,徐工信息总经理张启亮向《人民邮电》报记者讲述了工..
观点态度
云计算的第二个十年:三大运营商如何迎接?
2018年,我国云计算进入第二个十年。站在国家方队里三大运营商的云计算也进入了新的发展阶段。<..
国内手机市场半年报:头部格局定型 中小品牌陷入集体焦虑
2018年已过半,回看这半年, 头部品牌的吸附效应越来越明显,中小品牌正陷入到集体焦虑中。

..
移动互联
手机
智能设备
汽车科技
通信
IT
家电
办公打印
企业
滚动
相关新闻
关于我们 | 联系我们 | 友情链接 | 版权声明
新科技网络【京ICP备18031908号-1】
Copyright © 2018 Hnetn.com, All Right Reserved
版权所有 新科技网络
本站郑重声明:本站所载文章、数据仅供参考,使用前请核实,风险自负。