Djed is a stablecoin protocol that acts as an autonomous bank. It operates on the Cardano blockchain and is designed to provide price-stable cryptocurrencies. Djed maintains a stable value by holding a reserve of base coins while minting and burning various other coins. Its stability mechanism is underpinned by formal verification methods, ensuring high security and correctness of the protocol. The protocol's main stablecoin is pegged to a fiat currency and is backed by an excess reserve of base coins. It also features a reserve coin, which absorbs price volatility and provides incentives for users through staking rewards. The system is designed to be transparent, allowing users to verify all operations and reserves. Djed's approach to stability, security, and transparency makes it a unique offering in the field of decentralized finance (DeFi). It aims to provide a reliable medium of exchange and a stable store of value for the Cardano ecosystem.