Ethereum Foundation
@ethereumfndn
Formally verified Vyper is a milestone in itself but we believe advances in security lead the way for more than just the Ethereum ecosystem. In the long run, the whole Internet is served by the combined efforts of projects like these. We are proud to offer our support to the team
thedao.fund@thedaofund · Sep 29Ethereum 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.
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.
0:45 7 110