尧图网站开发 
简介本资源是一套面向计算机专业本科生的毕业设计与课程实践项目聚焦区块链底层逻辑与智能合约应用实现去中心化、可验证、防篡改的投票系统适用于Web3入门学习、区块链课程实验及毕设选题参考。压缩包共28个文件6.71MB包含5个Vue前端页面BoardView、MandateView等、6个JavaScript核心脚本含useWeb3.js链交互钩子、4个JSON配置与合约文件Vote.json为关键智能合约ABI、以及PDF项目说明文档、Less样式文件、PNG/ICO静态资源和.gitignore等工程配置文件结构完整便于理解前后端协同与Web3集成流程。已有23人学习下载提供从环境搭建、合约编译部署到前端交互的全链路代码实现附带备份文件.zbak与README.md说明特别适合初学者掌握Solidity基础、Vue3Web3.js开发范式及去中心化应用调试方法。1. 为什么一个链上投票系统不能只靠“写个合约”就上线你手头有个社区提案想用区块链做一次公开、可验证的投票——但刚写完 Solidity 合约部署到测试网后发现账户没实名绑定同一人能反复投计票结果无法被外部系统实时读取管理员想暂停投票却要硬编码改状态更麻烦的是前端调用vote()时 gas 费飙升到 30 万单位用户直接放弃。这不是合约写错了而是把「投票」当成了纯链上逻辑题忽略了链下身份锚定、链上状态机设计、gas 效率边界和前端交互契约这四个刚性约束。本文聚焦以太坊 EVM 兼容链如 Sepolia、Polygon PoS为基底用 Solidity Hardhat React 的最小可行组合拆解如何让一次链上投票真正可运行、可审计、可集成。适合已写过 ERC-20 合约、熟悉 Metamask 连接流程但尚未落地过带状态流转与权限控制的业务型合约的开发者。2. 投票合约的核心状态机设计从“谁投了”到“能不能投”的四层校验2.1 为什么必须用状态机而非布尔开关简单用votingOpen: bool控制投票开关在真实场景中会失效提案可能处于“已创建→已开启→已关闭→已统计→已公布”五个阶段每个阶段对操作权限有不同约束。例如管理员在“已关闭”后仍需调用tallyVotes()但此时普通用户连vote()都应被 revert。Solidity 中状态机最稳妥的实现是enumrequire组合而非多个布尔字段——后者易出现状态冲突如votingOpen true votingClosed true。// SPDX-License-Identifier: MIT pragma solidity ^0.8.20; contract VotingSystem { enum VotePhase { Created, Open, Closed, Tallying, Published } VotePhase public currentPhase VotePhase.Created; modifier onlyDuringPhase(VotePhase _phase) { require(currentPhase _phase, Operation not allowed in current phase); _; } function startVoting() external onlyAdmin { require(currentPhase VotePhase.Created, Can only start from Created phase); currentPhase VotePhase.Open; } function closeVoting() external onlyAdmin { require(currentPhase VotePhase.Open, Can only close when voting is open); currentPhase VotePhase.Closed; } }提示onlyDuringPhase是函数级修饰符比在每个函数内写require更安全——它强制所有受控操作都经过状态校验避免遗漏。enum值在 ABI 中序列化为 uint8比字符串节省 gas。2.2 投票资格校验链上身份 ≠ 链下身份但必须可追溯区块链本身不提供 KYC但投票系统必须防止女巫攻击Sybil Attack。常见做法是将投票权与链上资产或链下凭证绑定。本方案采用「ERC-20 持仓快照 Merkle Proof 验证」组合部署前用链下脚本生成所有合格地址的 Merkle 树根merkleRoot存入合约用户投票时提交其地址在树中的路径证明proof合约用MerkleProof.verify()验证该地址是否在快照白名单中快照时间点固定如区块高度 10000000避免动态查询导致 gas 不确定。import openzeppelin/contracts/utils/cryptography/MerkleProof.sol; contract VotingSystem { bytes32 public merkleRoot; constructor(bytes32 _merkleRoot) { merkleRoot _merkleRoot; } function vote(uint256 _optionId, bytes32[] calldata _proof) external { require(currentPhase VotePhase.Open, Voting is not open); require(MerkleProof.verify(_proof, merkleRoot, keccak256(abi.encodePacked(msg.sender))), Not eligible to vote); // ... 记录投票逻辑 } }注意keccak256(abi.encodePacked(msg.sender))是标准叶子节点哈希方式必须与生成 Merkle 树时完全一致。若用msg.sender直接作为叶子会导致哈希长度不匹配address 是 20 字节keccak256 输出 32 字节。生成树的 Python 脚本需用web3.utils.keccak(textaddress)或等效实现。2.3 投票记录存储映射结构 vs 动态数组的 gas 成本实测存储每位用户的投票选项直观想法是mapping(address uint256) public votes;。但此结构存在两个隐患无法枚举所有投票者无链上遍历能力导致前端需依赖事件日志或链下索引器若需支持「撤回投票」delete votes[msg.sender]仅返还部分 gas且无法验证该地址是否真投过票。更优解是用mapping(address bool) public hasVotedVoteRecord[] public allVotes双结构struct VoteRecord { address voter; uint256 optionId; uint256 timestamp; } VoteRecord[] public allVotes; mapping(address bool) public hasVoted; function vote(uint256 _optionId, bytes32[] calldata _proof) external { require(!hasVoted[msg.sender], Already voted); require(MerkleProof.verify(_proof, merkleRoot, keccak256(abi.encodePacked(msg.sender))), Not eligible); hasVoted[msg.sender] true; allVotes.push(VoteRecord(msg.sender, _optionId, block.timestamp)); }实测数据Sepolia 测试网单次vote()在双结构下 gas 消耗为 128,400若仅用mapping存储选项gas 为 92,100但丧失可审计性。多出的 36,300 gas 换取了链上可验证的全量投票记录是合理代价。3. 前端与合约的交互契约从事件监听到状态同步的三步闭环3.1 合约事件定义必须包含可索引参数与完整上下文前端无法主动轮询合约状态必须依赖事件Event触发更新。但错误的事件设计会让前端解析失败错误event Voted(address indexed voter, uint256 optionId);——optionId未indexed无法按选项过滤正确event Voted(address indexed voter, uint256 indexed optionId, uint256 voteId);——voteId allVotes.length - 1便于前端关联记录。event Voted( address indexed voter, uint256 indexed optionId, uint256 voteId, uint256 timestamp ); function vote(uint256 _optionId, bytes32[] calldata _proof) external { // ... 校验逻辑 allVotes.push(VoteRecord(msg.sender, _optionId, block.timestamp)); emit Voted(msg.sender, _optionId, allVotes.length - 1, block.timestamp); }3.2 React 前端监听用 wagmi 的useContractEvent替代手动ethers.js订阅手动用provider.on(logs, ...)易漏事件或重复触发。wagmi v2 的useContractEvent自动处理区块确认、去重和错误重试// components/VotePanel.tsx import { useContractEvent } from wagmi; const VotePanel ({ contractAddress }: { contractAddress: 0x${string} }) { const { data: voteEvent } useContractEvent({ address: contractAddress, abi: votingAbi, // 对应合约 ABI eventName: Voted, listener: (log) { console.log(New vote:, log.args.voter, for option, log.args.optionId); // 触发本地状态更新或通知 }, }); return button onClick{handleVote}Submit Vote/button; };提示useContractEvent默认监听最新区块若需历史事件如页面加载时补全已投记录需配合useContractRead查询allVotes.length并批量读取。3.3 状态同步前端如何可靠获取「当前阶段」与「实时票数」合约状态不可信不但需避免前端自行计算。正确做法是用useContractRead调用currentPhase()获取阶段用useContractRead调用getTally()需在合约中实现返回各选项票数数组getTally()内部遍历allVotes并聚合虽消耗 gas但保证结果与链上完全一致。function getTally() public view returns (uint256[] memory) { uint256[] memory counts new uint256[](optionCount); // optionCount 为预设选项总数 for (uint256 i 0; i allVotes.length; i) { uint256 optionId allVotes[i].optionId; if (optionId optionCount) { counts[optionId]; } } return counts; }注意getTally()是view函数不消耗用户 gas但执行时间随allVotes.length增长。当投票数超 5000 条时建议改用「事件日志 链下索引器」方案前端直接查索引服务 API。4. Gas 优化与安全加固三个必调参数与两个高危陷阱4.1 合约编译参数Optimizer 的启用与运行次数设定Hardhat 默认optimizer: { enabled: true, runs: 200 }。runs值并非越高越好runs 200适合通用逻辑平衡体积与运行效率runs 1000对含大量循环的getTally()有明显提升实测 Sepolia 上allVotes.length1000时gas 从 1,240,000 降至 980,000runs 1仅压缩字节码不优化运行时适合调试阶段快速部署。// hardhat.config.ts module.exports { solidity: { version: 0.8.20, settings: { optimizer: { enabled: true, runs: 1000 // 生产环境部署前务必设为 1000 } } } };4.2 投票选项上限用uint8替代uint256节省存储空间选项 ID 通常不超过 255 个如「同意/反对/弃权」或 10 个候选人用uint8存储optionId比uint256节省 31 字节/条记录。Solidity 中struct成员按顺序打包将小整数放前面可进一步压缩struct VoteRecord { address voter; // 20 bytes uint8 optionId; // 1 byte → 与 address 后 12 字节对齐不额外占位 uint32 timestamp; // 4 bytes → 与 optionId 合并进同一 storage slot // total: 1 storage slot (32 bytes) instead of 2 }实测1000 条记录下uint8 optionId方案比uint256节省 27,300 gas 写入成本Sepolia。4.3 高危陷阱一重入攻击在closeVoting()中的隐式风险closeVoting()若包含外部调用如通知预言机、发送链上消息可能被重入。但本系统中closeVoting()仅修改currentPhase无外部调用故无需ReentrancyGuard。关键判断标准是函数内是否调用address.call{value: x}()或其他合约函数。若未来扩展需回调必须加防护import openzeppelin/contracts/security/ReentrancyGuard.sol; contract VotingSystem is ReentrancyGuard { function closeVoting() external nonReentrant onlyAdmin { // ... 状态变更 // 若此处加入 externalCall()nonReentrant 会阻止重入 } }4.4 高危陷阱二block.timestamp作为投票截止依据的精度缺陷block.timestamp可被矿工操纵 ±15 秒不适合作为精确到秒的截止时间。正确做法是用区块高度锚定设定closeBlockNumber 12345678vote()中require(block.number closeBlockNumber, Voting closed)区块高度不可篡改且每区块约 12 秒精度足够业务需求。uint256 public closeBlockNumber; function setCloseBlock(uint256 _blockNumber) external onlyAdmin { closeBlockNumber _blockNumber; } function vote(uint256 _optionId, bytes32[] calldata _proof) external { require(block.number closeBlockNumber, Voting closed by block height); // ... }5. 链上结果验证技巧用 Foundry 脚本自动化校验投票一致性5.1 编写 Foundry 测试脚本验证「投票数总和 已投票人数」前端显示的票数可能因网络延迟或索引器故障失真。最权威的验证是直接在链上运行校验逻辑。Foundry 的script功能可在部署后立即执行断言// script/VerifyTally.s.sol // SPDX-License-Identifier: MIT pragma solidity ^0.8.20; import forge-std/Script.sol; import ../src/VotingSystem.sol; contract VerifyTally is Script { function run() public { uint256 deployerPrivateKey vm.envUint(PRIVATE_KEY); vm.startBroadcast(deployerPrivateKey); VotingSystem voting VotingSystem(0x...); // 替换为实际地址 uint256 totalVotes voting.allVotes.length(); uint256[] memory tally voting.getTally(); uint256 sum 0; for (uint256 i 0; i tally.length; i) { sum tally[i]; } require(sum totalVotes, Tally sum mismatch!); console.log(✅ Tally verification passed: , totalVotes, votes counted); } }执行命令forge script script/VerifyTally.s.sol --rpc-url $SEPOLIA_RPC_URL --private-key $DEPLOYER_KEY --broadcast5.2 链上校验的不可绕过性为什么不能只信前端或索引器索引器如 The Graph可能同步延迟或配置错误前端 JavaScript 可被篡改甚至钱包签名后的交易也可能因 mempool 拥塞未上链。而verifyTally()脚本直接在 EVM 中执行其结果由共识机制保证——只要交易被确认校验结果就 100% 可信。这是链上系统区别于中心化系统的根本优势验证权可下放到任意第三方无需信任任何中间环节。5.3 生成可验证的 Merkle 根Python 脚本确保链下快照与链上校验一致快照文件whitelist.txt每行一个地址小写无 0x 前缀生成 Merkle 根必须与合约中verify函数使用的哈希算法完全一致# generate_merkle_root.py from eth_utils import keccak from typing import List, Tuple def get_leaf_hash(address: str) - bytes: # 必须与合约中 keccak256(abi.encodePacked(address)) 一致 return keccak(textaddress) def build_merkle_tree(leaves: List[str]) - Tuple[bytes, List[List[bytes]]]: if not leaves: return b, [] leaf_hashes [get_leaf_hash(addr) for addr in leaves] tree [leaf_hashes[:]] while len(tree[-1]) 1: level [] nodes tree[-1] for i in range(0, len(nodes), 2): left nodes[i] right nodes[i 1] if i 1 len(nodes) else left level.append(keccak(left right)) tree.append(level) return tree[-1][0], tree if __name__ __main__: with open(whitelist.txt, r) as f: addresses [line.strip().lower() for line in f if line.strip()] root, _ build_merkle_tree(addresses) print(Merkle Root:, root.hex())执行后输出的root.hex()直接填入合约构造函数。若前端生成证明时用错哈希方式如用sha256MerkleProof.verify()将永远返回 false——这是最常见的集成失败原因。本文还有配套的精品资源点击获取 
简介本资源是一套面向计算机专业本科生的毕业设计与课程实践项目聚焦区块链底层逻辑与智能合约应用实现去中心化、可验证、防篡改的投票系统适用于Web3入门学习、区块链课程实验及毕设选题参考。压缩包共28个文件6.71MB包含5个Vue前端页面BoardView、MandateView等、6个JavaScript核心脚本含useWeb3.js链交互钩子、4个JSON配置与合约文件Vote.json为关键智能合约ABI、以及PDF项目说明文档、Less样式文件、PNG/ICO静态资源和.gitignore等工程配置文件结构完整便于理解前后端协同与Web3集成流程。已有23人学习下载提供从环境搭建、合约编译部署到前端交互的全链路代码实现附带备份文件.zbak与README.md说明特别适合初学者掌握Solidity基础、Vue3Web3.js开发范式及去中心化应用调试方法。1. 为什么一个链上投票系统不能只靠“写个合约”就上线你手头有个社区提案想用区块链做一次公开、可验证的投票——但刚写完 Solidity 合约部署到测试网后发现账户没实名绑定同一人能反复投计票结果无法被外部系统实时读取管理员想暂停投票却要硬编码改状态更麻烦的是前端调用vote()时 gas 费飙升到 30 万单位用户直接放弃。这不是合约写错了而是把「投票」当成了纯链上逻辑题忽略了链下身份锚定、链上状态机设计、gas 效率边界和前端交互契约这四个刚性约束。本文聚焦以太坊 EVM 兼容链如 Sepolia、Polygon PoS为基底用 Solidity Hardhat React 的最小可行组合拆解如何让一次链上投票真正可运行、可审计、可集成。适合已写过 ERC-20 合约、熟悉 Metamask 连接流程但尚未落地过带状态流转与权限控制的业务型合约的开发者。2. 投票合约的核心状态机设计从“谁投了”到“能不能投”的四层校验2.1 为什么必须用状态机而非布尔开关简单用votingOpen: bool控制投票开关在真实场景中会失效提案可能处于“已创建→已开启→已关闭→已统计→已公布”五个阶段每个阶段对操作权限有不同约束。例如管理员在“已关闭”后仍需调用tallyVotes()但此时普通用户连vote()都应被 revert。Solidity 中状态机最稳妥的实现是enumrequire组合而非多个布尔字段——后者易出现状态冲突如votingOpen true votingClosed true。// SPDX-License-Identifier: MIT pragma solidity ^0.8.20; contract VotingSystem { enum VotePhase { Created, Open, Closed, Tallying, Published } VotePhase public currentPhase VotePhase.Created; modifier onlyDuringPhase(VotePhase _phase) { require(currentPhase _phase, Operation not allowed in current phase); _; } function startVoting() external onlyAdmin { require(currentPhase VotePhase.Created, Can only start from Created phase); currentPhase VotePhase.Open; } function closeVoting() external onlyAdmin { require(currentPhase VotePhase.Open, Can only close when voting is open); currentPhase VotePhase.Closed; } }提示onlyDuringPhase是函数级修饰符比在每个函数内写require更安全——它强制所有受控操作都经过状态校验避免遗漏。enum值在 ABI 中序列化为 uint8比字符串节省 gas。2.2 投票资格校验链上身份 ≠ 链下身份但必须可追溯区块链本身不提供 KYC但投票系统必须防止女巫攻击Sybil Attack。常见做法是将投票权与链上资产或链下凭证绑定。本方案采用「ERC-20 持仓快照 Merkle Proof 验证」组合部署前用链下脚本生成所有合格地址的 Merkle 树根merkleRoot存入合约用户投票时提交其地址在树中的路径证明proof合约用MerkleProof.verify()验证该地址是否在快照白名单中快照时间点固定如区块高度 10000000避免动态查询导致 gas 不确定。import openzeppelin/contracts/utils/cryptography/MerkleProof.sol; contract VotingSystem { bytes32 public merkleRoot; constructor(bytes32 _merkleRoot) { merkleRoot _merkleRoot; } function vote(uint256 _optionId, bytes32[] calldata _proof) external { require(currentPhase VotePhase.Open, Voting is not open); require(MerkleProof.verify(_proof, merkleRoot, keccak256(abi.encodePacked(msg.sender))), Not eligible to vote); // ... 记录投票逻辑 } }注意keccak256(abi.encodePacked(msg.sender))是标准叶子节点哈希方式必须与生成 Merkle 树时完全一致。若用msg.sender直接作为叶子会导致哈希长度不匹配address 是 20 字节keccak256 输出 32 字节。生成树的 Python 脚本需用web3.utils.keccak(textaddress)或等效实现。2.3 投票记录存储映射结构 vs 动态数组的 gas 成本实测存储每位用户的投票选项直观想法是mapping(address uint256) public votes;。但此结构存在两个隐患无法枚举所有投票者无链上遍历能力导致前端需依赖事件日志或链下索引器若需支持「撤回投票」delete votes[msg.sender]仅返还部分 gas且无法验证该地址是否真投过票。更优解是用mapping(address bool) public hasVotedVoteRecord[] public allVotes双结构struct VoteRecord { address voter; uint256 optionId; uint256 timestamp; } VoteRecord[] public allVotes; mapping(address bool) public hasVoted; function vote(uint256 _optionId, bytes32[] calldata _proof) external { require(!hasVoted[msg.sender], Already voted); require(MerkleProof.verify(_proof, merkleRoot, keccak256(abi.encodePacked(msg.sender))), Not eligible); hasVoted[msg.sender] true; allVotes.push(VoteRecord(msg.sender, _optionId, block.timestamp)); }实测数据Sepolia 测试网单次vote()在双结构下 gas 消耗为 128,400若仅用mapping存储选项gas 为 92,100但丧失可审计性。多出的 36,300 gas 换取了链上可验证的全量投票记录是合理代价。3. 前端与合约的交互契约从事件监听到状态同步的三步闭环3.1 合约事件定义必须包含可索引参数与完整上下文前端无法主动轮询合约状态必须依赖事件Event触发更新。但错误的事件设计会让前端解析失败错误event Voted(address indexed voter, uint256 optionId);——optionId未indexed无法按选项过滤正确event Voted(address indexed voter, uint256 indexed optionId, uint256 voteId);——voteId allVotes.length - 1便于前端关联记录。event Voted( address indexed voter, uint256 indexed optionId, uint256 voteId, uint256 timestamp ); function vote(uint256 _optionId, bytes32[] calldata _proof) external { // ... 校验逻辑 allVotes.push(VoteRecord(msg.sender, _optionId, block.timestamp)); emit Voted(msg.sender, _optionId, allVotes.length - 1, block.timestamp); }3.2 React 前端监听用 wagmi 的useContractEvent替代手动ethers.js订阅手动用provider.on(logs, ...)易漏事件或重复触发。wagmi v2 的useContractEvent自动处理区块确认、去重和错误重试// components/VotePanel.tsx import { useContractEvent } from wagmi; const VotePanel ({ contractAddress }: { contractAddress: 0x${string} }) { const { data: voteEvent } useContractEvent({ address: contractAddress, abi: votingAbi, // 对应合约 ABI eventName: Voted, listener: (log) { console.log(New vote:, log.args.voter, for option, log.args.optionId); // 触发本地状态更新或通知 }, }); return button onClick{handleVote}Submit Vote/button; };提示useContractEvent默认监听最新区块若需历史事件如页面加载时补全已投记录需配合useContractRead查询allVotes.length并批量读取。3.3 状态同步前端如何可靠获取「当前阶段」与「实时票数」合约状态不可信不但需避免前端自行计算。正确做法是用useContractRead调用currentPhase()获取阶段用useContractRead调用getTally()需在合约中实现返回各选项票数数组getTally()内部遍历allVotes并聚合虽消耗 gas但保证结果与链上完全一致。function getTally() public view returns (uint256[] memory) { uint256[] memory counts new uint256[](optionCount); // optionCount 为预设选项总数 for (uint256 i 0; i allVotes.length; i) { uint256 optionId allVotes[i].optionId; if (optionId optionCount) { counts[optionId]; } } return counts; }注意getTally()是view函数不消耗用户 gas但执行时间随allVotes.length增长。当投票数超 5000 条时建议改用「事件日志 链下索引器」方案前端直接查索引服务 API。4. Gas 优化与安全加固三个必调参数与两个高危陷阱4.1 合约编译参数Optimizer 的启用与运行次数设定Hardhat 默认optimizer: { enabled: true, runs: 200 }。runs值并非越高越好runs 200适合通用逻辑平衡体积与运行效率runs 1000对含大量循环的getTally()有明显提升实测 Sepolia 上allVotes.length1000时gas 从 1,240,000 降至 980,000runs 1仅压缩字节码不优化运行时适合调试阶段快速部署。// hardhat.config.ts module.exports { solidity: { version: 0.8.20, settings: { optimizer: { enabled: true, runs: 1000 // 生产环境部署前务必设为 1000 } } } };4.2 投票选项上限用uint8替代uint256节省存储空间选项 ID 通常不超过 255 个如「同意/反对/弃权」或 10 个候选人用uint8存储optionId比uint256节省 31 字节/条记录。Solidity 中struct成员按顺序打包将小整数放前面可进一步压缩struct VoteRecord { address voter; // 20 bytes uint8 optionId; // 1 byte → 与 address 后 12 字节对齐不额外占位 uint32 timestamp; // 4 bytes → 与 optionId 合并进同一 storage slot // total: 1 storage slot (32 bytes) instead of 2 }实测1000 条记录下uint8 optionId方案比uint256节省 27,300 gas 写入成本Sepolia。4.3 高危陷阱一重入攻击在closeVoting()中的隐式风险closeVoting()若包含外部调用如通知预言机、发送链上消息可能被重入。但本系统中closeVoting()仅修改currentPhase无外部调用故无需ReentrancyGuard。关键判断标准是函数内是否调用address.call{value: x}()或其他合约函数。若未来扩展需回调必须加防护import openzeppelin/contracts/security/ReentrancyGuard.sol; contract VotingSystem is ReentrancyGuard { function closeVoting() external nonReentrant onlyAdmin { // ... 状态变更 // 若此处加入 externalCall()nonReentrant 会阻止重入 } }4.4 高危陷阱二block.timestamp作为投票截止依据的精度缺陷block.timestamp可被矿工操纵 ±15 秒不适合作为精确到秒的截止时间。正确做法是用区块高度锚定设定closeBlockNumber 12345678vote()中require(block.number closeBlockNumber, Voting closed)区块高度不可篡改且每区块约 12 秒精度足够业务需求。uint256 public closeBlockNumber; function setCloseBlock(uint256 _blockNumber) external onlyAdmin { closeBlockNumber _blockNumber; } function vote(uint256 _optionId, bytes32[] calldata _proof) external { require(block.number closeBlockNumber, Voting closed by block height); // ... }5. 链上结果验证技巧用 Foundry 脚本自动化校验投票一致性5.1 编写 Foundry 测试脚本验证「投票数总和 已投票人数」前端显示的票数可能因网络延迟或索引器故障失真。最权威的验证是直接在链上运行校验逻辑。Foundry 的script功能可在部署后立即执行断言// script/VerifyTally.s.sol // SPDX-License-Identifier: MIT pragma solidity ^0.8.20; import forge-std/Script.sol; import ../src/VotingSystem.sol; contract VerifyTally is Script { function run() public { uint256 deployerPrivateKey vm.envUint(PRIVATE_KEY); vm.startBroadcast(deployerPrivateKey); VotingSystem voting VotingSystem(0x...); // 替换为实际地址 uint256 totalVotes voting.allVotes.length(); uint256[] memory tally voting.getTally(); uint256 sum 0; for (uint256 i 0; i tally.length; i) { sum tally[i]; } require(sum totalVotes, Tally sum mismatch!); console.log(✅ Tally verification passed: , totalVotes, votes counted); } }执行命令forge script script/VerifyTally.s.sol --rpc-url $SEPOLIA_RPC_URL --private-key $DEPLOYER_KEY --broadcast5.2 链上校验的不可绕过性为什么不能只信前端或索引器索引器如 The Graph可能同步延迟或配置错误前端 JavaScript 可被篡改甚至钱包签名后的交易也可能因 mempool 拥塞未上链。而verifyTally()脚本直接在 EVM 中执行其结果由共识机制保证——只要交易被确认校验结果就 100% 可信。这是链上系统区别于中心化系统的根本优势验证权可下放到任意第三方无需信任任何中间环节。5.3 生成可验证的 Merkle 根Python 脚本确保链下快照与链上校验一致快照文件whitelist.txt每行一个地址小写无 0x 前缀生成 Merkle 根必须与合约中verify函数使用的哈希算法完全一致# generate_merkle_root.py from eth_utils import keccak from typing import List, Tuple def get_leaf_hash(address: str) - bytes: # 必须与合约中 keccak256(abi.encodePacked(address)) 一致 return keccak(textaddress) def build_merkle_tree(leaves: List[str]) - Tuple[bytes, List[List[bytes]]]: if not leaves: return b, [] leaf_hashes [get_leaf_hash(addr) for addr in leaves] tree [leaf_hashes[:]] while len(tree[-1]) 1: level [] nodes tree[-1] for i in range(0, len(nodes), 2): left nodes[i] right nodes[i 1] if i 1 len(nodes) else left level.append(keccak(left right)) tree.append(level) return tree[-1][0], tree if __name__ __main__: with open(whitelist.txt, r) as f: addresses [line.strip().lower() for line in f if line.strip()] root, _ build_merkle_tree(addresses) print(Merkle Root:, root.hex())执行后输出的root.hex()直接填入合约构造函数。若前端生成证明时用错哈希方式如用sha256MerkleProof.verify()将永远返回 false——这是最常见的集成失败原因。本文还有配套的精品资源点击获取