Vitalik Buterin: Suggesting Cleave to conduct formal verification before launching on the mainnet
Vitalik Buterin suggested that Cleave, a non clearing derivative protocol, implement options as the underlying layer of DeFi and conduct formal verification before going live on the mainnet. Cleave testnet allows users to split 1 ETH into cash assets and bullish assets, with the sum of their values equal to 1 ETH.