Wu Says, The DAO Security Fund announced its collaboration with the Ethereum Foundation to support the “End-to-End Formal Verification of the Vyper Compiler” grant project, and to include it in the ETHSecurity Initiatives Round. The project aims to use machine-verifiable proofs to ensure that the Vyper compilation process preserves the semantics of the source code, and to provide a re-verification infrastructure for versions that have already been supported, ultimately launching a public verified compilation mode in the official Vyper compiler. The Ethereum Foundation has committed to providing $100,000 in support for the project.