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

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

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

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

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

Dai 最新交互面板谍照

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