Cardano-oprichter onthult stablecoin, genaamd Djed

“Djed [is] een algoritmisch stablecoin-protocol dat zich gedraagt ​​als een autonome bank die stablecoins koopt en verkoopt voor een prijs in een bereik dat is gekoppeld aan een richtprijs. Het is crypto-gesteund in die zin dat de bank een volatiele cryptocurrency in haar reserve houdt.”

“Wat dit papier heel uniek maakt, is de Isabelle-code die bij papier hoort. Dus de hogere orde logische formalisering van Isabelle, er is hier echt proza. U kunt alle Isabelle-code, pagina's en pagina's en pagina's en pagina's ervan zien. Dus er is hier veel verificatie gedaan, en dat is gewoon echt opmerkelijk, en het is heel uniek voor papieren van deze aard.”

"Een van de dingen die we doen met dit stablecoin-plan - nadat we het een beetje meer hebben opgeruimd, omdat het zo betrokken is en er zoveel bewegende delen zijn waar zorgvuldig over moet worden nagedacht - is het daadwerkelijk implementeren in Plutus als een native Plutus-toepassing. We hebben dus een leverancier in gedachten die volgens ons perfect zou zijn voor dit werk, en we gaan nauw met hen samenwerken.”