ETHSecurity Initiatives, a program under TheDAO Security Fund, has launched its second round of grants, according to CryptoBriefing. The round allocates $600,000 to formal verification work on the Vyper compiler. Vyper is the smart contract language used by protocols including Curve, Yearn, and Lido. The fund traces its capital to staked proceeds generated from unclaimed ETH tied to the 2016 DAO incident. The Ethereum Foundation has publicly expressed support for the effort. The announcement centers on compiler security work rather than a broader grant expansion, with the funding specifically directed at formal verification of Vyper.
ETHSecurity Initiatives, part of TheDAO Security Fund, has launched its second funding round, according to CryptoBriefing, with $600,000 earmarked for formal verification of the Vyper compiler.
Vyper is the smart contract language used by protocols including Curve, Yearn, and Lido.
The fund originates from staked capital derived from unclaimed ETH linked to the 2016 DAO incident. The Ethereum Foundation has publicly backed the initiative.
This article was originally published by Bit.Fan. For more cryptocurrency news and market insights, visit www.bit.fan. Disclaimer:
The market information, project data, and third-party content displayed on this platform are for industry information sharing only and do not constitute any form of investment advice or return commitment.
Cryptocurrency trading carries high risks. Users should fully assess their risk tolerance and make independent decisions. All profits, losses, and legal responsibilities are borne by the users themselves.
