Vyper

定义

Vyper 是一种面向 EVM 的智能合约编程语言，语法风格接近 Python，与 Solidity 同为以太坊主要合约语言，设计目标是安全、简单和可审计。

设计理念

Vyper 刻意去掉了许多容易引入漏洞或降低可读性的特性：不支持类继承、函数修饰符（modifier）、内联汇编、运算符重载和无限循环，循环必须有明确上界。这使得合约行为更容易被人工审计推断，减少隐藏逻辑。

应用

DeFi 协议 Curve Finance 是 Vyper 最著名的使用者，其核心合约长期以 Vyper 编写；此外部分注重简洁性的协议也选择该语言。

事件与评价

2023 年 7 月，Vyper 特定旧版本编译器的重入锁失效漏洞导致 Curve 部分池被攻击，说明语言与编译器本身也可能成为风险来源。总体而言，Vyper 以更小的语言表面换取审计友好性，是 Solidity 之外最重要的 EVM 语言。