Vyper 优化了安全性、语言和编译器简易性以及可审计性。
安全性
在 Vyper 中构建安全的智能合约应该是可行且自然的。
语言
语言和编译器实现应该力求简单。
可审计性
Vyper 代码应尽可能地易于人类阅读。它应该尽可能地难以编写误导性的代码。
使用 Vyper 构建安全高效的智能合约
- 边界和溢出检查：在数组访问和算术运算中
- 支持带符号整数和小数定点数字
- 可判定性：可以计算任何 Vyper 函数调用的精确气体消耗上限
- 强类型
- 小而易懂的编译器代码
- 对纯函数的支持有限：标记为常量的任何内容都不允许更改状态。
功能
适合谁？
开发人员
开发人员选择 Vyper 的原因是其简单性、安全性以及类似 Python 的语法，使其成为编写透明、安全且漏洞风险更低的智能合约的理想选择。
安全性
注重安全的蛇类使用 Vyper 的原因是其受限的功能集。通过清晰、易于审计的语法将漏洞降至最低。
安全性/审计
审计
Vyper 安全联盟
即将推出
为什么要选择 Vyper？
Vyper 是一种友好、安全且强大的智能合约编程语言。
Vyper 并非力求完全替代 Solidity 的所有功能；如果为了提高安全性，它会故意禁止某些功能或使某些操作更难。
如果你想构建安全高效的智能合约，且不想踩坑，请使用 Vyper。