8. Maker 晦涩难懂的代码是刻意的

很多研究 Maker 协议的开发者往往惊讶于其复杂几乎晦涩的术语。实际上，这一复杂性是有意为之。变量名不同的字母长度以及词性，严格清晰对应着不同的方程和模块。

9. Maker 是首个经过形式化验证的去中心化协议

代码的形式化验证通常是针对工程系统中最关键的软件，比如被应用于航空航天工程中，保证关键安全功能的准确性。由于区块链的高风险和不可篡改的性质，在初始部署后无法轻松修改软件漏洞，形式化验证智能合约已成为以太坊生态系统中的标准。

2018 年 9 月，Maker 协议成为首个通过形式化验证的去中心化协议。

10. Maker 已连续 5 年每周举行公开治理会议