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通证还有一些属于发行方或拥有者的额外功能:

1. 由所有者引入并控制的新状态（激活/未激活状态），通证合约在未被激活的状态下，将不会执行所有的操作。这可以阻止潜在的恶意行为对合约造成破坏。

2. 通证合约中有一个“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提供服务。