Research and Development
of Novel Technologies for
Greater Global Stability
Advancing decentralization and autonomy through
formal methods and rigorous software engineering
Highlights of Our Research Output
Peer-reviewed papers on decentralized financial primitives and protocols
that promote stability, trust, autonomy and resilience, and power 10+ applications.
Djed: A Formally Verified Crypto-Backed Autonomous Stablecoin Protocol
J. Zahnentferner, D. Kaidalov, J.-F. Etienne, J. Diaz
Orb: Formally Verified, Decentralized and Sustainable Oracles
J. Zahnentferner, S. Dengre, L. D'Angelo, L. Quilling
Gluon W: A Cryptocurrency Stabilization Protocol
B. Woltzenlogel Paleo, L. D'Angelo, M. Shaheer, G. Reis
From Research to Production
We translate peer-reviewed research into production-grade software. Abiding by three core principles for stability, we ensure absolute resilience across all deployed applications.
Immutability
Once deployed on-chain, code cannot be modified by any party, guaranteeing predictable execution.
Permissionlessness
Our applications are open to everyone, requiring no intermediary approvals and ensuring censorship-resistance.
Autonomy
Once deployed, the software operates continuously on public infrastructure without centralized coordination.
