CertiK Audit批准RioDeFi起飞

领先的区块链审计师CertiK已将其报告发布到RioDeFi的代码库中。 专注于Polkadot的去中心化金融项目吸引了由Gavin Wood博士创立的区块链网络的早期采用者的兴趣。 在Polkadot上构建的项目使用Substrate框架（包括RioDeFi）。 CertiK团队以其笔测试仪和智能合约审核员的质量而闻名，他们从研究力拓的核心组成部分中脱颖而出，获得了积极的消息：资金充裕。

CertiK在他们的报告中并没有这么说，但消息很明确：RioDeFi的移动钱包，区块链和桥接器全部通过。 CertiK的工程师报告：

“关于通过适当的参数化在框架周围实现特权功能处理和安全设计的实现，发现代码库尊重框架规范，并与作为模块的预期功能保持一致。”

换句话说，RioDeFi通过了飞速的发展。 CertiK确实提供了一些有关增强与Rio的代码有关的文档的建议，但这更多是学术问题，而不是安全问题。

Rio Embodies Polkadot的DeFi版本

Polkadot将不仅仅是一个DeFi生态系统，它同样适用于从游戏到托管业务应用程序的所有内容。 不过，鉴于目前对去中心化金融的兴趣，很自然，这应该成为Polkadot的异构区块链系列的第一个用例。 RioDeFi的框架包括一个用于发送和接收一系列加密资产的移动钱包。 支持跨链交易的桥梁； 以及在Substrate上构建的公共区块链。

众所周知，RioChain已经有一个致力于利用它的重大项目：MANTRA DAO，一个抵押和贷款项目，最近完成了代币销售，其OM代币已经在BitMax和Bithumb上上市。 MANTRA DAO制定了雄心勃勃的计划，其中包括创建自己的稳定币并支持从许多不同的区块链中进行资产抵押。 有消息称CertiK已将RioChain认证为对公众有好处的新闻，这些目标将得到提高。

道德黑客

如果您的区块链平台将被黑客入侵，最好由您雇用来执行任务的公司来完成。 进入CertiK，这是用于检查智能合约和区块链组件的高级形式验证系统的先驱。 该公司自豪地审核了220多个项目和118,000行代码。 手动测试，静态分析和形式验证是CertiK用来根据自己的进度调整智能合约的技术。

在审查RioDeFi手机钱包时，CertiK得出以下结论：

“代码库充分利用了框架细节和Rust的最佳实践。CertiK的工程师团队仅发现了一些小异常，这些异常已由团队迅速修复。”

—-

原文链接：https://ihodl.com/topnews/2020-09-03/certik-audit-clears-riodefi-takeoff/

原文作者：ihodl.com

编译者/作者：wanbizu AI

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。