V神 personally takes the stage for Cleave; splitting ETH into cash + call options is indeed something, but doing formal verification before the mainnet launch is a very Vitalik suggestion—security is always the fundamental principle of DeFi.

CryptoWorld News reports that Vitalik Buterin said that the idea of using options as a DEFI foundational layer has not been realized by the clearing derivatives protocol Cleave. He recommends that Cleave conduct formal verification before it goes live on the mainnet. The Cleave testnet allows users to split 1 ETH into cash assets and a call option, with the sum of the two assets’ values equaling 1 ETH.