您的位置:首页 > 区块链 >

CertiK完成对Waltonchain golang的安全审计 将联系区块链与现实

2019-10-09 10:16:16 来源: 区块链导航

CertiK 已完成对 Waltonchain golang 语言的公链及其跨链智能合约的官方安全审计,并对其程序设计和运行情况进行了重点审计。Waltonchain (简...

动态

CertiK 已完成对 Waltonchain golang 语言的公链及其跨链智能合约的官方安全审计,并对其程序设计和运行情况进行了重点审计。

Waltonchain (简称 WTC),将区块链技术引入物联网,解决了物联网发展过程中所面临的中心化问题,基于密码学原理,凭借分布式点对点网络,实现有序交易记录的永久性存储,不可删除和篡改,公开并且可溯源,能完美解决互联网虚拟世界的信任和权益问题。WTC 将构建现实世界与区块链完美结合的商业生态链,引领人类全面进入可信赖的数字化生活,开创物联网的新纪元。

WTC 与现实世界资产流动直接相关。随着电子商务和货物运输成为国内和国际贸易的主要构成部分,WTC 通过将区块链技术和 RFID 技术相结合,逐渐把区块链技术与现实世界紧密联系起来,并通过 RFID 技术访问整个区块链的各个节点。这能帮助公司提高工作效率,降低运营成本,减少冲突摩擦并进一步探索区块链。RFID 技术也被称为射频识别,是 WTC 的附加产品。WTC 团队使用该技术把数字数据编码为标签和智能标签,以实现无线电波读取数据。

为了确保项目运行符合设计预期,WTC 选择与全球领先的区块链安全公司 CertiK 合作。

审计流程

目前,WTC 已将其 RFID 等技术应用于服装、食品、收藏、物流等行业。WTC 团队需要从两个方面审计其区块链及跨链合约 :

1.数据可靠性**

2.数据值循环**

WTC 通过将区块链和 RFID 紧密结合来确保数据的可靠性。为了实现有效的数据共享,其团队还充分利用了跨链生态系统。

为了确保能对 Waltonchain golang 语言的公链及其跨链智能合约进行全面的审查,CertiK 委派经验丰富的安全专家组成审计团队,通过利用 CertiK 独有的形式化验证技术,并结合静态分析及人工复核等方式全面检测合约的漏洞及逻辑错误。

安全专家们对 WTC 的源代码进行了分析。这种端到端审计流程确保了程序运行的稳定性。审计过程中,专家们以程序为中心,重点消除潜在漏洞,并根据该领域的最佳实践经验为 WTC 团队提出了修改建议。

根据以下资料,CertiK 对 WTC 系统有了更深入的理解:

1. WTC 的白皮书

2. WTC 的官网

3. WTC Github

4. WTC 的业务流程

针对实际代码执行情况和设计规范之间存在的一些不一致之处,Certik 与 WTC 团队进行了进一步讨论和确认。审计中我们发现 :

1. 与传统的证明方法相比,WTC 的 POS 提供了一种Staking 经济模型。矿工可以在不被处罚的情况下获得 75% 的优惠。

2. 由于挖掘速度不同,Waltonchains 独有的myX11 算法与其他 x11 算法也有所不同。这一设计的目的是将哈希率(算力)保持在可开采速率范围内,从而吸引更多人从事挖矿工作。

审计结果

CertiK 为 WTC 项目提供了严格的安全审计。整体而言,WTC 项目代码符合设计规范且运行良好,具有良好的可扩展性,不易受到任何已知的典型漏洞攻击或其他安全问题的影响,安全程度较高,

最后,CertiK 衷心祝贺 WTC 顺利通过此次严格的形式化验证,也希望 WTC 的其他项目能够顺利进行。

动态

精选 导读

Telegram推出Grams Wallet 可以集成到Messenger使用

10月9日讯,Financemagnates在周二(10月8日)发布的报道称,Telegram今日更新了服务条款,正式引入了Grams Wallet,可以作为独立应用程序提

发布时间: 2019-10-09 09:06
币库   2019-10-09

宝宝树:人员变动属于正常优化 总市值已跌落至36.81亿港元

近日,母婴平台宝宝树的内部人事变动传闻引起了市场的关注。北京商报记者为此向宝宝树方面核实,对方回应称,消息不属实,公司确有人事(高

发布时间: 2019-10-09 08:52
学院   2019-10-09

坚果Pro 3渲染图曝光 搭载后置四摄+Smartisan OS 7.0

近日网络上流出了疑似锤子新机坚果Pro3的渲染图以及相关消息,在沉浸了许久以后,锤子手机终于有了些动静。从网上流传出的信息来看,这款新

发布时间: 2019-10-09 08:29
科技   2019-10-09

Redmi 8真机曝光 搭载后置双摄+5000mAh电池

近日,SalimBaba Technical在视频网站上传了Redmi 8的开箱视频,确认这款手机将搭载高通骁龙439处理器和5000mAh电池。在配置方面,Redmi 8

发布时间: 2019-10-09 08:26
科技   2019-10-09

三星折叠屏专利曝光 副屏位于手机的右侧

近日,三星向世界产权组织(WIPO)提出了一项新的折叠屏专利申请。曝光的专利图显示,三星新的折叠屏屏幕会更大,展开后将达到普通屏版的大小

发布时间: 2019-10-08 17:27
科技   2019-10-08

realme X2 Pro将采用双立体扬声器 音质通过Hi-res小金标认证

10月5日,realme手机欧洲官方推特宣布,realme X2 Pro采用双立体声扬声器,支持杜比音效,并通过了Hi-res小金标认证。realme X2 Pro是realm

发布时间: 2019-10-08 17:24
科技   2019-10-08

苹果宣布iPhone 6s/6s Plus的免费维修计划 以修复无法开机的问题

苹果在周五宣布了一项针对某些iPhone 6s和iPhone 6s Plus设备的服务维修计划,以修复可能无法开机的问题。苹果在通知中称,该维修计划并不

发布时间: 2019-10-08 11:47
科技   2019-10-08

华为推出HMS服务 因为Mate 30在海外无法使用谷歌GMS

日前,华为Mate30系列正式在马来西亚、菲律宾、新加坡等亚洲国家发布。但值得注意的是,这次华为Mate30系列由于一些原因在海外无法使用谷歌

发布时间: 2019-10-08 09:22
科技   2019-10-08

三星电子第三季度营利可能下降56% 内存芯片贡献了2/3的利润

北京时间10月8日早间消息,三星电子周二报告称,第三季度营业利润很可能同比下降56%。这主要是由于全球存储芯片价格的滑坡。不过,这仍然略

发布时间: 2019-10-08 09:11
行业   2019-10-08