这是一个重要的时刻,智能合约技术代码的审计对于一个去中心化钱包来说十分关键且重要!2021年12月30日WeToken已经通过美国知名安全审计公司Certik代码审计,WeToken发布了智能合约技术代码由世界领先的区块链安全审计机构Certik全程参与本次代码审计工作。Certik依靠动态分析、静态分析、人工复核从中寻找潜在的安全隐患,以及可能生产的漏洞,对去中心化钱包WeToken进行全方位的安全审核。
Robinhood宣布将于1月25日下线BSV:据官方消息,Robinhood宣布将于1月25日下线Bitcoin SV(BSV)。
数据显示,BSV短线跳水,最低至34.24美元,现报38.21美元,24小时跌幅为14.29%。行情波动较大,请做好风险控制。[2023/1/12 11:07:20]
审计结果
在审计后,Certik再次确认了WeToken钱包交付的技术代码处于开源去中心化的基础上并具有非常高的安全水准,肯定了WeToken钱包执行安全测试的主动性。WeToken钱包团队已收到Certik的优化建议,这些建议已全部应用于代码库的完善过程中。
派盾:Nexo相关地址从MakerDAO中取出12,897枚WBTC:12月15日消息,据派盾监测,加密货币借贷机构Nexo相关地址从MakerDAO中取出12,897枚WBTC(约合2.27亿美元)。
此前报道,12月6日,Nexo地址分两次从MakerDAO取出1万枚WBTC,随后解除封装。[2022/12/15 21:47:07]
????
????
MicroStrategy比特币投资未实现亏损达到16.65亿美元:6月18日消息,Watcher.Guru发推称,MicroStrategy的比特币投资目前未实现亏损达到16.65亿美元。[2022/6/18 4:37:36]
审计过程
Certik针对WeToken钱包的智能合约技术代码的结构、实现情况和整体最佳实践进行了测试、分析和推论。Certik团队以系统为基础对整个代码库进行分析,进而启动整体审计过程,并在整个过程中严格遵循了高标准化要求。
审计过程中,Certik充分利用了动态分析,静态分析和人工复核等技术,对项目协议进行了全面检查。审计过程中特别注意了以下事项:
测试所有针对智能合约的常见与罕见的攻击向量;
评估代码库是否达到当前的最佳实践与行业标准;
保证合约的逻辑符合设计规范和设计目的;
参照并对比行业制定的相似结构;
对整个代码库进行逐行的人工复核;
WeToken简介
WeToken是一款专业的多链数字钱包,依托团队在区块链领域的技术积累和安全经验,从多重维度保障全球数字货币用户的资产安全,提供简单便捷、安全可靠的数字资产管理服务。Wetoken钱包现已支持以太坊、波场、BSC、HECO等多条主链,同时具备理财增值、币币交易、闪电兑换、抵押借贷、行情追踪、多签共管等丰富功能,已为全球超150个国家和地区千万用户提供可以信赖的数字货币资产管理服务,Wetoken——你的数字资产增值保值的保险箱。
Certik简介
美国区块链安全审计公司Certik已获BinanceLabs数百万美金投资。由来自耶鲁大学和哥伦比亚大学的科研团队携数十年研究成果成立,通过“深度规范”的形式化验证技术为区块链应用和智能合约提供代码安全审计服务。并以形式化验证技术为智能合约和区块链应用及协议提供最高等级的代码安全解决方案,曾为币安等知名项目做过安全审计。
来源:金色财经
12月29日,Hoo虎符在赚币产品推出「NFG定期赚币专场」活动。据虎符公告显示,在「NFG定期赚币专场」活动中,可选锁仓时长分别为7天和20天,锁仓7天的年化收益率为800%,锁仓20天的年化.
1900/1/1 0:00:00????元宇宙作为人类社会实现最终数字化转型的新路径,与“后人类社会”产生了全方位的交集,是一个可以与大航海时代、工业革命时代、宇航时代具有同样历史意义的新时代.
1900/1/1 0:00:00社区治理模式的探索一直是一个很重要的话题,随着区块链技术的快速发展,DAO这一治理形式以其去中心化的精神、公开透明的特点、高效智能的合作方式被越来越多的人所关注.
1900/1/1 0:00:00金色财经区块链1月4日讯?TheSandbox联合创始人兼首席运营官SebastienBorget发表了对于最近的元宇宙土地热潮的观点,以及公布了Alpha测试后的下一步计划.
1900/1/1 0:00:002021年12月31日,由横琴数链数字金融研究院主办的“2021年第一届横琴数字经济论坛”成功举办。本次论坛主题为“未来决定现在:数字经济、科技革命和全球化的新起点”.
1900/1/1 0:00:00什么是可组合性?可组合性是系统的组件重新组合成更大的结构并将一个的输出作为另一个的输入的一般能力。简单来说,最好的例子是乐高,乐高的每一部分都可以连接到其他部分.
1900/1/1 0:00:00