设为首页 | 收藏本站欢迎来到卓越网络免费免备案CDN加速,DDoS和CC攻击防御,高防CDN管理平台!

已阅读

CDN加速和物联网数据共享中的Top Network

作者:cdnfine      来源:cdnfine      发布时间:2019-04-02

CertiK团队在近期完成了Top Network TOP)的安全审计,助力其成为火币优选通道(Huobi Prime)第一个成功上线的项目。

2019326日,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 NetworkCertiK提供的审计报告和其先进技术的帮助下,提高了其系统的整体设计和安全性。

项目介绍

Top Network是一个高性能的公链平台,拥有强大的服务级基础设施,包括世界上第一个去中心化的云通信服务。致力于打造一个分布式通信网络,用以支持消息、语音、Proxy、流媒体、CDN和物联网数据共享与存储等诸多分布式通信服务。其基于P2P通信和训处技术,打破了传统的客户端/中心服务器模式,让网络中每个有闲置带宽/硬盘的节点充当服务器,为用户服务。

Top Network具有多链平台,这解决了现实业务所具有的金融结算和业务逻辑总是分离的复杂性。TopNetwork账本,以其高性能的区块链和独特的三层分布式账本,实现了主链、服务链和链下账本的无缝结合,可存储、处理、记账和结算任何规模和数量的真实业务。不但能够为分布式通信服务提供记账阶段服务,也能为任何Dapp提供服务。

Keywords: 免费CDN加速 免备案CDN加速 高防CDN加速