注意你的语言：我们的首次 Vyper 审计

Trail of Bits 首次 Vyper 审计发现，这门类 Python 的以太坊智能合约语言内置整数溢出检查、可读性更好，但成熟度不足——审计中还发现了一个编译器函数冲突缺陷；团队已为 crytic-compile 添加 Vyper 支持，使 Manticore、Echidna 等工具可用于 Vyper 合约。