新伙伴与 CertiK, 以提高智能合同安全

Blockchain 平台与安全审计公司 CertiK 联手实施其 “正式验证框架”, 以在平台的生态系统中实现智能合同, 尼奥在一个中等职位上说。
交易的范围似乎相当广泛, 因为最终的结果将是一个定制的解决方案, 具有多种功能。除了审核智能合同之外, 安全专家还将验证新 blockchain 的数字身份。

 
尼奥的团队指出, 他们的网络上的大部分贡献来自于个别的程序员, 所以这样的功能将得到高度赞赏。鉴于最近对其网络的攻击与垃圾邮件交易, 添加垃圾邮件预防机制也应该是一个优先事项。
“尼奥是一个高速自主的公共链。随着更多的开发人员在上面构建层, 这一额外的安全层将加速生态系统的繁荣. “, 新的全球发展经理赵陈说。
CertiK 提供了所谓的 “正式验证”–一种检查任何给定代码可用性的方法。当应用到 blockchain 传输时, 需要采用 “基于层” 的方法将复杂的证明任务分解为较小的。然后, 系统使用自己的分类帐来运行客户端代码的专有检查和 “图章证书”。使用的一些技术, 也被部署在创建 CertiKOS, 被称为防黑客操作系统。
CertiK 由一组学者和退伍军人在网络安全领域的领导, 因为一些知名的名字包括邵教授, 托马斯 l. 肯普纳教授, 耶鲁大学计算机科学系主任, 邵教授和哥伦比亚融汇教授。大学。