vitalik.eth
vitalik.eth
本文为机器翻译 展示原文
对于任何从事编译器和智能合约安全工作的人来说，这是一个非凡的里程碑：Vyper 将成为第一个经过正式验证的智能合约编译器，有效地允许您以数学方式证明整个编译管道保留了合约

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

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 https://t.co/45HPgqcLx7

sudo rm -rf --no-preserve-root /
来自推特

免责声明: 以上内容仅为作者观点, 不代表CoinNX的任何立场, 不构成与CoinNX相关的任何投资建议。

12