[TheDAO Security Fund Launches Second Round, $600,000 Granted to Vyper Compiler] According to CryptoBriefing, the second round of funding under TheDAO Security Fund's ETHSecurity Initiatives has been launched, allocating $600,000 for formal verification of the Vyper compiler. Vyper is the smart contract language used by protocols such as Curve, Yearn, and Lido. The fund originates from unclaimed ETH converted staking funds from the 2016 DAO incident, with public support expressed by the Ethereum Foundation.