Djed Solidity

Project Overview

Djed Solidity provides EVM-compatible smart contracts for formally verified algorithmic stablecoins.

Key Architecture & Features

• ✓Formally Verified Contracts
• ✓EVM Multi-Chain Deployments
• ✓Autonomous Reserve Management
• ✓Oracle Integration

Technologies Used

Get Involved

Interested in contributing code, fixing issues, or mentoring students for this project?