TheDAO Фонд безопасности запускает второй раунд: 600 тысяч долларов США на финансирование компилятора Vyper

Согласно отчету CryptoBriefing, второй раунд финансирования ETHSecurity Initiatives фонда TheDAO Security Fund запущен, выделено 600 тысяч долларов на формальную верификацию компилятора Vyper. Vyper является языком смарт-контрактов для протоколов, таких как Curve, Yearn, Lido.

Фонд возник из нераспределенных ETH, преобразованных в залоговые средства после события DAO в 2016 году, и Фонд Ethereum публично выразил свою поддержку.