Solidity
以太坊智能合约的主流编程语言。语言设计中的坑（整型溢出、重入、权限默认）催生了大量攻击事件和安全最佳实践。用户不需要会写，但知道项目用 Solidity 意味着 EVM 生态的历史漏洞库都适用。
Solidity 是以太坊和 EVM 链的主流合约编程语言：静态类型、合约继承、事件日志，为链上执行设计。它的历史漏洞清单几乎就是 DeFi 攻击史——整数溢出（Safemath 出现前）、重入、权限缺失，都是语言特性与业务逻辑的错配。
对非开发者的意义
你不需要会写，但要知道语言特性决定了风险面：外部调用可重入、整数运算有边界、权限默认敞开。审计报告里高频出现的正是这几类。
重入攻击是必修案例：一个外部调用顺序问题，历史上吞掉过数千万美元。