TheDAO Security Fund Launches Second Grant Round for Vyper Compiler

TheDAO Security Fund has initiated the second round of its ETHSecurity Initiatives, allocating $600,000 for the formal verification of the Vyper compiler. Vyper is a smart contract language used by protocols such as Curve, Yearn, and Lido. The fund is supported by the Ethereum Foundation and utilizes unclaimed ETH from the 2016 DAO incident.