A decentralized parametric DeFi insurance engine providing instant, math-enforced payouts on the Stellar network.
Join the Build: We are creating public-good DeFi infrastructure for the Stellar ecosystem. Whether you write Rust, TypeScript, or documentation, there is a place for you here. Check our open issues.
HorizonCover brings trustless, data-driven insurance to the blockchain. By monitoring on-chain fund flows through Soroban smart contracts, we eliminate the need for claims adjusters, turning months of bureaucratic waiting into a 3-second USDC settlement for exploited protocols.
Traditional smart contract insurance is fundamentally broken:
- Prohibitive Overhead: The administrative cost of assessing a hack using decentralized governance makes micro-policies unviable.
- Subjective Delays: Claims sit in DAO voting periods or human review queues for 30–90 days, leaving vulnerable protocols without critical liquidity when disaster strikes.
- Capital Inefficiency: Insurers must lock up immense capital to underwrite discretionary risks.
We replace trust with code:
- Soroban Core Vaults: Secure pools holding USDC premiums, utilizing Protocol 26's checked arithmetic to guarantee absolute precision on every payout calculation.
- Fund Flow Adapters: Lightweight contracts that observe on-chain TVL (Total Value Locked). If a malicious drain occurs, they instantly trigger the core vault.
- Monorepo Ecosystem: A unified workspace featuring a React/Vite frontend, shared TypeScript types, and a robust developer SDK.
- ⚡ Zero-Claim Execution: Payouts are triggered automatically the moment an exploit threshold (e.g., >30% TVL drained) is met.
- 🔒 Mathematical Guarantees: Soroban's native math prevents any floating-point or rounding errors during financial distribution.
- 💸 Instant Settlement: Leverage Stellar's sub-5-second finality to distribute emergency liquidity exactly when the protocol needs it.
- 🛠️ Plug-and-Play Adapters: Developers can easily write new triggers for flash-loan attacks, oracle manipulation, or bridge exploits.
graph LR
subgraph "DeFi Ecosystem"
Target["Covered Protocol"]
Exploiter["Malicious Actor"]
end
subgraph "HorizonCover Infrastructure"
Monitor["Fund Flow Monitor<br/>Adapter Contract"]
Vault(("Core Vault<br/>Smart Contract"))
end
subgraph "Settlement Layer"
Treasury["Protocol Treasury"]
USDC["Circle USDC"]
end
Target -- "Pays Premium" --> Vault
Exploiter -- "Drains TVL" --> Target
Monitor -. "Observes Fund Flow" .-> Target
Monitor -- "trigger_payout()" --> Vault
Vault -- "Calculates Parametric Math" --> USDC
USDC -- "Instant Payout" --> Treasury
style Vault fill:#0ea5e9,color:#fff
style Monitor fill:#8b5cf6,color:#fff
style USDC fill:#22c55e,color:#fff
HorizonCover payouts are deterministic and proportional to the damage. If a protocol's drain ratio exceeds their policy threshold, the payout scales automatically:
let drain_ratio = (funds_drained * 10_000) / total_locked_value;
if drain_ratio > drain_threshold {
let excess_bps = drain_ratio - drain_threshold;
let range_bps = 10_000 - drain_threshold;
// Proportional payout based on the severity of the hack
let payout = (max_benefit * excess_bps) / range_bps;
}We have successfully scaffolded the foundational monorepo and core mathematical models. We are now preparing to onboard contributors.
Completed Foundations:
- ✅ Monorepo architecture (pnpm) established.
- ✅ Core Vault contract written with deterministic payout math.
- ✅ Fund Flow Monitor and Mock Protocol adapters implemented.
- ✅ TypeScript SDK and Types packages built.
- ✅ React Frontend with dynamic payout sandboxes and Stellar Wallets Kit.
- ✅ Live Dashboard Deployed: horizon-cover-frontend.vercel.app
Browse all contributor tasks on our Issues board. Filter by wave-ready to see what's available this wave.
Prerequisites:
- Rust (latest stable) |
wasm32-unknown-unknowntarget - Node.js 20+ | pnpm 9+
1. Clone & Install
git clone https://github.com/AtlasCrypt/HorizonCover.git
cd HorizonCover
pnpm install2. Configure Environment
# Add the WASM compilation target (one time only)
rustup target add wasm32-unknown-unknown3. Run the UI locally
cd frontend
pnpm dev4. Compile Contracts
pnpm build:contractsHorizonCover/
├── contracts/ # Soroban Smart Contracts
│ ├── core/ # The main insurance vault & payout logic
│ └── adapters/ # Exploit detection triggers
├── frontend/ # React / Vite Dashboard
├── packages/ # Shared Libraries
│ ├── sdk/ # TypeScript interaction SDK
│ └── types/ # Cross-repo TS definitions
└── docs/ # Architecture and contributing guides
For deep dives into the protocol's inner workings and security model, please refer to:
- Architecture Guide: System flows, component breakdown, and payout sequences.
- Security & Threat Model: RBAC matrix, known limitations, and mitigation strategies.
- Contributing Guide: Drips Wave guidelines and environment setup.
HorizonCover is built for the community, by the community.
To start contributing, browse the Issues tab for tasks tagged with good-first-issue or wave-task. We maintain a collaborative, open environment—simply comment on an issue to claim it, fork the repository, and submit a PR.
For detailed guidelines, see our Contributing Guide.
This project is licensed under the MIT License - see the LICENSE file for details.
This protocol is a proud participant in the Stellar Drips Wave and the broader open-source Soroban ecosystem. By combining parametric triggers with the raw speed of Stellar, we are providing the safety net that DeFi desperately needs.