吴说获悉，O fundo de segurança do DAO anunciou uma parceria com a Fundação Ethereum para apoiar o projeto financiado “Validação formal ponta a ponta do compilador Vyper” e incluí-lo nas ETHSecurity Initiatives Round. O projeto visa, por meio de provas verificáveis por máquinas, garantir que o processo de compilação do Vyper preserve a semântica do código-fonte e fornecer uma infraestrutura de revalidação para versões já suportadas, culminando no lançamento, no compilador oficial do Vyper, de um modo de compilação verificável público. A Fundação Ethereum se comprometeu em fornecer US$ 100.000 de apoio para este projeto.