TheDAO Security Fund Launches Second Round: $600,000 Grant for Vyper Compiler

According to CryptoBriefing, the second round of funding for ETHSecurity Initiatives under TheDAO Security Fund has been launched, with a grant of $600,000 allocated for the formal verification of the Vyper compiler. Vyper is the smart contract language for protocols such as Curve, Yearn, and Lido.

The fund originates from unclaimed ETH converted from the 2016 DAO incident, with the Ethereum Foundation publicly expressing support.