Se ha informado que The DAO Safe Fund anunció una colaboración con la Fundación Ethereum para respaldar el proyecto de financiación del «verificador de extremo a extremo de Vyper» y para incorporarlo en las ETHSecurity Initiatives Round. El proyecto tiene como objetivo, mediante pruebas verificables por máquinas, garantizar que el proceso de compilación de Vyper pueda conservar la semántica del código fuente, y proporcionar una infraestructura de revalidación para las versiones ya admitidas, con el fin de lanzar finalmente un modo de compilación verificable público en el compilador oficial de Vyper. La Fundación Ethereum se ha comprometido a aportar 100.000 dólares al proyecto.