TheDAO Security Fund has launched the second round of its ETHSecurity Initiatives, allocating $600,000 to formal verification of the Vyper compiler. Vyper is a Python-flavored smart contract language used by major DeFi protocols including Curve, Yearn and Lido. The funding comes from unclaimed ETH linked to the 2016 DAO incident, which has been converted into staking funds for ecosystem security. Formal verification is intended to prove that the compiler’s EVM bytecode faithfully reflects the source code, addressing risks exposed by a 2023 vulnerability in specific Vyper versions that contributed to roughly $70 million in losses from Curve pools. The Ethereum Foundation has publicly supported the initiative. The earlier record described a separate or initial $100,000 Ethereum Foundation commitment within the broader $600,000 effort; the new announcement identifies the $600,000 allocation as the second-round funding for Vyper compiler verification.