Ronin网络硬分叉升级完成，将发布新版Ronin移动端钱包:据官方消息，Ronin升级完成，要求所有验证者更新软件的Ronin硬分叉已经成功完成。Ronin Bridge将按计划于今天开放。
此外，Axie Infinity开发者将发布新版Ronin移动端钱包。用户将收到ERC20代币余额变化的通知，并且可以查看ERC721网络代币。
据此前报道，Ronin Network表示，将于6月28日重启Ronin Bridge并退还所有用户资金。重启Ronin Bridge需要Ronin Network进行硬分叉，目前已告知验证者对验证节点进行升级。[2022/6/28 1:36:37]
确保智能合约安全。
隐私公链Secret Network完成Shockwave Alpha主网升级:5月13日消息，隐私公链Secret Network完成Shockwave Alpha主网升级，此次升级后NFT铸造和空投等速度提升500-600倍、Cosm Wasm目录实现自动状态同步、引入跨链账户增强与IBC生态内功能的互操作性。
下一步，Secret将实现Shockwave的第二个主要主网升级Shockwave Omega，升级内容包括：升级到Cosm Wasm1.0智能合约基础设施；使Secret合约能够发送IBC消息，从而支持将SNIP-20代币直接转移到其他IBC链；跨链账户将能够调用Secret合约，实现双向IBC消息传递；更换执行智能合约引擎。[2022/5/13 3:13:58]
Certora 通过智能合约的全自动精确验证技术，使可信区块链成为现实。其验证方法易于使用且具有成本效益。
正元数据董事长：建议在“数字亚运”建设中应用元宇宙技术:3月10日消息，近日，由元宇宙三十人论坛主办的“预见未来：2022元宇宙应用场景”闭门研讨会在杭州召开。浙江正元数据科技有限公司董事长张旭光在会上表示，建议在杭州的“数字亚运”建设中体现元宇宙技术应用，推出虚拟亚运会、交互性虚拟赛事、亚运会吉祥物NFT数字藏品、虚拟数字人等创新应用，多重展现“数智杭州、宜居天堂”。（中国证券网）[2022/3/10 13:49:01]
Certora 拥有称为 AEV 自动精确验证的独特技术，能够检查智能合约的所有执行是否满足一系列要求。AEV 技术可作为智能合约的现有编译器和调试器的补充工具。
Certora 为区块链生态系统中的所有参与者提供两种独特的解决方案：智能合约正式验证 CFV，适用于采用智能合约的企业，持续监控所有新发现的漏洞或可能暴露新问题的变更合约；开发者的质量开发环境 QDE 允许在开发期间检测问题，在合约部署时最大限度地提高安全性。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。