Featured Papers
Stablecoin
Bruno Woltzenlogel Paleo, PhD
Encyclopedia of Cryptography, Security and Privacy
Djed: A Formally Verified Crypto-Backed Autonomous Stablecoin Protocol
J. Zahnentferner, D. Kaidalov, J.-F. Etienne, J. Diaz
IEEE International Conference on Blockchain and Cryptocurr.
Potential Points of Failure of Stablecoins
M. Kakebayashi, A. Nejadmalayeri, A. Bracciali, B. W. Paleo, C. White, G. Weinstein, J. Nabrzyski, K. Katayama, L. Molchanovsky, M. Yamanaka, M. Travers, T. Yuyama, Y. Kawai
Design and Formalization of Oracles for Blockchains
M. Shaheer, Prof. G. Reis, B. Woltzenlogel Paleo
Types and LPAR
Stablecoins - Past, Present and Future
Prof. A. Nejadmalayeri, L. Molchanovsky, B. Woltzenlogel Paleo, R. W. Prescott
Workshop on Coordination of Decentralized Finance
Djed: A Formally-Verified Crypto-Backed Algorithmic Stablecoin
J. Zahnentferner, D. Kaidalov, J.-E. Etienne, J. Diaz
Orb: Formally Verified, Decentralized and Sustainable Oracles
J. Zahnentferner, S. Dengre, L. D'Angelo, L. Quilling
Fate Protocol: Perpetual Prediction Pools
J. Zahnentferner, A. Jha, R. Shah
1st Stability Workshop
RainDrop: Reward Distribution Protocol
J. Zahnentferner, S. Dengre
1st Stability Workshop
Djed Shu: A Stablecoin Protocol with Two Oracle Prices
J. Zahnentferner, Y. Agrawal
1st Stability Workshop
Orb: Decentralized and Sustainable Oracles
J. Zahnentferner, S. Dengre, L. D'Angelo
1st Stability Workshop
Gluon W: A Cryptocurrency Stabilization Protocol
B. Woltzenlogel Paleo, L. D'Angelo, M. Shaheer, G. Reis
Cryptology ePrint Archive
hodlCoin: A Staking Protocol
J. Zahnentferner, L. D'Angelo
Cryptology ePrint Archive
hodlCoin: A Financial Game
J. Zahnentferner
Cryptology ePrint Archive
UTXOsf ma: UTXO with Multi-asset Support
M. Chakravarty, J. Chapman, K. MacKenzie, O. Melkonian, J. Müller, M. Peyton Jones, P. Vinogradova, P. Wadler, J. Zahnentferner
Springer LNCS
Multi-Currency Ledgers
J. Zahnentferner
Cryptology ePrint Archive
An Abstract Model of UTxO-based Cryptocurrencies with Scripts
J. Zahnentferner
Cryptology ePrint Archive
Chimeric Ledgers: Translating and Unifying UTXO & Account-based Cryptocurrencies
J. Zahnentferner
Cryptology ePrint Archive
Featured Videos
Signs of Incoherence, Ineffectiveness, Insufficiency and Inadequacy in Stablecoin Regulations
Bruno Woltzenlogel Paleo, PhD
The Gluon Stabilization Protocol
Bruno Woltzenlogel Paleo, PhD
Formalization of Blockchain Oracles in Coq
Prof. Giselle Reis
Ideas for Improvements of the Djed Stablecoin Protocol
Bruno Woltzenlogel Paleo, PhD
BGIN Stablecoin Panel
Djed Alliance and Circle (USDC)
Djed Stablecoin on Cardano
David (IOG)
Overview of SigmaUSD's Smart Contracts
Amitabh Saxeena
The Release of Agenor
Robert Kornacki
A Pegged and Crypto-backed Algorithmic Stablecoin
Bruno Woltzenlogel Paleo, PhD
The Djed Stablecoin Protocol
Djed Alliance
The Stability Research Network
The Stability Research Network (SRN) is the global network for researchers with a common interest on topics related to stability.