Ethereum security gets stronger when the ecosystem funds the infrastructure everyone depends on. We’re excited to announce a collaborative effort with the @ethereumfndn on the End-to-End Formally Verified Vyper Compiler grant, now live in the ETHSecurity Initiatives Round. Vyper contracts are audited and verified at the source-code level, but Ethereum executes bytecode. Everything in between depends on the compiler preserving the meaning of what developers wrote. This grant funds work toward a machine-checked proof that @vyperlang compilation preserves source semantics, plus the infrastructure to re-verify supported releases. The goal is a public --verified compilation mode in the official Vyper compiler, with documented guarantees and real production adoption. The Ethereum Foundation has pledged $100K toward the initiative. Now we have a chance to bring the ecosystem together around one of the deepest layers of Ethereum security and help build a future where critical smart contract code can be verified all the way down to bytecode. Support the initiative: