HyperLeafDocs

AI-Native

HyperLeaf 以 AI-Native（AI 原生） 方式构建。

我们不把 AI 当成传统开发流程旁边的写代码助手。AI 是协议开发回路本身的一部分：研究外部协议、映射其经济行为、设计适配器、写实现、生成测试、审查 invariant（不变量）、分析边界情况，并迭代系统。

这会改变协议的构建方式。

01 — 按设计就是 AI-Native

传统 DeFi 开发常常是：

Research → Design → Engineering → Audit → Deploy

HyperLeaf 围绕更紧的回路：

Research（研究）
   ↓
Economic model（经济模型）
   ↓
Invariant（不变量）
   ↓
Implementation（实现）
   ↓
Tests（测试）
   ↓
Adversarial review（对抗审查）
   ↓
Deployment（部署）
   ↓
On-chain observation（链上观测）
   ↓
再回到 Research

AI 贯穿整条回路。

目标不只是写代码更快，而是把「发现新的生息资产」到「安全地支持它」的距离大幅缩短。

02 — AI 构建协议

是的，HyperLeaf 相当一部分代码由 AI 编写。

我们不认为这需要遮掩。

代码作者身份不是安全模型。

安全模型是：经济假设是否显式、invariant 是否可测、backing 是否可验证、已部署系统是否按预期运行。

AI 可以写合约。

AI 不能让未经验证的假设自动成立。

这个区分对 HyperLeaf 是根本的。

03 — 人类核对关键状态

HyperLeaf 把执行与信任拆开。

AI 可以：

  • 研究外部协议；
  • 提出产品架构；
  • 实现 Solidity、Rust 与集成代码；
  • 生成测试；
  • 识别攻击面；
  • 审查会计逻辑；
  • 产出文档。

关键协议状态仍需要显式核对。

包括：

  • canonical backing（规范 backing）；
  • 代币供应；
  • 会计单位；
  • mint / 赎回权限；
  • 奖励来源；
  • 外部协议依赖；
  • 可升级性与治理；
  • 部署地址；
  • 偿付约束。

原则很简单：

AI 可以提议。链必须证明。

04 — 开源让回路可审计

AI-Native 开发在推理可被检查时更有效。

因此 HyperLeaf 把合约、测试、产品架构、部署记录与安全假设放在公开仓库。

重点不是宣称「开源 = 安全」。

重点是：AI 生成的系统应当异常容易被检查、复现与挑战。

任何人应能问：

What backs this Leaf?
How is it accounted for?
Who can mint it?
How does yield enter?
How does it exit?
What happens when the underlying fails?

并找到显式答案。

05 — 快速迭代，不牺牲 invariant

AI-Native 协议不该从这句话开始：

“该写什么合约？”

而应从：

“什么必须永远为真？”

对每个 Leaf，HyperLeaf 尽量在实现前定义经济 invariant。

例如：

Outstanding claims（未偿 claim）
        ≤
Verified economically realizable backing（已验证、可经济兑现的 backing）

具体 invariant 随资产变化。

流动性质押凭证可能用汇率衡量。

质押凭证可能用锁定底层衡量。

vote-escrow 可能需要 NFT 级会计。

跨链 claim 可能同时需要源端 backing 与目标端供应上限。

实现跟随 invariant。

不是反过来。

AI-Native 资产扩展

这对 HyperLeaf 尤其重要：协议要支持许多不同的生息资产。

每个新资产可当作结构化研究问题：

Asset（资产）
 ↓
Underlying economic position（底层经济头寸）
 ↓
Canonical backing（规范 backing）
 ↓
Accounting unit（会计单位）
 ↓
Yield source（收益来源）
 ↓
Exit topology（退出拓扑）
 ↓
Risk boundary（风险边界）
 ↓
Invariant（不变量）
 ↓
Leaf

这样 HyperLeaf 能支持本质不同的头寸，而不假装它们都像同一种代币。

结果不是一堆 wrapper。

而是一套描述异构生息资产的共同协议语言。

为什么重要

AI-Native 开发主要不是为了省工程成本。

它改变协议的迭代速度。

新生息资产持续出现。

合约不同。

奖励系统不同。

锁期不同。

失败模式不同。

AI-Native 协议可以持续研究这些系统、形式化经济边界、实现所需会计、测试 invariant，并通过共同资产层暴露结果头寸。

这是长期优势。

HyperLeaf 不是为了写更多合约而建。

它是为了更快把新形态的生息资本，变成已验证、可组合的资产。

审计口径： AI 开发；多轮不同 AI 审查；尚未经外部人工审计。

HyperLeaf · 中文 · 文档首页