CryptoBriefing reported that the Ethereum Foundation is supporting the development of a formal verification compiler for the smart contract language Vyper with $100,000. Currently, Vyper-based smart contracts handle over $2 billion in Total Value Locked (TVL) across DeFi protocols such as Curve and Yearn.
