Video yükleniyor...
Video Yüklenemedi
Ethereum security gets stronger when the ecosystem funds the infrastructure everyone depends on. We’re excited to announce a collaborative effort with the Ethereum Foundation 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,... show more
13,866 görüntüleme • 10 gün önce •via X (Twitter)
3 Yorum

The Book of Ethereum 📘 booe.eth10 gün önce
The trust stack has a gap most people don't think about: You audit the source code. You deploy the bytecode. You trust the compiler didn't change the meaning in between. Formally verified Vyper compilation closes that gap - machine-checked proof that what you wrote is what gets executed. This is "verify, don't trust" applied to the toolchain itself. 🔐 EF put in $100K. Now the ecosystem can stack on top. One of the deepest layers of Ethereum security, and one of the most overlooked 🙏📖

Ryan Berckmans ⟠10 gün önce
@ethereumfndn 🔥

Marc Vlad | DeFiScan.info9 gün önce
@ethereumfndn DeFi needs this! Support it!

