CoinScoopTheDAO Security Fund Launches Second Grant Round
The ETHSecurity Initiatives under TheDAO Security Fund has launched its second grant round, allocating $600,000 for the formal verification of the Vyper compiler. Vyper is a smart contract language used by protocols including Curve, Yearn, and Lido.
Summaries are written by AI from the original article. Not investment advice.