Vitalik Buterin 发文称，其此前其提出的「以期权替代 CDP 和清算机制作为 DeFi 基础层的设想」似乎已经在实现中了，无清算衍生品协议 Cleave 测试网上线。不过他强烈建议，如果要快速上线主网，应先进行形式化验证。Foresight News 注，Cleave 测试网的核心机制是允许用户将 1 个 ETH 拆分为「现金资产」和「看涨资产」，两者的价值之和永远等于 1 个 ETH。
Vitalik：Cleave 是「期权作为 DeFi 基础层」设想的实现，主网上线前应进行形式化验证
其他语言标题
- EnglishVitalik: Cleave is the realization of the vision of "options as the foundational layer of DeFi," and formal verification should be conducted before the mainnet launch.
- 한국어Vitalik: Cleave는 '옵션을 DeFi 기반 계층으로'라는 구상을 구현한 것으로, 메인넷 출시 전 형식 검증이 필요합니다.