已阅读
CDN加速和物联网数据共享中的Top Network
CertiK团队在近期完成了Top Network (TOP)的安全审计,助力其成为火币优选通道(Huobi Prime)第一个成功上线的项目。
2019年3月26日,Top Network在全球领先的数字资产金融服务商——火币全球站(Huobi Global)正式上线交易。本次融资活动总共进行了三轮,每轮均在几秒内销售一空。作为Top Network的安全合作伙伴和官方审计公司,CertiK热烈祝贺Top Network项目高分通过了严格的形式化验证审计。
审计过程
TopNetwork 通证是ERC-20标准合约,能够在精简的代码实现基础上保证对前置条件的充分检验,从而防止极端情况出现。
除了通用接口,TOP通证还有一些属于发行方或拥有者的额外功能:
-
由所有者引入并控制的新状态(激活/未激活状态),通证合约在未被激活的状态下,将不会执行所有的操作。这可以阻止潜在的恶意行为对合约造成破坏。
-
通证合约中有一个“Kill”函数,能够在必要时由所有者调用执行。智能合约在函数执行后开始“自我损毁”,任何回滚和恢复的可能性都不存在。由于这是一个非常强大的函数,CertiK团队针对其潜在影响与客户进行了沟通,并由客户团队对这把“双刃剑”的使用做最终决定。
由于这是Top Network首次在数字交易平台上亮相,CertiK委任了3名安全专家,组成专项方案小组,利用CertiK公司专有的形式化验证技术对Top Network的合约进行安全审计,对各类分析汇总并进行了深入讨论。推荐阅读:《免费CDN加速缓存规则》
下图为CertiK官方团队披露的评分卡:完整审计报告可点击“阅读原文”进行浏览。
审计过程中的一些亮点:
在经过自动扫描和智能标记源代码后,系统没有发现Top Network智能合约存在任何漏洞。这证明其源代码在数学层面上是安全的,并且安全性极高。
一些功能由于具有压倒所有权的性质,进而触发引擎警告。CertiK团队已将这些问题提交给Top Network团队进行深入考虑,
CertiK利用最新和最先进的形式化验证技术,为区块链领域行业提供最全面和最严格的安全审计。形式化验证不只是检查系统漏洞,更是利用严格的数学原理来检查程序的源代码是否符合其设计规范,计算所有可能的场景,并提供证据证明某些已检查的漏洞不可能存在。
Top Network在CertiK提供的审计报告和其先进技术的帮助下,提高了其系统的整体设计和安全性。
项目介绍
Top Network是一个高性能的公链平台,拥有强大的服务级基础设施,包括世界上第一个去中心化的云通信服务。致力于打造一个分布式通信网络,用以支持消息、语音、Proxy、流媒体、CDN和物联网数据共享与存储等诸多分布式通信服务。其基于P2P通信和训处技术,打破了传统的客户端/中心服务器模式,让网络中每个有闲置带宽/硬盘的节点充当服务器,为用户服务。
Top Network具有多链平台,这解决了现实业务所具有的金融结算和业务逻辑总是分离的复杂性。TopNetwork账本,以其高性能的区块链和独特的三层分布式账本,实现了主链、服务链和链下账本的无缝结合,可存储、处理、记账和结算任何规模和数量的真实业务。不但能够为分布式通信服务提供记账阶段服务,也能为任何Dapp提供服务。