Chinese news

我们绝对是一流的!Beosin公司旗下的Lianantech已对SpaceSwap的智能合约进行了审核

是的! Lianatech公司已正式批准SpaceSwap智能合约能够正常运行。

对于SpaceSwap团队来说,这是一项巨大的成就,也是该平台生态系统内将要进行的所有其他改进的动力。

在完善了代币模型并修复了平台上的一些错误之后,下一步就是进行合格的审核。

在推出SpaceSwap 2.0的过程中,团队与Lianantech谈判了智能合约审核,Lianantech归属于Beosin公司(中国领先的区块链安全公司之一)。

我们为什么选择Lianantech


Lianatech是Beosin公司的子公司。该公司作为中国的区块链安全平台,能够提供最佳服务,以保护智能合约,DApp和钱包。

高度的专业知识和专业精神使公司赢得了用户的信任。

迄今为止,Beosin已通过其VaaS验证平台在全球范围内审核了500多个智能合约。此外,它在过去30天内已经完成了10多次审核

SpaceSwap团队非常荣幸成为Lianatech(Beosin)公司的获批项目之一。

Lianatech审核的主要项目


Lianatech使用多种方法进行了详细的审核,包括形式验证,静态分析,典型案例测试和手动审核,以审核所有智能合约所基于的三个支柱:
  • 编码标准
  • 安全
  • 商业逻辑

在SpaceSwap智能合约中未检测到任何关键的错误或漏洞。

审核SpaceSwap的编码标准,安全性和业务逻辑


1. 编码规范
编译器版本安全性——通过
弃用功能——通过
冗余代码——通过
SafeMath功能——通过
要求/声明用法——通过
Gas消耗量——通过
可见性说明——通过
后备用法——通过

2. 一般漏洞
整数上溢/下溢——通过
重入——通行证
伪随机数发生器(PRNG)——通过
交易订单依存关系——通过
DoS(拒绝服务)——通过
所有者的访问控制——通过
低级功能(呼叫/代理呼叫)安全——通过
返回价值保障——通过
tx.origin用法——通过
重放攻击——通过
覆盖变量——通过

3. 商业安全
业务逻辑——通过 
智能合约安全性审核报告已添加到Etherscan。
通过此链接检查所有技术细节:
https://etherscan.io/address/0x80c8c3dcfb854f9542567c8dac3f44d709ebc1de#code

为什么此审核对SpaceSwap重要?


1.降低错误和漏洞的风险。每一段代码都经过检查是否有错误。没有黑客,没有停机——这就是我们想要实现的目标。
2.更高的资金安全性。我们用户的储蓄保护是首要考虑的问题。现在,我们已经可以消除所有未经授权提款和冻结资金的可能性。所有存款将完全由社区控制。
3.更高的透明度和信任度。与某些平台会抛售投资者的资金,而且由于智能合约错误而使功能被阻止的平台不同,我们正在尽最大努力减少失败、黑客和攻击的风险。 SpaceSwap的智能合约旨在公平、高效地分配资金。

审核不会中断SpaceSwap 2.0的操作功能。我们新的平台已经启动并运行,因此您可以享受安全且有利可图的流动性挖矿以及MILK2代币奖励。
在Uniswap上打开MILK-ETH Pool,然后单击“交易”按钮立即购买MILK。
有关更多信息,请访问GitHub或联系SpaceSwap团队:
https://spaceswap.app/ 
Telegram: t.me/SpaceSwap   
Twitter: https://twitter.com/spaceswapdefi  
Blog: https://blog.spaceswap.app/ 
Discord: https://discord.gg/r6RymJj

微信社群:


2020-10-08 13:04