稳定币Dai多种抵押担保最新进展

수집
공유하다

9月17日,Maker 将在 Kovan 测试网上部署多种抵押担保 Dai 的智能合约,并开源合约、提供相应文档,包括多种抵押担保 Dai 的形式化验证 (Formal Verification) 结果。我们欢迎社区对合约进行评估和反馈,这将是多种担保 Dai 正式上线的重要一步。

为了最完善地保证合约的安全性,我们与 Runtime Verification 合作,对多抵押担保 Dai 的合约进行了形式化和数学上的安全审计。我们相信 MakerDAO 将是第一个通过形式化安全验证,并正式实施的智能合约系统。

MakerDAO始终遵循“质量第一”的原则,决定产品上线时间。我们认为稳定币 Dai 的生态系统将对整个加密货币经济发挥基础性的功能,因此我们肩负了很大的责任,保证系统的每一个细节都是完备的。

和你一样,我们无比期待看到多种抵押担保 Dai 的正式上线。虽然这比预期时间稍晚了一些,我们坚持保证平台每个方面的健全,更为重要的是,给用户提供简易、友好并且安全的体验。我们愿景 Maker 成为跨越世纪的产品,而不仅仅是一时热度。

Dai 最新交互面板谍照

Maker团队每天都在全力地完善这一产品。从应用层面、用户体验到抵押品合作方的选择,我们无一不在实现一种革命性的区块链技术创新。

면책 조항: 이 기사의 저작권은 원저자에게 있으며 MyToken을 대표하지 않습니다.(www.mytokencap.com)의견 및 입장 콘텐츠에 대한 질문이 있는 경우 저희에게 연락하십시오
관련 읽을거리