Ethereum Foundation выделила $100 тыс. на верификацию компилятора Vyper
- —Грант $100 тыс. — часть программы ETHSecurity Initiatives Round Two на $600 тыс.
- —Под управлением Vyper-контрактов находится более $2 млрд TVL в DeFi
- —Проект создаст режим verified compilation в официальном компиляторе Vyper
- —Работа ведётся с Foundation for Verified Software и командой Vyper на базе исследований в HOL4
Почему важно: Формальная верификация компилятора исключит целый класс эксплойтов: баг компилятора Vyper в 2023 году стоил Curve около $70 млн.
Источник: Crypto Briefing