近日，安比实验室（SECBIT）对SocialLending蜂巢星球智能合约进行了安全审计，审计结果显示，Social Lending Token（SLT）智能合约不存在代码缺陷和漏洞，合约代码质量很高，完善考虑了各种情况，加入ERC223对接外部接口，限制了循环次数保证Gas消耗不会超出限制。
本次审计中，安比实验室从代码漏洞、逻辑漏洞和发行风险评估三个维度对SLT的合约进行了分析。审计结果表明，SLT Token合约并未包含致命的安全漏洞。
安比审计的SLT智能合约，共涉及到Ownable、Pausable、ERC20Basic、ERC20、ERC223、BasicToken、StandardToken、FrozenToken等共计12项。
值得一提的是，SLT在满足基本的ERC20合约规范的同时，实现了一些拓展功能。Social Lending Token合约实现有足够的安全性检查，使用SafeMath库有效防范了整数溢出漏洞，在ERC223部分也提供了对外接口，比较严谨；Social Lending Token合约增加了increaseApproval和decreaseApproval功能，若正确使用可有效避免Re-Approval攻击。此外还包括burn、pause和unpause、transferOwnership、airdrop和airdropDiff等拓展功能。
最终，安比实验室对Social Lending Token（SLT）的智能合约审计结果为：满足EIP20规范、transfer和transferFrom前条件正确、不存在overflow与underflow、approve函数不存在漏洞、无明显损耗Gas操作、注释描述与代码实现保持一致、合约能够通过solidity编译器编译且不含实质性隐患、符合安全开发规范、合约定义的所有功能全部执行正常、代码实现不存在明显的安全漏洞、合约逻辑不存在明显的漏洞、不存在silent burning行为、代码未隐藏设计意图中未提及的逻辑、不存在铸币特权、不存在账户操控特权共15项。
SocialLendingCTO Jason称，SLN打造的是加密数字货币的金融生态，安全性是项目一直以来关注的第一要素。
“以太坊智能合约做为一个很新的编程体系，包括安全在内的各方面成熟还在不断完善中，不断爆出的各种安全漏洞导致大量资产泄露也印证了这一点。因此我们SLN的技术团队，始终保持着谨慎并不断更新的心态。对于业界出现的任何安全性事件，都会第一时间分析和验证自身逻辑。”Jason说。
据悉，SocialLending团队会和安比实验室继续深入合作，打造出区块链领域最安全的应用。
安比（SECBIT）实验室由中国科学技术大学博士郭宇创建。实验室专注于智能合约安全技术的研究，从密码学、代码语义、形式化验证、博弈论、编译器等多种理论角度切入，着眼于智能合约的设计、开发、测试、审计等全生命周期，研发一系列的工具与服务，从根本上解决智能合约的安全问题。
安比实验室自成立以来，共原创发现并报告智能合约漏洞上千份，向以太坊社区提交关于ERC20的安全问题并被接受，提交ERC827安全问题并被接受，参与ERC827安全修订讨论；安比实验室首家发布了智能合约的安全形式化证明，为彻底解决智能合约安全问题提供了一个全新的方案。
安比本次审计的SocialLending项目，定位于打造全球化的数字资产金融生态，已于2018年3月20日落地Dapp蜂巢星球，目前注册用户超90万，蜂巢星球中封装的数字资产钱包功能使用用户近20万，是目前为止同行业的领头羊。
在融资阶段，SocialLending蜂巢星球已经获得高德地图创始人成从武和掌众金服创始人张敬华的战略投资，并在基石轮获得来自科银资本、BKFUND、创世资本、Blockchain Ventures、ZB Capital、加密愿景、回向资本、Block VC 、预鉴资本、BITBLOCK Capital 、硅谷BlockCentury 、公信资本、Fiat Capital、星链资本Starchain Capital、唯证资本、序列资本、火链资本等数十家机构投资。
目前，SocialLending发行的通证SLT已经通过ZB交易所审核，预计本周将正式上线ZB交易。