经过两个多月的代码审查和分析，Solidified完成了对路印智能钱包合约的安全审计工作。我们很高兴与社区分享这个报告，您可以通过下面的链接下载PDF版的安全审计报告：LoopringWalletAuditReport。
Solidified是一个高度重视智能合约的审计平台。在Solidified，审核代码的主要结构分为：重要错误，主要错误，小的错误。来自Solidified的专家对路印智能钱包合约进行了审查，并没有发现可能威胁到用户资金的重大或致命的错误。
Solar Network计划二季度发布支付银行卡:金色财经报道，区块链网络Solar Network基金会成员Nayiem发推特表示，计划第二季度发布支付银行卡，即将进行官宣。[2023/5/2 14:38:21]
我们基于报告中的反馈，对路印智能钱包的合约做了诸多改进和优化。目前，我们已经解决Solidified反馈的所有问题，最新的代码风险相对非常低。
STEPN将向所有Solana创世鞋持有者空投BNBChain鞋盒:5月1日消息，Move to Earn应用STEPN宣布，Public Beta IV 测试计划今日开始。作为提升用户体验的一部分，将为 SOLANA Genesis Sneaker 持有者（#1 - 10,000）提供独家 BNBChain Sneaker 空投，每个 SOLANA Genesis Sneaker 将收到一个 BNBChain 鞋盒（#20,001 - 30,000）。据了解，空投将从北京时间 5 月 3 日 08:30PM 开始，持续时间 24 小时。[2022/5/1 2:43:33]
关于Solidified
动态 | 微软公布新开源形式验证工具VeriSol，旨在优化智能合约质量:据Crypto Globe消息，6月3日，微软研究院（Microsoft Research）在博客中揭示了一个新的开源形式验证工具。该工具旨在提高使用Solity（为以太坊区块链构建的编程语言）子集编写的智能合约的质量。 新工具名为VeriSol（即Verifier for Solidity），曾出现在一篇概述微软Azure区块链智能合约验证的设计和应用的学术论文中。博客文章称，尽管VeriSol迄今仍然是一个主要由Azure智能合约驱动的原型，但研究人员对其期望很高，同时也在鼓励开放协作以促进形式验证发展并引入主流智能合约开发中。[2019/6/4]
Solidified是以太坊首屈一指的智能合约审计服务机构，在智能钱包合约审计上有丰富的经验，是知名智能钱包Argent，Gnosissafe高度认可的专家团队。它创立于2017年初，已经服务过Gnosis、Polymath、Bankera、Melonport等项目，拥有超过200名Solidity专家、超过8500万欧元的担保。Solidified拥有最大的验证审核员社区、专用bug赏金平台，并将技术尽职调查的所有阶段纳入防弹智能合约。我们在此感谢Solidified团队的审计工作。
获取路印协议更多最新的动态，请访问我们的社区帐号：?Twitter:twitter.com/loopringorg?Reddit:reddit.com/r/loopringorg?电报:t.me/loopringfans(中文)?微博:https://weibo.com/loopringfoundation
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。