sudo rm -rf --no-preserve-root / (@pcaversaccio) “it's a remarkable milestone for anyone working on compilers and smart contract s”

sudo rm -rf --no-preserve-root /

@pcaversaccio

𝐖𝐨𝐫𝐤𝐢𝐧𝐠 𝐨𝐧 𝐰𝐡𝐚𝐭'𝐬 𝐧𝐞𝐱𝐭. ꟼGꟼ: 063E 966C 93AB 4356 492F E032 7C3B 4B4B 7725 111F

加入 February 2010

333 正在关注 32.3K 粉丝

sudo rm -rf --no-preserve-root /@pcaversaccio

2026.04.02 11:06

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. 🐍💙

显示更多