近日，纸贵科技与区块链安全技术服务商CertiK达成安全战略合作。双方将在区块链、智能合约等多项安全性验证服务领域携手，利用自动化推演的原理检测代码漏洞并提供修复方案，弥补人为检测的思维局限，降低链上代码验证成本，提升产品使用体验，为智能合约和区块链系统提供可靠的安全盾牌。
AIFggQ2VydGlL77ya5pC65omL4oCc6buR5a6i57uI57uT6ICF4oCd5byA5ZCv5Yy65Z2X6ZO+5oqA5pyv5a6J5YWo5L+d5Y2r5oiY77yB"/>
CertiK——区块链安全技术服务商
AIFggQ2VydGlL77ya5pC65omL4oCc6buR5a6i57uI57uT6ICF4oCd5byA5ZCv5Yy65Z2X6ZO+5oqA5pyv5a6J5YWo5L+d5Y2r5oiY77yB"/>
(图片源自网络)
CertiK是致力于通过全球领先的形式化验证技术，重构社区对于智能合约和区块链信任的区块链安全技术服务商，由耶鲁大学计算机科学系教授邵中及其弟子、哥伦比亚大学计算机系助理教授顾荣辉建立。团队成员来自耶鲁大学、哥伦比亚大学和硅谷的知名IT公司。
CertiK团队构建的CertiKOS，是世界上第一个被完成形式化验证的操作系统内核，被称作“无漏洞且防黑客的系统”，曾引起国内外轰动，被部署在多个安全领域。CertiK目前已与星云、NEO、光速中国、八维资本等多家知名企业达成合作，为其提供形式化验证服务。
纸贵科技携“黑客终结者”打造区块链安全盾牌
此次合作，CertiK作为纸贵科技的安全服务提供商，通过检测并修复代码漏洞，进一步提升纸贵科技区块链服务的安全系数，为用户提供更加安全、放心的更高质量区块链服务体验。双方将携手共同保护区块链技术安全，开启区块链技术安全新领域。
AIFggQ2VydGlL77ya5pC65omL4oCc6buR5a6i57uI57uT6ICF4oCd5byA5ZCv5Yy65Z2X6ZO+5oqA5pyv5a6J5YWo5L+d5Y2r5oiY77yB"/>
在CertiK先进的深度规范验证技术支持下，纸贵科技将检测相关智能合约代码，并依据其提供的解决方案进行完善，不断提升纸贵科技在区块链技术研发和区块链服务提供过程中的可靠性，从而更好地为企业用户提供更加安全可靠的定制化区块链解决方案。
纸贵区块链云服务平台Zig-BaaS加入CertiK形式化验证服务后，不仅可以帮助开发者快速构建区块链基础设施，提供区块链应用开发、部署、测试和监控的整套解决方案。更能为用户提供形式化验证、性质检查、代码审核等服务内容，来保证智能合约和区块链系统的安全性，进一步丰富了Zig-BaaS的服务能力。用户可在Zig-BaaS上了解、咨询包括智能合约形式化验证在内的各类区块链服务项目，纸贵科技将会为客户提供最专业的区块链解决方案。
除此之外，双方还将就区块链行业的技术安全展开深度合作，资源共享，共同为促进区块链行业的良性发展而努力。
免责声明：本网站内容主要来自原创、合作伙伴供稿和第三方自媒体作者投稿，凡在本网站出现的信息，均仅供参考。本网站将尽力确保所提供信息的准确性及可靠性，但不保证有关资料的准确性及可靠性，读者在使用前请进一步核实，并对任何自主决定的行为负责。本网站对有关资料所引致的错误、不确或遗漏，概不负任何法律责任。任何单位或个人认为本网站中的网页或链接内容可能涉嫌侵犯其知识产权或存在不实内容时，应及时向本网站提出书面权利通知或不实情况说明，并提供身份证明、权属证明及详细侵权或不实情况证明。本网站在收到上述法律文件后，将会依法尽快联系相关文章源头核实，沟通删除相关内容或断开相关链接。
