On apprend via Wu Shuo que le fonds de sécurité de la DAO a annoncé s’associer à la Fondation Ethereum afin de soutenir le projet de financement « Validation formelle de bout en bout d’un compilateur Vyper », et de l’intégrer aux ETHSecurity Initiatives Round. Ce projet vise à, grâce à des preuves vérifiables par machine, garantir que le processus de compilation de Vyper préserve la sémantique du code source, et à fournir une infrastructure de revalidation pour les versions déjà prises en charge, avant de lancer finalement, dans le compilateur Vyper officiel, un mode de compilation vérifié public. La Fondation Ethereum s’est engagée à apporter 100 000 dollars de soutien à ce projet.