http://www.7klian.com

CertiK已完成对Tellor的安详审计

为了实现更高的安详,且切合加密世界无须许可的特性,急需构建去中心化的预言机。

预言机。

CertiK已完成了对第一版Tellor Core的代码安详审查,因此第二次的安详审计Tellor选择继承与CertiK举办相助,为其填补链下数据与链上需求之间的差别。

本次审计的目标是查抄第二版Tellor Core的Solidity实施环境。CertiK团队阐明白其业务模子、总体设计和体系架构,依靠动态阐明、静态阐明、人工复核从中寻找潜在的安详隐患,以及大概损害软件出产的裂痕。

CertiK在Tellor所有区域均未发明主要或次要裂痕。颠末整体阐明,Tellor通过了安详性检讨,且在数学层面上验证无误。

审计功效

Tellor预言机让智能合约可以或许从链上数据库中吸收数据,同时矿工们竞相在数据库为他们的native token “Tributes”增加数据点。此要领可以让智能合约和DApp发挥出全部成果,原因如下:

审计进程

我们毫不只仅是寻找裂痕,而是要消除哪怕只有0.00000001%被进攻的大概性。

该项目标代码库并不切合传统Solidity的设计气势气魄,但CertiK团队以富厚的审计履历及专业的安详处事相识其代码的成果与实施环境。有关代码库的信息源内容全面,并都有据可查。

可是耳朵与眼睛也会有盲区甚至存在欺骗性,,这就是安详对付预言机来说十分重要的原因。

由于以太坊构建的智能合约限制对付链下数据的会见,因此预言机就提供了一种获取优质数据源的要领。然而,依靠预言机照旧无法满意去中心化技能的目标。

Tellor是一个真实透明并反监察的系统,它办理了DeFi应用措施缺乏安详保障,以及价值信息去中心化的困难。

去中心化基金会勉励参加者们提交可信数据,因为他们的经济好处及权益都与有效数据相挂钩;预言机低落了单一供给方所带来的风险,好比供给方可以割断API数据会见、监控其用户,或哄骗数据以谋取私利;通过建设针对链下数据的安详有效的鼓励系统,预言机可以有效冲击恶意数据的提交。

CertiK已完成了对第一版Tellor Core的代码安详审查,因此第二次的安详审计Tellor选择继承与CertiK举办相助,为其填补链下数据与链上需求之间的差别。

那么谁可以来继续区块链的眼睛和耳朵?

区块链作为去中心化的加密世界,它的验证和执行往往靠本身实现。而所有信息,都需要上传与设定后,才可以举办下一步的特定操纵。

郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。

说点什么吧
  • 全部评论(0
    还没有评论,快来抢沙发吧!

相关文章阅读