AuditFL：面向开放联邦学习的合约支撑清算层 AuditFL: A Contract-Backed Clearing Layer for Open Federated Learning

一轮的完整流程如下。(1) 上架：协调者上传初始检查点到链下存储，提交 ListingTx，输出为绑定了 modelID、初始 CID 和不可变规则（截止时间、押金、评分与聚合策略）的任务状态。(2) 注资：FundingTx 校验签名、余额与金额后向奖池转入 $R_r$。(3) 预约：客户端调用 UpdateIntentTx，锁定押金并受每账户上限约束，获得当轮票券。(4) 训练与发布：客户端本地训练，序列化更新，写入内容寻址库，UpdatePublishTx 把活跃未揭示票券绑定到更新 CID。(5) 截止与聚合：协调者从 k 深确认视图读取已揭示票券、按标识符排序、带界重试取回制品，把可用者记入退款，把形状合法且分数为正者加入 included，按 $s_j=\max(0,\Delta_j)w_j$ 评分（$\Delta_j$ 为相对上一全局模型在验证集上的提升，$w_j$ 为样本量的有界代理），链下聚合并上传新全局检查点。(6) 结算：GlobalUpdateTx 校验票券有效性、数组对齐与未决票券清算，推进轮次，按 $pay_j=R_r\, s_j^{\gamma}/\sum_{u\in I_r} s_u^{\gamma}$（$\gamma\in[1,2]$）记奖励权益。(7) 申领：ClaimTx 把权益转入余额。

与最近工作的区别可由 Table I 概括：BlockFL 只研究区块生成延迟；Biscotti 侧重隐私安全的 P2P FL；FedCoin 用 Shapley 值做支付；ChainFL 把模型存储/聚合放上链；BlockFLA 用混合链哈希押金追责后门；BlockFLow 做可问责奖励；VerifBFL 用零知识验证聚合。AuditFL 是对照表中唯一同时具备开放准入、密码学承诺、参与押金、合约结算与故障/成本测量的系统，且其审计对象是清算层而非模型质量。方法学上的新颖点还包括：把故障分层为共识层故障（延迟、审查、分叉、重排，均在共识界内）与清算层故障（非法标识符、低质更新、制品不可用、选择性遗漏），后者只影响纳入与结算而不影响区块有效性；以及给出闭式开销模型 $T_{round}=2N+2$、$T_{app}=1+R(2N+2)+N$、$P_{put}=1+R(N+1)$ 与 PoS 轮延迟近似 $L_{round}\approx(B_r+k)\Delta/p(n,\tau)$，使系统开销可先验预测、实测可对账。

第一，评分可操纵性：$s_j=\max(0,\Delta_j)w_j$ 中的提升由协调者用（可能私有的）验证集计算，除非上架时公开验证集，否则协调者可以系统性压低某些客户端的分数实现选择性歧视，而账本仍会一致地结算这些错误分数。改进方向是把验证评估做成承诺-揭示协议，或用零知识证明分数计算的执行。第二，gas 线性扩展瓶颈：每客户端每轮需要 reserve+publish 两笔链上交易，200 客户端即 829.7M gas，扩展到数千客户端时成本与状态膨胀将不可行。改进方向是用 Merkle 承诺批量提交票券状态，或把发布合并进轮级聚合承诺。第三，押金惩罚误伤：制品不可用可能由网络故障而非恶意导致，但结算一律没收押金，把存储可用性风险转嫁给诚实客户端。改进方向是引入可用性证明宽限期或由任务方注资的存储保证金。第四，Sybil 公平性：PoS 权益加权只防提议权垄断，不保证奖励公平；攻击者可拆分本地数据以塑形 $\max(0,\Delta)$ 获取更高奖励份额。改进方向是按去重后的唯一信息量评分。第五，单一制品库是可用性单点，与开放系统的目标不完全匹配。

作者提出的方向包括：在公共网络上实测延迟与成本，而非本地 Anvil；扩展到更大的 FL 工作负载以观察制品量与聚合计算的变化；实现复制式制品存储以兑现可靠性假设；接入更强或可验证的聚合机制——Krum、坐标级中位数、截尾均值等鲁棒聚合可以不改账本状态机直接插入。基于本文成果还可延伸：其一，把协调者对同一轮签名冲突的罚没（slashing）具体化为链上可执行的证据规则；其二，结合安全聚合与差分隐私，使链上可见的更新标识符无法被用于成员推断或梯度反演；其三，把确认深度 k 与轮延迟的权衡做成自适应参数——论文已给出 $L_{round}\approx(B_r+k)\Delta/p(n,\tau)$ 的近似，可据此按网络拥堵动态调 k；其四，在真实 PoS 公链上部署，实证押金额与 $\gamma$ 指数等经济参数对参与率、投毒成本与奖励集中度的影响。

复现条件较好。作者提供了匿名制品库 https://anonymous.4open.science/r/AuditFL-6BE3，包含 Solidity 合约（BCFLCoordinator，暴露 createListing、fundRound、reserveTicket、publishUpdate、finalizeRound、claim 六个接口）、实验运行器、绘图脚本与论文结果 CSV。技术栈全部开源：Anvil 本地以太坊兼容链、Python 客户端与协调者进程、OpenML 加载的完整 MNIST、本地 SHA-256 内容寻址制品库；另有确定性内存状态机后端用于快速调试与受控故障注入。算力需求低：MNIST 级模型与最多 200 客户端、12 轮在单机即可完成。复现难度中低，主要工作量在于搭建 Anvil 环境并校准 gas 计量；交易数有闭式对账清单 $T_{measured}=1+R(2N+2)+N+1$（含一次合约部署），制品数有 $1+R(N+1)$，可直接核对实现正确性。