以太坊联合创始人 Vitalik Buterin 强调了无清算衍生品协议 Cleave 的测试网启动，这表明他之前提出的使用期权替代去中心化金融 (DeFi) 中的抵押债务头寸 (CDP) 和清算机制的提议正在走向实际实施。
Buterin强烈建议，如果项目打算快速进行主网部署，首先应该进行形式化验证，这个过程从数学上证明协议底层代码和逻辑的正确性。
根据提供的详细信息，Cleave 的测试网机制使用户能够将 1 ETH 分成两个不同的部分：“现金资产”和“呼叫资产”。这两种资产的总价值被设计为始终等于 1 ETH，为衍生品敞口创建了一种新颖的结构，而无需担心传统 DeFi 借贷协议中常见的强制清算风险。
这一发展标志着探索 DeFi 替代基础层迈出了重要一步，摆脱了目前生态系统中普遍存在的高风险、依赖清算的模式。