CoinScoopTheDAO Security Fund destina US$ 600 mil para o compilador Vyper
A segunda rodada de subsídios da ETHSecurity Initiatives, do TheDAO Security Fund, concedeu US$ 600 mil para a verificação formal do compilador Vyper, linguagem utilizada por protocolos como Curve, Yearn e Lido. O fundo utiliza recursos de ETH não reivindicados do incidente DAO de 2016.
Os resumos são escritos por IA a partir do artigo original. Não é recomendação de investimento.