The CEO of IOG, Charles Hoskinson, who created the emerging smart contract platform, Cardano (ADA), has some hours ago introduced Djed, an algorithmic stablecoin designed for the decentralized finance (DeFi) sector.
In a tweet on 15th July 2021, Hoskinson shared the screenshots of an article titled “Djed: A Formally Verified Crypto-Backed Pegged Algorithmic Stablecoin.”
Read Also: Cardano Foundation Partners With Rwanda-Based NGO to Launch ADA Charity Platform
Abstract of the paper says:
“Djed, an algorithmic stablecoin protocol that behaves like an autonomous bank that buys and sells stablecoins for a price in a range that is pegged to a target price. It is crypto-backed in the sense that the bank keeps a volatile cryptocurrency in its reserve. The reserve is used to buy stablecoins from users that want to sell them. And revenue from sales of stablecoins to users are stored in the reserve.”
The paper further stated that aside from the stablecoins, the bank also trades digital currencies with the hope of maintaining a reserve ratio that is notably greater than one.
Read Also: Cardano Foundation Mints World’s First NFTA on Cardano to Celebrate Newly Launched Developer Portal
According to the authors of the paper, this is the first stablecoin protocol where stability are precisely and mathematically stated and proven, stating that the claims and proofs are formally verified:
“…the claims and their proofs are formally verified using two different techniques: bounded model checking, to exhaustively search for counter-examples to the claims and interactive theorem proving, to build rigorous formal proofs using a proof assistant with automated theorem proving features.”
In response to the post that attracted thousands of reactions, a user asked about the practical value of the new Djed, the new stablecoin protocol.
In response, Charles Hoskinson said, “Algo Stablecoin done.”
Read Also: Charles Hoskinson: There Are Thousands of Assets and Over $10M of NFTs Have Been Sold On Cardano
In other news, the development of the Cardano blockchain received an exciting boost today after it was confirmed by IOG that Alonzo Blue has successfully advanced to White, bringing the Cardano network closer to the much-anticipated smart contracts era.
IOG tweeted, “HARD FORK SUCCESSFUL: Delighted to report around 19.44 UTC today we successfully forked the Alonzo testnet to the new Alonzo White node. The new network is happily making blocks already.”
Ljubljana, Slovenia, April 29th, 2024, ChainwireThe explosive rise of Artificial Intelligence has sparked the first…
Grundsheim, germany, April 29th, 2024, ChainwireToday marks an important date in the world of realistic…
EGRAG CRYPTO (@egragcrypto), a prominent analyst in the cryptocurrency space, has made a bold prediction…
As Bitbot's presale draws attention with its market dynamics and Kelexo's presale gains ground amidst…
RoboHero experienced significant challenges when hackers targeted their Twitter account on April 2, 2024. RoboHero,…
As Chainlink (LINK) faces selling pressures following a brief surge and Cardano sees an increase…