用途：这是一份 VeChain 智能合约安全检查清单，适用于安全审计、漏洞复查、重入与访问控制等主题的代码审查场景。核心原则是假设攻击者能控制每个函数参数、交易排序（抢跑、三明治攻击）、外部合约调用（重入、可组合性攻击）以及交易之间的合约状态。
主要能力：按漏洞类别给出风险、攻击方式与防护示例，包括重入（推荐 OpenZeppelin ReentrancyGuard 的 nonReentrant，或 Checks-Effects-Interactions 模式）、访问控制（Ownable、AccessControl 角色，禁止用 tx.origin 授权）、整数溢出与下转型（Solidity 0.8+ 默认检查，unchecked 需证明安全，SafeCast 安全下转）、抢跑与 MEV（commit-reveal、滑点保护）、代理与未初始化存储（initializer、_disableInitializers、升级时保持存储布局）、DoS（拉取模式、分批处理）、预言机操纵（TWAP、多源、价格边界）、不安全外部调用（检查返回值、用 call 替代 transfer、SafeERC20）、签名重放（nonce、chain ID、合约地址、DOMAIN_SEPARATOR）。
使用方式：作为审查清单逐项核对输入验证、访问控制、重入、算术、外部交互、可升级合约，以及客户端侧（网络识别、gas 估算、确认轮询、地址校验、费用委托失败回退、不暴露私钥）。VeChain 特有注意事项包括双代币模型（VET/VTHO）、多子句原子性、费用委托授权、约 10 秒出块时间、EVM 目标版本 paris、内置创世合约接口。
限制：资料未提供具体安装命令、收费或平台信息；示例代码需结合项目实际与最新依赖版本验证，不能替代正式审计。