《Journal of Cybersecurity and Privacy》：AdaptVote: FPGA-Accelerated Blockchain E-Voting with Age-Invariant Biometric Authentication and Adaptive Cryptography
编辑推荐：
基于区块链的电子投票尚未惠及最需要它的选举环境。现有系统面向网络连接良好、电网供电的城市环境设计，恰恰在数字投票最可能扩大参与度的场景中失效；这一缺口推动研究人员构建一个从零开始为低基础设施条件设计的框架，而非对现有系统进行适应性改造。在非洲大部分地区，存在四
基于区块链的电子投票尚未惠及最需要它的选举环境。现有系统面向网络连接良好、电网供电的城市环境设计，恰恰在数字投票最可能扩大参与度的场景中失效；这一缺口推动研究人员构建一个从零开始为低基础设施条件设计的框架，而非对现有系统进行适应性改造。在非洲大部分地区，存在四个部署障碍：间歇性网络连接使约43%的人口无法使用任何需要持续连线的系统；有效期长达十年的身份证件会使传统人脸识别精度从99%降至80%以下；200–250 W的功耗需求排除了电池供电运行的可能性；以及密码学设计锁定单一算法、不考虑运行环境。本文提出AdaptVote，这是一个五层框架，其前提是必须联合消除这些障碍，而非孤立地逐一解决。该框架核心是AI-FOLM算法，将INT8量化ArcFace嵌入锚定到年龄稳定的颅面比例上，在Xilinx Zynq-7020 FPGA上运行，在6–10年年龄间隔下达到96.7%的真正接受率（True Accept Rate, TAR）、0.1%的误接受率（False Accept Rate, FAR）——比现有最优技术高出2.2个百分点。基于nullifier的协议允许选票完全离线投出，并具备Merkle树完整性；自适应ECDSA/EdDSA/BLS层将以太坊结算成本降低60–86%；整个投票站峰值功耗为4.2 W，12小时会话耗电28 Wh，较GPU基线降低99.3%。在摩洛哥纳多尔穆罕默德第一大学开展的12小时实地部署中，300名选民在35%网络可用性条件下记录了95.7%的首次尝试认证成功率（95% CI: 92.7–97.5%）、99.2%的系统正常运行时间，以及相较纸质选票平均投票时间降低53.3%的结果。这些结果共同表明，可信电子投票可以被工程化用于低基础设施选举环境，而不仅仅是适应性改造。
该研究针对区块链电子投票在低基础设施环境（特别是非洲）中难以部署的四个关键障碍，提出并验证了AdaptVote框架。研究人员在《Journal of Cybersecurity and Privacy》上发表的研究表明，通过硬件-算法协同设计、离线优先协议和自适应密码学，可以同时解决年龄不变生物特征认证、离线运行、低功耗和密码算法适配问题。AdaptVote在摩洛哥纳多尔穆罕默德第一大学的实地部署中实现了95.7%的首次认证成功率、99.2%的系统正常运行时间和53.3%的投票时间缩减，验证了其在35%网络可用性下的可行性。意义在于首次证明可信电子投票可以从底层为低基础设施环境而设计，而非简单适应现有条件，为资源受限民主国家的数字选举提供了可部署的技术路径。
研究人员开展本研究采用的主要关键技术方法包括：① 提出AI-FOLM混合年龄不变识别算法，将年龄稳定的颅面几何比例（15维）与深度ArcFace嵌入（512维）进行分数级融合，融合权重在独立验证集上通过网格搜索确定；② 将完整人脸识别流水线映射到Xilinx Zynq-7020 FPGA（现场可编程门阵列），采用INT8量化卷积神经网络（CNN）推理、脉动阵列加速和动态电压-频率调节（DVFS），实现4.2 W峰值功耗；③ 设计离线投票协议，结合nullifier防双投、Merkle树完整性验证、Groth16零知识证明（ZK-SNARK）以及自适应ECDSA/EdDSA/BLS多签名机制，实现完全离线投票和低成本链上结算；④ 通过MORPH II、AgeDB-30及自建的Custom-Africa数据集（包含250名摩洛哥穆罕默德第一大学志愿者，年龄18–65岁，52%女性，48%男性）进行算法评估，并使用Keysight N6705C直流分析仪直接测量系统功耗，最终在12小时实地部署中验证端到端性能。
### 7.1 年龄不变生物特征性能（RQ1）
在MORPH II数据集（6–10年年龄间隔，1000对测试样本，FAR校准至0.1%）上，AI-FOLM达到96.7% TAR@0.1%FAR，比当前最优的LAE框架高2.2个百分点（相对提升5.5%，McNemar检验：χ2 = 14.3, p < 0.001），比商业基线DemocracyGuard高19.9个百分点。消融研究表明，仅几何特征达到84.2%，仅深度CNN达到93.8%，而融合权重α = 0.30时达到最优96.7%，证明几何分支提供了真正的年龄不变互补性。权重敏感性分析显示，α在0.20–0.40区间内TAR变化小于1个百分点，表明选择α = 0.30并非过拟合产物。交叉数据集泛化测试中，AI-FOLM在AgeDB-30（最大年龄跨度30年）上达到93.4% TAR@0.1%FAR，在Custom-Africa实地模拟条件下达到95.1%。
### 7.2 系统性能与能源效率（RQ2）
在本地Raft链上，AdaptVote达到250 TPS（95% CI: [243, 257]），远超1000选民12小时会话所需的0.023票/秒。端到端延迟中位数为0.85秒，由生物特征认证85 ms、ZK-SNARK证明45 ms、投票加密12 ms、Raft共识500 ms和收据生成200 ms构成。每张选票活跃处理能量为3.6 J，较GPU基线（>168 J）降低98%。完整会话摊销能量在1000选民时为101 J/票，250选民时为403 J/票。
### 7.3 密码性能（RQ3）
EdDSA硬件加速签名耗时0.08 ms，较软件ECDSA（0.80 ms）快10倍，离线投票时每秒可处理12,500个签名。BLS签名聚合在50票批次时将以太坊gas成本从1,050,000降至210,000，降低80%，按当前以太坊价格（$2500/ETH，20 Gwei）每批次节省约42美元。对比单一算法基线，混合方案在离线吞吐量和链上gas效率的综合指标上优于所有单算法配置。
### 7.4 实地部署结果（RQ4）
300名选民中287人在首次尝试时通过认证，首次尝试成功率为95.7%（Wilson 95% CI: [92.7%, 97.5%]），13名失败者均通过身份证件手动验证（中位额外时间3.2分钟）。系统正常运行时间为99.2%（12小时内停机6分钟），全部287张选票均以有效密码学证明纳入Merkle验证的最终计票。平均端到端投票时间为2.1分钟（SD = 0.8），较纸质选票对照组的4.5分钟（SD = 1.7）绝对减少2.4分钟（Welch 95% CI: [2.2, 2.6]），相对减少53.3%（delta法95% CI: [48.9%, 57.7%]），Mann–Whitney U检验p < 0.001，Cohen's d = 1.8。在网络仅35%可用的情况下，所有287张选票在三个同步窗口（总时长132秒）内完成同步，零冲突、零双投错误。电池总消耗27.6 Wh，平均功率2.30 W，与理论预测2.34 W的误差为1.7%。
讨论部分指出，融合策略优于单一模态的原因在于几何特征提供了稳定的骨架，锚定了深度嵌入在长时间间隔下的漂移。功耗从210 W降至4.2 W代表了质的转变，使电池或太阳能供电成为可能。连接性应被视为“结算机会”而非“运行前提”。自适应密码学的经济效应显著，全国范围十年期可累计节省约220万美元。局限性包括：Zynq-7020开发板约500美元的单站硬件成本；3.3%–4.3%的残余误拒率需要通过多模态融合（人脸+指纹）降低至1%以下；Merkle收据可能被胁迫者利用，需通过可再随机化加密解决；ECDSA/EdDSA面临量子威胁，计划2028年前迁移至格基方案（Dilithium/Falcon）；全国规模部署还需解决LSH参数调优、同步拥塞和阈值密钥分发等问题。此外，测试平台与真实全国选举在验证者地理分布、硬件均匀性、网络条件和到达率波动方面存在差距，研究人员保守估计全国规模下端到端延迟增加15–25%，同步吞吐量降低10–20%。
研究结论部分翻译如下：本文提出了AdaptVote，一个面向资源受限非洲选举环境的区块链电子投票框架，其特点是间歇性网络连接、有限电力供应和长期有效的身份证件。系统整合了五项相互增强的贡献，共同消除了此前阻碍安全数字民主在非洲大陆采用的多重障碍。AI-FOLM算法在6–10年年龄间隔上达到96.7% TAR@0.1%FAR（MORPH II；较最优LAE框架提高2.2个百分点；McNemar p < 0.001），并在纳多尔实地部署中实现95.7%的首次尝试认证成功率。FPGA加速实现4.2 W峰值功耗（较GPU降低98%）和12小时会话28 Wh能耗（会话能量降低99.3%），使标准40 Wh电池组可提供17.1小时续航。离线投票协议在35%网络可用性下正常运行，132秒内同步287张选票，无错误或nullifier冲突。BLS签名聚合根据批次大小将以太坊gas成本降低60–86%，ZK-SNARK全程保护选民匿名。未来的工作包括多模态生物特征融合以实现FRR < 1%、通过可再随机化加密实现胁迫抵抗、迁移至格基后量子密码原语、Layer-2 ZK-Rollup集成、6G非地面网络适应，以及在Universal Composability模型下对完整混合系统进行形式化安全证明。
