以太坊基金会资助 10 万美元用于 Vyper 编译器验证

[ETH] 这笔赠款是更广泛的 60 万美元安全拨款的一部分，旨在缩小经过验证的智能合约代码与实际在链上运行的代码之间的差距。以太坊基金会已承诺投入 10 万美元，资助开发经过正式验证的 Vyper 编译器，Vyper 是一种 Python 风格的智能合约语言，目前支持 Curve 和 Yearn 等 DeFi