以太坊基金会拨款 10 万美元，用于 Vyper 编译器形式化验证

以太坊基金会宣布向 Vyper 编译器形式化验证项目拨款 10 万美元。Vyper 是一种类 Python 的智能合约语言，目前支撑着 Curve 和 Yearn 等 DeFi 协议中超过 20 亿美元的锁仓价值。该资助属于 ETHSecurity Initiatives 第二轮计划的一部分，旨在解决源代码与 EVM 字节码之间可能存在的偏差问题，通过数学证明确保编译过程的准确性，并计划在 Vyper 编译器中内置“验证编译”模式。