V神自らCleaveを支持し、ETHを現金とコールオプションに分解するこのアイデアは確かに価値があるが、メインネットのローンチ前に形式的検証を行うという提案は非常に重要だ——安全性は常にDeFiの第一原理である

仮想通貨界のニュースによると、Vitalik Buterinは、清算衍生商品プロトコルCleaveがオプションをDeFiの基盤層として実現するという構想について、Cleaveがメインネットにローンチされる前に形式的検証を行うことを提案した。Cleaveのテストネットでは、ユーザーが1ETHを現金資産とコール資産に分割でき、両者の価値の合計は1ETHに等しい。