Smart Contract Security
Search documents
X @vitalik.eth
vitalik.ethยท 2026-04-03 01:23
RT sudo rm -rf --no-preserve-root / (@pcaversaccio)it's a remarkable milestone for anyone working on compilers and smart contract security: Vyper is set to become the _first_ formally verified smart contract compiler, effectively allowing you to mathematically prove that the entire compilation pipeline preserves the contract logic _and_ to prove that the contract logic itself is correct. Oh, and the cool thing is, my snekmate math functions have been formally verified :D. ๐๐ ...