AtlasCrypt/HorizonCover

# HorizonCover **一个去中心化的参数化 DeFi 保险引擎，在 Stellar 网络上提供即时、由数学保障的赔付。** [](LICENSE) [](https://soroban.stellar.org) [](https://horizon-cover-frontend.vercel.app/) HorizonCover 将无信任、数据驱动的保险引入区块链。通过 Soroban 智能合约监控链上资金流，我们消除了对理赔审核员的需求，将长达数月的官僚等待转化为针对被攻击协议的 3 秒内 USDC 结算。 ### DeFi 保险的痛点 传统的智能合约保险在根本上存在缺陷： - **高昂的间接成本：** 使用去中心化治理来评估黑客攻击的管理成本，使得微型保单变得不可行。 - **主观导致的延误：** 理赔申请需要在 DAO 投票期或人工审查队列中等待 30 到 90 天，导致脆弱的协议在灾难发生时缺乏关键的流动性。 - **资金使用效率低下：** 保险方必须锁定大量资金，以承保自由裁量的风险。 ### HorizonCover 架构 我们用代码取代了信任： - **Soroban 核心金库**：安全的资金池持有 USDC 保费，利用 Protocol 26 的检查算法，确保每次赔付计算具有绝对的精度。 - **资金流适配器**：轻量级合约，用于监控链上 TVL（总锁仓价值）。如果发生恶意抽资，它们会立即触发核心金库。 - **Monorepo 生态系统**：一个统一的工作空间，包含 React/Vite 前端、共享的 TypeScript 类型以及强大的开发者 SDK。 ### 协议亮点 - ⚡ **零理赔执行**：一旦满足攻击阈值（例如，TVL 被抽走 >30%），赔付将自动触发。 - 🔒 **数学保障**：Soroban 的原生数学运算可防止财务分配过程中出现任何浮点数或舍入错误。 - 💸 **即时结算**：利用 Stellar 不到 5 秒的最终确定性，在协议最需要的时候准确分配紧急流动性。 - 🛠️ **即插即用的适配器**：开发者可以轻松编写针对闪电贷攻击、预言机操纵或跨链桥攻击的新触发器。 ### 系统流程 ``` graph LR subgraph "DeFi Ecosystem" Target["Covered Protocol"] Exploiter["Malicious Actor"] end subgraph "HorizonCover Infrastructure" Monitor["Fund Flow Monitor
Adapter Contract"] Vault(("Core Vault
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 的赔付是确定性的，并且与损失成正比。如果协议的抽资比例超过了其保单阈值，赔付将自动按比例进行： ``` 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; } ``` ### 当前状态：为 Stellar Wave 搭建完成 ✅ 我们已成功搭建了基础 monorepo 和核心数学模型。我们正准备引入贡献者。 **已完成的基础建设：** - ✅ Monorepo 架构 已建立。 - ✅ 带有确定性赔付数学模型的核心 Vault 合约已编写完成。 - ✅ 资金流监控器和模拟协议适配器已实现。 - ✅ TypeScript SDK 和类型包已构建。 - ✅ 带有动态赔付沙盒和 Stellar Wallets Kit 的 React 前端。 - ✅ **线上仪表板已部署：** [horizon-cover-frontend.vercel.app](https://horizon-cover-frontend.vercel.app/) ### 🛠️ 开放赏金与任务 在我们的 [Issues 面板](../../issues) 浏览所有贡献者任务。通过 `wave-ready` 标签筛选以查看本波次可参与的任务。 ### 本地开发快速入门 **前置条件：** - Rust（最新稳定版）| `wasm32-unknown-unknown` 目标平台 - Node.js 20+ | pnpm 9+ **1. 克隆并安装** ``` git clone https://github.com/AtlasCrypt/HorizonCover.git cd HorizonCover pnpm install ``` **2. 配置环境** ``` # 添加 WASM 编译 target（仅需一次） rustup target add wasm32-unknown-unknown ``` **3. 在本地运行 UI** ``` cd frontend pnpm dev ``` **4. 编译合约** ``` pnpm build:contracts ``` ### 项目结构 ``` HorizonCover/ ├── 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 ``` ### 文档 要深入了解协议的内部工作原理和安全模型，请参考： - [**架构指南**](./docs/ARCHITECTURE.md)：系统流程、组件拆解和赔付序列。 - [**安全与威胁模型**](./docs/SECURITY.md)：RBAC 矩阵、已知局限性和缓解策略。 - [**贡献指南**](CONTRIBUTING.md)：Drips Wave 指南和环境设置。 ### 许可证 本项目基于 MIT 许可证授权 - 详情请参见 [LICENSE](LICENSE) 文件。 ### 致谢 本协议是 **Stellar Drips Wave** 和更广泛的开源 Soroban 生态系统的骄傲参与者。通过将参数化触发器与 Stellar 的极致速度相结合，我们正在提供 DeFi 迫切需要的安全网。

标签：CISA项目, DApp, DeFi, DeFi保险, React, Rust, Soroban, Stellar, Syscalls, TVL监控, TypeScript, USDC, Vite, Web3, 加密货币安全, 区块链, 协议安全, 去中心化应用, 去中心化金融, 参数保险, 可视化界面, 安全插件, 无需索赔, 智能合约, 流动性, 网络流量审计, 自动化赔付, 通知系统, 链上监控