Wu mengatakan bahwa Dana Keamanan The DAO mengumumkan kerja sama dengan Ethereum Foundation untuk mendukung proyek hibah “bentuk verifikasi formal end-to-end untuk kompiler Vyper”, dan memasukkannya ke dalam ETHSecurity Initiatives Round. Proyek ini bertujuan, melalui bukti yang dapat diverifikasi oleh mesin, untuk memastikan proses kompilasi Vyper dapat mempertahankan semantik kode sumber, serta menyediakan infrastruktur re-verifikasi bagi versi yang telah didukung, hingga akhirnya meluncurkan mode kompiler terverifikasi publik dalam kompiler resmi Vyper. Ethereum Foundation telah berkomitmen untuk memberikan dukungan sebesar 100.000 dolar AS untuk proyek ini.