http://www.7klian.com

详解 DeFi 借贷项目资产安详性:以 MakerDAO、Compound 与 Dharma 为例

说在最后

去中心化的信贷市场是一个新颖的尝试,但它们可以让我们看到摆在我们眼前的近况。按照世界银行的数据:

尽量如此,尽量这些协议背后的团队已经在测试流程、审核和裂痕嘉奖方面采纳了所有须要的法子,可是问题威胁仍然存在,所以发起审慎行事,正如经典谚语所说 :

• DAI 总供给量 : 81,211,832 DAI (停止 2019 年 5 月 20 日)

Dharma 利用点对点模式,一旦两边告竣一致,智能合约将确保贷款协议获得执行,债务人的抵押品获得保管。今朝,Dharma 支持 90 天的最恒久限和牢靠利率 (未来会改变,为用户提供更多的机动性)。

• 借出 APR:ETH—2.5% ,DAI—11% ,USDC—8%
• 可供给量:1,687,0007 美金

• 刊行日期:2018 年 9 月 27 日

截至 2019 年 5 月 23 日:Compound v2[13] 已宣布。

• 支持资产:ETH、DAI、MKR(跟着多抵押 DAI 的宣布,可以支持更多资产)

Compound v2 由 Trail of Bits[14] 审核,该方案与 Certora[15] 正式相助验证。

智能合约安详和最佳安详实践,一直是 DAI 成长中的绝对优先事项。代码库已经经验了三个独立的安详审核,这些审核是由区块链行业中最优秀的安详研究人员完成的。除了精采的项目和最佳安详实践之外,防止黑客进攻最强大的东西是形式验证。形式验证意味着建设系统预期行为的数学类型,同时提供数学证明,证明代码库实现的行为与预期行为沟通,没有意外的副浸染。DAI 是第一个颠末正式验证的去中心化的应用措施的代码库。短期方针是建设一个完整性证明,这是一个数学证明,它表白除了系统的数学类型之外,不行能建设任何其他行为。

• 宣布日期:2019 年 4 月 8 日 (果真宣布)

发起审慎利用任何新推出软件,因为是在早期阶段,不明错误大概会呈现。

在金融勾当中,资产的安详性长短常重要的。5 月初,Zeppelin 发明白 Maker 公司管理投票合约中的一个严重裂痕,今朝已包办理。加密钱币信贷与借贷平台中,风险裂痕是否可以完全消除。

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

相关文章阅读