SafeMath

本文档介绍了OpenZeppelin Contracts库中的Math模块，该模块提供了一系列与数学相关的实用工具，包括SafeMath、SignedSafeMath和Math库，用于执行安全算术运算，避免溢出和除零等错误。SafeMath库实现了无溢出的加减乘除模运算，SignedSafeMath库实现了有符号整数的安全算术运算，Math库则提供了一些标准数学实用函数，如最大值、最小值和平均值。

本文介绍了OpenZeppelin Contracts库中常用的实用工具，包括密码学（ECDSA签名验证、Merkle证明验证），合约自检（ERC165接口检测），数学运算（SafeMath安全计算），支付（PaymentSplitter、PullPayment、Escrow），集合（EnumerableSet、EnumerableMap）以及其他实用工具（Address, Counters）。

Truebit Protocol 在2026年1月8日遭受攻击，攻击者利用智能合约中的漏洞，获利约 8,535 ETH（约合 2644 万美元）。攻击原因是由于整数加法运算中缺少溢出保护，导致计算 TRU 代币所需的 ETH 数量时产生错误结果。文章详细分析了攻击过程、根本原因，并提出了安全建议。