[Vitalik: Cleave is the realization of the 'options as the foundational layer of DeFi' concept, formal verification should be conducted before mainnet launch] Foresight News reports that Vitalik Buterin stated in a post that the concept he previously proposed—'replacing CDP and liquidation mechanisms with options as the foundational layer of DeFi'—seems to be coming to fruition, as the liquidation-free derivatives protocol Cleave has launched on its testnet. However, he strongly recommends conducting formal verification before rapidly launching on the mainnet. Foresight News notes that the core mechanism of the Cleave testnet allows users to split 1 ETH into a 'cash asset' and a 'call asset,' with the combined value of the two always equaling 1 ETH.