Vitalik：Cleave 是「期权作为 DeFi 基础层」设想的实现，主网上线前应进行形式化验证

Foresight News 消息，Vitalik Buterin 发文称，其此前其提出的「以期权替代 CDP 和清算机制作为 DeFi 基础层的设想」似乎已经在实现中了，无清算衍生品协议 Cleave 测试网上线。不过他强烈建议，如果要快速上线主网，应先进行形式化验证。

Foresight News 注，Cleave 测试网的核心机制是允许用户将 1 个 ETH 拆分为「现金资产」和「看涨资产」，两者的价值之和永远等于 1 个 ETH。