Как стало известно Wu Shuo, Фонд безопасности DAO объявил о сотрудничестве с Фондом Ethereum: он поддержит финансируемый проект «сквозной (end-to-end) формальной верификации компилятора Vyper» и включит его в инициативы ETHSecurity (раунд ETHSecurity Initiatives Round). Цель проекта — с помощью машинно-проверяемых доказательств обеспечить сохранение семантики исходного кода в процессе компиляции Vyper, а также создать инфраструктуру для повторной верификации для уже поддерживаемых версий. В итоге это приведёт к запуску публичного режима верифицирующей компиляции в официальном компиляторе Vyper. Фонд Ethereum обязался предоставить проекту финансирование в размере 100 тысяч долларов.