sudo rm -rf --no-preserve-root /
@pcaversaccio
๐๐จ๐ซ๐ค๐ข๐ง๐ ๐จ๐ง ๐ฐ๐ก๐๐ญ'๐ฌ ๐ง๐๐ฑ๐ญ.
๊ผG๊ผ: 063E 966C 93AB 4356 492F E032 7C3B 4B4B 7725 111F
333 Following 32.3K Followers
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. ๐๐
Show more
