According to CoinMeta, the The DAO Security Fund announced a collaboration with the Ethereum Foundation to support the “end-to-end formal verification of the Vyper compiler” funding project, and to incorporate it into the ETHSecurity Initiatives Round. The project aims to ensure that the Vyper compilation process retains the semantics of the source code through machine-verifiable proofs, and to provide re-validation infrastructure for already supported versions. Ultimately, a public verification compilation mode will be introduced in the official Vyper compiler. The Ethereum Foundation has committed to providing $100,000 in support for this project.