Stability Nexus
  • About Us
    • Stability Nexus
    • The Djed Alliance
    • The Stable Order
      • The Meaning of Order
      • Code of Honor
        • The Task Assignment Corollary: a Guideline
        • What does it mean to be Non-Rent-Seeking?
        • Algorithmic Decentralization
      • Knights and Benefactors
        • Top Benefactors
      • Evangelists
      • Grantors, Sponsors and Donors
        • Top Grantors, Sponsors and Donors
      • CATs
        • Our CATs
        • Swapping CATs
      • Djed, the Djed Alliance and The Stable Order
      • Join The Stable Order
        • Apprenticeship
        • Would you like a job?
        • Are you a marketing agency interested in promoting our work?
    • Our History
    • Fund Us
      • Funded Projects
  • Stablecoins
    • What are stablecoins? Why are they important?
    • Types of Stablecoins
    • What kind of asset is being issued?
  • Stability Research Network
    • Study Reports
    • Technical Papers
    • Presentations
  • Djed Stablecoin Protocols
    • Djed Overview
    • How the Protocol Works
    • Who is the issuer?
    • Versions
    • Implementations
    • Deployments
    • Why Djed on your Blockchain?
    • Why Djed for your Web3 Project?
    • Create a Djed-based Stablecoin
  • Gluon Protocols
    • Gluon Overview
    • Deployments
  • Stable Funding
    • FairFund Overview
    • FairFund User Guide
    • FairFund Implementations
  • Infra-Structure
    • DJED1 Cardano StakePool
  • Other
    • Disclaimer
Powered by GitBook
On this page

Was this helpful?

Edit on GitHub
  1. Stability Research Network

Technical Papers

PreviousStudy ReportsNextPresentations

Last updated 8 months ago

Was this helpful?

Title
Date
Authors
Comments

2021-08-23

Joachim Zahnentferner, Dmytro Kaidalov, Jean-Frédéric Etienne, Javier Díaz

Describes the Minimal and Extended Djed protocols.

2023-05-03

Joachim Zahnentferner, Dmytro Kaidalov, Jean-Frédéric Etienne, Javier Díaz

Accepted at the .

2023-05-31

Bruno Woltzenlogel Paleo

Invited Chapter in the .

Formalization of Blockchain Oracles in Coq (, )

2023-06-12

, and

Accepted at and as a presentation paper at .

Djed: A Formally Verified Crypto-Backed Pegged Algorithmic Stablecoin
Djed: A Formally Verified Crypto-Backed Autonomous Stablecoin Protocol
IEEE International Conference on Blockchain and Cryptocurrency
Stablecoin
Encyclopedia of Cryptography, Security and Privacy
Slides
Recording
Mohammad Shaheer
Giselle Reis
Bruno Woltzenlogel Paleo
TYPES
LPAR