TheDAO Security Fund ha lanzado la segunda ronda de subvenciones bajo sus Iniciativas ETHSecurity, asignando 600.000 USD para la verificación formal del compilador Vyper. Según ChainCatcher, Vyper es el lenguaje de contratos inteligentes utilizado por protocolos como Curve, Yearn y Lido.
El fondo se creó a partir de ETH no reclamado vinculado al incidente del DAO de 2016 y se convirtió en capital de staking, y la Fundación Ethereum expresó públicamente su apoyo.
