Fundo de segurança da TheDAO inicia segunda rodada de subsídios com US$ 600 mil para Vyper
A segunda rodada de subsídios da ETHSecurity Initiatives, parte do TheDAO Security Fund, destinou US$ 600 mil para a verificação formal do compilador Vyper, linguagem utilizada por protocolos como Curve, Yearn e Lido. O fundo é financiado por ativos não reclamados do incidente da DAO de 2016.
Os resumos são escritos por IA a partir do artigo original. Não é recomendação de investimento.