Djed(DJED币)是Cardano网络上首个超额抵押的ADA稳定币合约。其运作方式是持有基础币(ADA)储备,并铸造和销毁稳定币和储备币。该合约通过买卖稳定币、使用储备币以及收取累积在储备币中的手续费,将稳定币的价格维持在目标水平。该收益流的最终受益者是储备币的持有者,他们用资金增加储备币,同时承担价格波动的风险。
DJED是第一个经过形式化验证的稳定币协议。在编程过程中使用形式化方法极大地促进了Djed的设计和稳定性。利用形式化技术,这些特性可以通过数学定理证明:
*维持挂钩上下限:价格不会高于或超出设定价格。在正常的准备金率范围内,买卖不受限制,用户没有动力在二级市场上交易挂钩范围之外的稳定币。
*市场崩溃期间的挂钩稳健性:在取决于准备金率的设定限额内,即使基础货币价格急剧下跌,挂钩仍能维持。
*无需破产:不涉及银行,因此不存在银行破产合同。
*没有银行挤兑:所有用户都受到公平对待并获得相应的报酬,因此可以证明,用户没有动力争相兑换稳定币。
*单调递增的每枚储备币权益:在某些条件下,随着用户与合约的交互,每枚储备币的储备盈余保证会增加。在这些条件下,储备币持有者保证获利。
*不会耗尽储备金:在某些情况下,恶意用户不可能执行一系列窃取银行储备金的操作。
*有限稀释:由于发行更多储备币,储备币持有者的数量及其利润被稀释的数量是有限的。
Djed稳定机制基于$Djed和$Shen的400%-800%范围内的抵押率。ADA价格波动由Shen抵消,弥补差额并保证抵押率。
ADA储备池并非由做市商管理,而是由铸造$Shen储备币并将ADA添加到池中的用户管理。这为$Djed机制提供了去中心化的特性。$Shen持有者通过收取费用来获得提供流动性的激励。
由于$Djed可以超额抵押(最高可达8倍),$Djed脱钩的风险会降低。这意味着每铸造1个$Djed,储备池中就会有价值3至7美元的$ADA。如果该比例低于400%,用户将无法铸造$Djed,而$Shen持有者也无法销毁其$Shen。因此,即使市场出现下跌,$Djed持有者也能获得安全保障,确保其可持续性。新的$Shen铸造也受到监管,以保持余额稳定,并确保池中始终有足够的ADA,以便在销毁$Djed时提供等值的美元价值。