这是一个重要的时刻,智能合约技术代码的审计对于一个去中心化钱包来说十分关键且重要!2021年12月30日WeToken已经通过美国知名安全审计公司Certik代码审计,WeToken发布了智能合约技术代码由世界领先的区块链安全审计机构Certik全程参与本次代码审计工作。Certik依靠动态分析、静态分析、人工复核从中寻找潜在的安全隐患,以及可能生产的漏洞,对去中心化钱包WeToken进行全方位的安全审核。
去中心化云存储服务提供商Unigrid获GEM提供2500万美元投资承诺:金色财经报道,去中心化云存储服务提供商Unigrid宣布获得GEM提供的2500万美元投资承诺,此外Unigrid还与WeSendit达成合作,将使用后者提供的匿名数据传输和去中心化存储解决方案的文件传输服务。Unigrid旨在成为区块链领域里的亚马逊AWS或谷歌云,利用区块链在保证信息永久性方面的变革力量和节点技术和,为用户提供更低的成本交付和安全存储数据,继而重塑云存储行业。[2023/6/13 21:32:48]
审计结果
门罗币上线去中心化矿池 P2Pool:10月6日消息,门罗币上线由匿名开发者 SChernykh 开发的点对点、去中心化门罗币矿池 P2Pool,它结合了矿池挖矿和个人挖矿的优势,使得矿工在参与矿池集体挖矿时仍然可以完全控制自己的门罗币节点,矿池所有挖出来的区块即时向矿工付款,没有矿池钱包,资金永远不会被扣留。同时 P2Pool 使用单独的区块链将矿工的服务器与 Monero 网络合并,没有可以关闭或阻止的中央服务器,因此没有任何矿池管理员可以控制矿工的算力或决定谁能参与矿池挖矿。此外 P2Pool 采用 PPLNS(Pay Per Last N Shares) 方案,矿池费用和 XMR 的支付费用均为 0 (根据设计机制,费用不能增加),每个矿工都直接通过 Coinbase Transaction 获得奖励,且最低的奖励支付限额为 0.0004 XMR,每次支付只需要 38 字节。[2021/10/6 20:09:20]
在审计后,Certik再次确认了WeToken钱包交付的技术代码处于开源去中心化的基础上并具有非常高的安全水准,肯定了WeToken钱包执行安全测试的主动性。WeToken钱包团队已收到Certik的优化建议,这些建议已全部应用于代码库的完善过程中。
IOHK宣布k参数调整成功,Cardano去中心化程度进一步提升:IOHK宣布k参数调整成功,Cardano去中心化程度进一步提升。根据公司发布的声明,调整发生在Cardano的Epoch 234, UTC时间12月6日21:44。通过这种方式,IOHK寻求鼓励社区参与较小的质押池(低于6500万枚ADA)。社区在几天前已经被告知,他们应该使用Daedalus钱包,以确保其参与的质押池饱和度超过30%。(Crypto News Flash)[2020/12/7 14:28:07]
????
????
审计过程
Certik针对WeToken钱包的智能合约技术代码的结构、实现情况和整体最佳实践进行了测试、分析和推论。Certik团队以系统为基础对整个代码库进行分析,进而启动整体审计过程,并在整个过程中严格遵循了高标准化要求。
审计过程中,Certik充分利用了动态分析,静态分析和人工复核等技术,对项目协议进行了全面检查。审计过程中特别注意了以下事项:
测试所有针对智能合约的常见与罕见的攻击向量;
评估代码库是否达到当前的最佳实践与行业标准;
保证合约的逻辑符合设计规范和设计目的;
参照并对比行业制定的相似结构;
对整个代码库进行逐行的人工复核;
WeToken简介
WeToken是一款专业的多链数字钱包,依托团队在区块链领域的技术积累和安全经验,从多重维度保障全球数字货币用户的资产安全,提供简单便捷、安全可靠的数字资产管理服务。Wetoken钱包现已支持以太坊、波场、BSC、HECO等多条主链,同时具备理财增值、币币交易、闪电兑换、抵押借贷、行情追踪、多签共管等丰富功能,已为全球超150个国家和地区千万用户提供可以信赖的数字货币资产管理服务,Wetoken——你的数字资产增值保值的保险箱。
Certik简介
美国区块链安全审计公司Certik已获BinanceLabs数百万美金投资。由来自耶鲁大学和哥伦比亚大学的科研团队携数十年研究成果成立,通过“深度规范”的形式化验证技术为区块链应用和智能合约提供代码安全审计服务。并以形式化验证技术为智能合约和区块链应用及协议提供最高等级的代码安全解决方案,曾为币安等知名项目做过安全审计。
来源:金色财经
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。