去中心化钱包WeToken正式通过Certik安全审计_DAO:Tiger Inu Token

这是一个重要的时刻,智能合约技术代码的审计对于一个去中心化钱包来说十分关键且重要!2021年12月30日WeToken已经通过美国知名安全审计公司Certik代码审计,WeToken发布了智能合约技术代码由世界领先的区块链安全审计机构Certik全程参与本次代码审计工作。Certik依靠动态分析、静态分析、人工复核从中寻找潜在的安全隐患,以及可能生产的漏洞,对去中心化钱包WeToken进行全方位的安全审核。

Consensys战略主管:去中心化Infura将于今年年底推出:金色财经报道,Consensys战略主管Simon Morris在韩国区块链周上表示,去中心化Infura将于今年年底推出,主要的Web2云提供商将成为该网络的一部分。

Infura是大多数DApp访问以太坊区块链实时链上数据的接入点,但由于它仅由Consensys控制,因此会出现单点故障。2020年11月,Infura宕机后,MetaMask钱包停止工作,中心化交易所和DeFi项目也受到影响。Infura还因遵守美国对TornadoCash的制裁而受到一些用户的批评,但作为一家总部位于美国的公司,Consensys几乎无能为力。[2023/9/8 13:27:01]

审计结果

MakerDAO欧洲业务发展代表:去中心化不是二元选择问题:金色财经报道,MakerDAO欧洲业务发展代表Gustav Arentoft表示,在业务方面,在所有用例中普遍应用去中心化并不一定是成功的秘诀。加密银行Bitwala将该公司描述为去中心化中央银行,而MakerDAO可以被看作是社区驱动的央行,他们不会将自己称为央行,但其确实与传统金融有很多相似之处。尽管DeFi定义是去中心化的,他认为中心化元素实际上可以对早期项目有益。随着项目发展而逐步去中心化的主要理由是提高安全级别。尽管DeFi由于其金融生态系统的灵活性,本质上比加密货币行业其他方面更受合作的驱动,但这并不意味着不会发生公司侵略的残酷行为。Steemit发生的事情就是很好的例子。他解释称,在MakerDAO,中心化问题并不是通过采用二元立场来解决,灵活性为不同用例提供了更多可操作性。MakerDAO正建设的将是这样的公共基础设施,真正能够容纳和提供基础设施,并且在基础设施之上有很多制造应用的可能性。因此,他们认为应该去中心化,但这是需要随着时间推移而发生的事情。Arentoft个人并不认为这是二元的,不是说你要么是去中心化的,要么就像传统金融。他相信还有很多不同用途的空间。[2020/3/25]

在审计后,Certik再次确认了WeToken钱包交付的技术代码处于开源去中心化的基础上并具有非常高的安全水准,肯定了WeToken钱包执行安全测试的主动性。WeToken钱包团队已收到Certik的优化建议,这些建议已全部应用于代码库的完善过程中。

动态 | 去中心化存储公司Storj Lab代币转换计划将于2020年1月1日结束:据CoinDesk消息,11月5日,去中心化存储初创公司Storj Labs宣布,其长期运行的代币转换计划将于2020年1月1日结束,该计划将把用户的SJCX代币将转换为基于以太坊的新型STORJ代币,早期SJCX代币的持有者需要尽快采取行动以避免损失。[2019/11/5]

????

????

审计过程

Certik针对WeToken钱包的智能合约技术代码的结构、实现情况和整体最佳实践进行了测试、分析和推论。Certik团队以系统为基础对整个代码库进行分析,进而启动整体审计过程,并在整个过程中严格遵循了高标准化要求。

审计过程中,Certik充分利用了动态分析,静态分析和人工复核等技术,对项目协议进行了全面检查。审计过程中特别注意了以下事项:

测试所有针对智能合约的常见与罕见的攻击向量;

评估代码库是否达到当前的最佳实践与行业标准;

保证合约的逻辑符合设计规范和设计目的;

参照并对比行业制定的相似结构;

对整个代码库进行逐行的人工复核;

WeToken简介

WeToken是一款专业的多链数字钱包,依托团队在区块链领域的技术积累和安全经验,从多重维度保障全球数字货币用户的资产安全,提供简单便捷、安全可靠的数字资产管理服务。Wetoken钱包现已支持以太坊、波场、BSC、HECO等多条主链,同时具备理财增值、币币交易、闪电兑换、抵押借贷、行情追踪、多签共管等丰富功能,已为全球超150个国家和地区千万用户提供可以信赖的数字货币资产管理服务,Wetoken——你的数字资产增值保值的保险箱。

Certik简介

美国区块链安全审计公司Certik已获BinanceLabs数百万美金投资。由来自耶鲁大学和哥伦比亚大学的科研团队携数十年研究成果成立,通过“深度规范”的形式化验证技术为区块链应用和智能合约提供代码安全审计服务。并以形式化验证技术为智能合约和区块链应用及协议提供最高等级的代码安全解决方案,曾为币安等知名项目做过安全审计。

来源:金色财经

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金宝趣谈

[0:0ms0-3:442ms