$DJED es una stablecoin sobrecolateralizada que utiliza una garantía exógena ($ADA) para garantizar su estabilidad. El protocolo está respaldado por una sobrecolateralización del 400-800% y está garantizado por su moneda de reserva, $SHEN. La estabilidad de $DJED se basa en la sobrecolateralización, lo que elimina la necesidad de confiar en un token de gobernanza, como se ve en las stablecoins algorítmicas. La plataforma también es completamente descentralizada y impulsada por la comunidad, lo que permite el desarrollo de código abierto y la participación de la comunidad en la creación y quema de $DJED y $SHEN.

Djed es la stablecoin sobrecolateralizada nativa de Cardano, desarrollada por IOG y alimentada por COTI. El papel de COTI en el impulso de Djed incluye la responsabilidad de aspectos como la interfaz de usuario de la plataforma djed.xyz, el desarrollo empresarial (que incluye más de 40 asociaciones) y la implementación de contratos inteligentes.

$DJED está respaldado por $ADA y utiliza $SHEN como moneda de reserva. Djed funciona como un banco autónomo que compra y vende stablecoins a un precio que se mantiene en un rango fijado a un precio objetivo. Está respaldado por criptomonedas en el sentido de que el banco mantiene una criptomoneda volátil en su reserva. Esta reserva se utiliza para comprar stablecoins de los usuarios que desean venderlas, y los ingresos de las ventas de stablecoins a los usuarios se almacenan en la reserva.

Además de las stablecoins, el banco también opera con las monedas de reserva para capitalizarse y mantener una relación de reserva significativamente mayor a uno. Hasta donde sabemos, este es el primer protocolo de stablecoin en el que las afirmaciones de estabilidad se expresan y demuestran de manera precisa y matemática. Además, estas afirmaciones y sus pruebas se verifican formalmente utilizando dos técnicas diferentes: verificación de modelo acotado, para buscar exhaustivamente contraejemplos a las afirmaciones; y demostración de teoremas interactiva, para construir demostraciones formales rigurosas utilizando un asistente de pruebas con funciones de demostración automática de teoremas.