Solidity

智能合约与EVM

Solidity编译到以太坊虚拟机（EVM）字节码，部署在区块链上后，代码和状态都不可篡改（除非实现了特殊的可升级代理模式）。每条指令的执行都消耗Gas——以太坊的计算费用单位，这让Solidity的编程模型非常特殊：存储（storage）操作比内存（memory）操作贵数百倍，循环的每次迭代都要花钱，Gas不足时交易回滚但Gas不退。

这些约束深刻影响了合约的设计：能放内存的不放存储，能减少循环的要想算法，数组长度无界循环是经典Gas耗尽攻击向量。Solidity的uint256是基本整数类型（对应EVM的256位字宽），没有浮点数，金融计算靠整数和固定倍率。[1]

安全漏洞与历史教训

Solidity代码的安全漏洞后果极其严重，历史上有多次数千万甚至数亿美元的损失：

• 2016年The DAO事件：重入攻击（reentrancy）漏洞，攻击者在余额更新前反复调用提款函数，损失约6000万美元以太，最终引发以太坊硬分叉。
• 整数溢出：Solidity 0.8之前加法不检查溢出，uint8(255) + 1 == 0，需要手动用SafeMath库。0.8版本（2020年）起默认启用溢出检查。
• 访问控制漏洞：函数可见性（public/external/internal/private）设置错误，管理员函数被任何人调用。

现代Solidity开发离不开形式验证工具（Certora Prover）、审计公司（Trail of Bits、OpenZeppelin）和标准安全库。任何持有真实资产的合约上线前都应经过专业审计，这已是行业共识。