#论文/研究

作者在arXiv预印本中提出一种针对KGW水印的预算内逃逸构造，用独立模型给出的替选短语改写，在不使用水印密钥、检测器反馈或查询被水印模型的情况下移除计分token对。在受控短文测试中，82个最初被检出的合格文本有39个改写后检测Z<4并通过盲评，平均token编辑成本16.0%，预算上限20%；95篇历史文本研究估计初始Z0相关性0.793，但未证明优于更简单的选择和普通受限改写。预印本未经同行评审，仅基于作者摘要。

Coelho 发布预印本，用巴西选举法院分区记录逐分钟重建2026年总统决选公共计票，并与 Kalshi 与 Polymarket 全部成交对比。作者称其当晚实时预测从19:15起给最终胜者 Lula 0.998 概率，当时仅 1.6% 分区计票；市场在 20:24 计票达 46% 时才到 0.9。按这些预测估值，计票恢复后 taker 买入 Lula 每张 Kalshi 合约扣费后预期利润为4至18美分，按州级外推估值则为零。计票暂停两小时期间市场给 Lula 0.25 至 0.44，低于作者事后据当时公开分区算出的所有读数。首轮之夜市场则快于其预测。材料为作者摘要，未读全文，未经同行评审。

作者提出一种混合协议，扩展 FastPay 这类基于证书的支付系统以支持多账户共用的余额。个人账户保持原客户端驱动路径；共享资源带自身版本号和授权账户集合，交易经 ECHO、READY 两阶段广播认证，无争用时无需共识；投票分裂时验证者冻结受影响版本并用一次共识实例解决，失败交易归还发送方 nonce。作者证明该设置下任何解锁规则在证书形成对验证者不可见时都不安全，并证明协议的一致性、不透支、有效性与活性。材料为作者摘要，未经同行评审。

研究者提出基于 Proof-of-Reserves（PoR）披露的中心化交易所地址分类框架，使用来自 15 家 CEX 和五类 Non-CEX 的 3,033,857 个以太坊地址，提取 58 个链上行为特征。在 30 至 730 天五个回看窗口的 leave-one-exchange-out 协议下，LightGBM 的宏 PR-AUC 从 0.6611 提升至 0.9594（使用筛选出的 17 个特征），730 天窗口下 logistic regression 为 0.7697。SHAP 分析与特征组消融显示 gas 行为、ERC-20 代币活动和内部交易是关键预测信号。该研究为预印本，作者同时发布了特征数据集供后续研究复现。

Balla 与 Lalis 在 arXiv 预印本中提出 AuditFL，一种面向开放环境的合约化联邦学习结算层，训练与聚合保持在链下，链上仅记录内容标识和经济状态。客户端以押金预留更新凭证、发布更新标识并领取退款或奖励，协调者发布全局检查点并按确定性规则结算，使聚合器的链上决策可归因、可回放和可审计。作者在本地 Ethereum 兼容 Anvil 链上以 Solidity 合约实现原型，在 MNIST、Dirichlet 非 IID 划分、12 轮、最多 200 客户端的设置下保持 Plain FL 学习轨迹；200 客户端时合约执行 5,026 笔交易，链下存储 2,413 个产物共 144.9 MiB，消耗 829.7M EVM gas。压力测试显示受控掉线、无效更新和产物缺失会使纳入量近似线性下降，但各轮仍可结算，最终准确率变化在零点几个百分点内。

Benjamin Marsh、Alejandro Ranchal-Pedrosa 与 Max Resnick 在 IACR ePrint 发布系统化知识论文，梳理多并发提议者（MCP）区块链从交易接收、提案形成、共识、数据恢复、排序到最终性的通用架构。作者将直接 MCP 协议分为固定提案向量、被选提案集合、持久提案流和因果提案 DAG 四类，并与多方约束单方组装区块的模式对比。基于 39 种配置的分析指出，增加提议者数量不保证交易被收录，隐藏提案也不能决定谁最后反应，并行传播未必提升有效执行，并给出实现可靠交易服务所需的恢复、支付与组织假设。论文为预印本，仅依据作者摘要整理。

一篇 IACR ePrint 预印本（2026-10-29 更新，未经同行评审）提出广义自适应 clinching 拍卖框架，作者证明当竞拍者合并申报预算不超过其可执行的真实预算时，将其预算拆分为任意有限个虚假身份并申报任意价值都无法获益，即满足 Sybil 鲁棒激励相容。作者还设计了支持双边市场、允许供给函数依赖拍卖状态的 AMM 自适应 clinching 机制，证明其同时满足 Sybil 鲁棒激励相容与放宽的 Pareto 最优，并论证在已知及本文新证的不可能性结果下这些保证已基本最优。

一篇预印本提出一种面向许可链与公链互操作的协调架构，将跨域信任管理与隐私执行同底层区块链协议解耦，无需修改协议本身。该框架结合密码学不可关联机制与激励相容的中继选择，以质押权重参与和时间累积声誉对齐经济承诺与持续正确性；作者形式化了对抗模型并推导安全与隐私属性，基于模拟的分析显示，在参数调校得当时，隐私保护协调可在不牺牲响应性与激励稳定性的前提下实现。当前材料仅含作者摘要与元数据，未读取论文全文，结果未经同行评审。

研究者发布 FABench，一个面向预测代理的可扩展回测基准。自动流水线可为任意历史预测日期发现事件、生成问题并结算结果，首发版本包含九个领域的 287 道题；代理可在离线档案加经筛查的实时网络搜索的档案环境中自由检索。作者评估基于八个近期模型构建的代理，称检索在所有设置下均改善全部八个代理的 Brier 分数，领先代理在 54 道与 Polymarket 关联的题目上达到市场共识水平，前三名略高于共识。论文为 arXiv 预印本，代码、数据和档案环境已开源。

一篇 arXiv 预印本提出 DICE，一种面向 Web3 的区块链联邦学习（BCFL）算法，用于在自利且互不信任的参与者间定制大型预训练模型。作者称其通过动态渐进学习与模型切片验证让无法部署完整模型的诚实参与者也能参与，并以树结构委员会共识协议和效率导向的激励方案扩展至更多数据持有者；理论分析与视觉、语言模型实验显示其效率、有效性和安全，但该结果为预印本，尚未经同行评审。

作者对Uniswap v4和PancakeSwap Infinity上Hook生态的未披露结算扣费进行大规模实证研究，覆盖截至2026年8月1日以太坊和BSC上的7,873个Hook部署、50,011个池和2.96亿条池事件。作者通过字节码分析重建Hook如何改变交易者支付与收款，将扣费与交换资产及标准费用分离。结果显示直接结算调整是主流Hook能力，71.37%的注册Hook支持；24.30%的Hook可施加未披露扣费，且这类扣费出现在涉及此类Hook的59.23%的已核算兑换中；在有代币价格数据的Hook上，此类扣费累计产生约397万美元收入。作者据此指出标准费率展示与实际交易成本之间存在差距，呼吁在标准费用旁明确披露Hook扣费。研究为预印本，尚未经过同行评审。

四位作者在 arXiv 发布预印本研究，衡量 AI 智能合约合成中需求意图在何处丢失。方法是基于执行回放，将 AI 生成的合约与原合约跑相同交易并比对结果；作者称常见 AI 评审与标准分析工具会漏掉明显错误，仅检查共有函数会掩盖约一半流水线差异。其提出的 elicitation-first 架构在写码前先向客户提出简短问题清单，并用独立编写的可执行答案键校验，跨三个模型显示提问优先远胜事后审查或修补，自动安全修复常破坏请求行为。作者开源工具、600 个任务及全部结果。

一篇尚未经过同行评审的 arXiv 预印本提出 UniPCH 框架，用两层结构将原生通道执行与隐私跨链支付逻辑分离：下层 UniPC 定义通用状态转换与安全要求，并为 UTXO 账本和支持智能合约的账户账本提供实现；上层提出选择性重签盲条件签名（S-RBCS）以协调各通道中心间的条件授权。作者分析给出本地 UniPC 安全性、抗 griefing、经济原子性与会话不可关联性，并用 Go 原型在不同网络条件与参数下评估各阶段运行时间和带宽，称通用接口带来的计算开销不大、多数配置在网络延迟下快于可比方案。当前材料仅含作者摘要与元数据，未读取论文全文，结果未核验。

作者在预印本中提出 Isotaxis，称其是首个在异步设置下实现 ordering linearizability 的状态机复制协议，通信复杂度为 O(nℓ+λn²)，在 ℓ≥λ n 时达到最优，而此前工作为三次方复杂度。作者称已在最多 100 个 EC2 c6a.2xlarge 实例上实现并测试，4 至 100 节点各规模下均优于 Pompē。该材料为预印本，尚未经同行评审。

一篇 arXiv 预印本（未经过同行评审）提出一种云对象存储公开审计系统：将每个对象及其名称的 SHA-256 哈希作为 Merkle 树叶子节点，整棵树的根哈希存入 Ethereum 智能合约作为可信公开记录，审计者下载单个对象并用简短 Merkle 证明重建根哈希比对，即可判定对象完好、被修改或缺失。作者在 S3 兼容存储与本地 Hardhat 区块链上做了五组实验，称检测出全部 15 处单点篡改、2,205 个被篡改对象和 830 个被删除对象，无误报；10,000 个对象的证明只需 14 个哈希，单对象核验约 10 ms，100 个对象抽样约 150 ms，且不随数据集规模变化。作者称存储根哈希耗费 91,863 gas，比在链上存储 1,000 个哈希少 252 倍，主要节省来自按需抽查而非全量审计。

一篇 arXiv 预印本（未经同行评审）提出 VASCO 医疗数据共享系统，作者称其不依赖任何中心服务器（含密钥生成方）、不依赖 IPFS 等特定云存储、不使用安全通道，并对数据与元数据加密、支持端到端加密，由八个基于视图访问控制的 chaincode 实现。作者称在 21 个不同配置的 peer 节点区块链上测试了可扩展性，并通过 30 种标准、格式与协议组合验证了互操作性；作者称 VASCO 在功能与合规性上优于现有系统。

一篇预印本（未经过同行评审）提出 BE-CTDE 框架，用区块链作为多智能体强化学习的训练管理层，由行为验证器比对执行轨迹与共享策略建议，并通过罚没、销毁、奖励与补偿的代币机制驱动。作者推导了激励条件与预期排除时间上界，并在多智能体寻路实验中称，该框架在受攻击时成功率高于现有学习型路径规划器，碰撞率较仅检测不设经济后果的方案最多低 35%、较传统质押罚没最多低 43%。

arXiv 预印本（尚未经同行评审）提出 PARS 机制与可选的许可链架构 PARS-ESL，通过在密码学纪元间进行经认证的密钥轮换限制密钥的时间暴露。PARS-ESL 仅记录密钥纪元、群组成员、撤销、算法套件策略等认证状态，不存储高频运营交易，低时延流量由当前活跃的对称纪元密钥保护。作者称，在其给出的信任、失陷、连接与资源假设下，该方案对选定的边缘 AI 与 CPS 安全控制工作负载可行；当前材料仅含作者摘要与元数据。

OpenZeppelin 对 0xMiden/protocol 仓库的 miden-standards crate 执行 diff 审计，覆盖约两个月开发、69 个提交，报告 65 个问题：严重 2 个、高危 4 个，审计时 35 个已修复、3 个部分修复。两个严重问题分别是多票据跨 PSWAP 交易中栈深度错位导致做市商资产被记入错误输出票据，以及索引式输入票据资产移除允许低序号票据窃取高序号票据资产。报告附修复建议及对应 pull request 编号。

OpenZeppelin 发布对 0xMiden/miden-base 仓库 commit 5c4edb4 交易内核的安全审计，共发现 8 个问题（1 个 High、2 个 Medium、2 个 Low、3 条备注），报告发布时全部未解决。三个主要问题集中在对用户程序动态调用后未充分校验活动账户上下文，高危项为 Epilogue 中 auth 过程可能切换到外部账户，导致资产保全检查失效、手续费误扣和账户承诺计算错误。报告认为代码库整体结构良好。

作者在 IACR ePrint 发布预印本（未说明经同行评审），提出 Tritone 协议，让比特币在无需共识变更的情况下强制执行对固定 NP 关系的 Groth16 证明验证结果，只要 N 个操作员中有一个诚实即可保证锁定资金安全。验证为乐观且链下进行，交易均为当前中继政策下的标准交易；协议将两方 BABE 推广为固定委员会，每对有序操作员各运行一个争议实例，引入 Lamport-adaptor 小工具实现交易级绑定。作者用 Rust 实现，在比特币主网最坏争议情形下，证明方需发布 9,607 vB、验证方 18,160 vB 交易；本地基准（40-bit 统计安全）下每个争议实例的证明方保留数据低至 112.83 MiB。

一篇 IACR ePrint 预印本（尚未经同行评审）对 Hydra 多方支付通道的优化工具展开系统性研究，作者指出多数现有 Layer-2 工具基于传统两方支付通道设计，能否用于 Hydra 式多方通道尚不明确。该工作综述了两方通道协议及其工具，识别出应为 Hydra 开发新协议的用例，并分析了 Hydra 的开放问题、相关工作及可复用的现有工具。

作者预印本研究了LLM结合静态分析审计C/C++漏洞时对证据的依赖，覆盖PrimeVul的916对函数、四家厂商11种模型配置共16,572次审计。结果显示真证据仅小幅提升准确率（+0.02），而假保证使真实漏洞检出率最多下降19个百分点，假警报则未显著降低准确率且更常被质疑；在7个新模型上的复现确认了这种不对称性（均值+0.16，95% CI +0.10至+0.24）。单独调用核验每条声明并展示被驳回内容，在预设测试中使假保证下的准确率提升12个百分点（p=0.002），但第二个模型增益较小且不显著。研究为预印本，尚未经过同行评审。

arXiv 预印本提出 AgentTrace，一个通过可观察执行痕迹识别黑盒 LLM Agent 底层模型的主动框架，作者称其在对抗身份伪装下达到 96.0% 的归因准确率。该方法注入结构歧义探针触发工具接口的序列化失败，并用轻量马尔可夫链建模后续修复操作的时序，作者称其可区分共享相同分词器的同族变体（如 Llama-3 8B/70B），且对提示混淆和温度缩放保持稳健。材料为预印本，仅取得作者摘要与元数据，未读取论文全文，结果未经同行评审。

作者提出后量子共识协议 Quantum Cadence，取消法定人数证书，改为每个验证者统计自己收到的消息来判定法定人数；其安全性和活性不依赖签名，签名仅用于追责。该协议在 Cadence 基础上将槽位共识 Chorus 替换为 Quantum Chorus，保留传播加两轮投票的快速路径延迟，快速路径失败时运行无签名拜占庭协议 Coda。作者称在 200 个验证者的模拟中，Quantum Chorus 延迟与 Chorus 相当，且随提议者数量增加扩展性更好。该材料为预印本，仅取得作者摘要与元数据，未读取全文。

作者提出 CONSTRAINTDIAL 框架，通过协议变异持续构建智能合约安全任务，以缓解现有评测中模型可凭记忆或抄袭公开答案（含链上交易中的攻击代码）得分的问题。该框架自动重建本地合约，并用攻击执行结果筛选修改，使原始攻击失败同时保留可利用性、安全目标和正常功能。作者基于 203 个公开案例构建 3,045 个任务输入，覆盖检测、利用和修补；与仅重建相比，协议变异使提供公开答案时的平均成功率下降 10.9 个百分点。材料为预印本，未读取全文。

作者提出 FPTracer 框架，用于追踪以太坊上跨 DeFi 协议、跨链桥和混币器的非法资产。其核心是基于 Context-Aware Transfer Tree（CATT）恢复交易内资产流路径，并结合资产流与执行证据特征识别跨链意图交易，同时分析混币器之后的潜在洗钱活动。在 20 个真实洗钱案例上，FPTracer 对已知洗钱地址和目的地的召回率分别为 98.6% 和 94.2%，识别出全部已知跨链桥使用并发现 30 例此前未报告的使用；在 18 个涉及 Tornado Cash 的案例中，其识别的提现侧活动在有公开报告可对照处得到印证。该材料为预印本，尚未经过同行评审。

作者在 BARBICAN（面向 MCP 工具中介的 fail-closed 提示注入网关）上展示：仲裁阶段因分词器配置错误，整段评测中接收被破坏的文本；修正后该阶段语料级 AUC 从 0.392 升至 0.855，但系统召回率反而从 80.67% 降至 80.34%，而一个恒定回答 malicious 的桩模型得分为 80.77%。作者指出，上游路由使该阶段输入带 96.82% 为恶意，且判定设计让有罪判定可阻断、无罪判定仅能经单一窄分支放行；删除该组件损失 673 次检测，用常量替换其判定仅改变 25,000 次决策中的 12 至 140 次，移植一个在该输入带 AUC 达 0.916 的现成分类器也只改变 16 次决策。作者主张，任何路由阶段的消融数字若脱离其输入带的类别分布都无法解读，消融实验应与替换实验并列。材料为预印本摘要，未读取全文，方法与数据细节未核验。

arXiv 预印本提出 SILMARILS-MV，一种面向 permissioned blockchains 的多验证者无条件安全签名方案，作者称其在腐化至多 ω 个验证者和任意签名者的无界对手下，诚实验证者接受伪造签名的概率至多为 Q/q + 1/(q-1)，且具备强不可伪造、不可否认、可跨无界跳数转移和线性聚合特性。密钥由验证者通过完美安全 MPC 在 t < n/3 条件下签发，无需广播；阈值公证下最终性证书恒为 32(ω+1) 字节，单次验证 2.4 微秒。作者在 1000 验证者的解析模型中估算每验证者每区块认证流量为 71 KiB，较 ML-DSA-44 少 22 倍；100 验证者的 Rust HotStuff 原型吞吐较 ML-DSA-44 高 2.8 倍、密码学 CPU 少 67 倍。该材料为预印本，未经过同行评审。

作者提出“DLT Terms 100”术语表，旨在提升区块链（分布式账本技术 DLT）素养，称 DLT 社会落地慢于预期，部分原因是工程师和具备相关素养的人才短缺，业务与技术术语的差异及既有金融术语的挪用造成理解障碍。该术语表以 ISO 22739:2024 为基础，按术语在国内外代表性文献中的出现频率和难度分级归类标注。材料为预印本，仅取得作者摘要与元数据，未读取论文全文，结果归因于作者。

一篇 arXiv 预印本（未经同行评审）提出 temporal liquidity markets（TLM）框架，作为 EIP-1559 的扩展：寻求区块早期位置的交易（消费者）可出资资助自愿放弃该区域的交易（provider），使 provider 得以在 base fee 下限之下被准入。作者称，将受资金约束、容量受限的 provider gas 排除在常规 EIP-1559 控制器输入之外，可让控制器按原目标调节普通需求，并在合成实验中提升总利用率；消费者支付的授权资金用于填补 provider 短缺，盈余被销毁。作者在含策略性发送者与构建者的对抗模型下证明了八项性质，包括验证者校验的规则有效性、base fee 全额销毁与无补贴。

一篇arXiv预印本提出R-PBFT方法，将元宇宙系统中的计算卸载与更新准入决策分解为逐时隙卸载博弈和顺序准入控制，分别用恒等收益博弈与可行性过滤的DDQN求解。作者的数值结果显示，在测试的用户负载与随机种子上，该方法相对最强基线Minimum Secure的平均奖励提升最高达46.7%，在最高测试拜占庭上限下安全及时更新率提升62.3%。该材料为预印本，仅取得作者摘要与元数据，未读取论文全文，结果未经同行评审。

作者用随机偏积分微分方程（SPIDE）刻画 Uniswap V3 等集中流动性 AMM 中跨 tick 的头寸分布演化，将其约化为线性随机微分方程组，低阶模态对应分布的水平、斜率与曲率。在三个 Uniswap 池上的有限秩校准中，两个符合平稳设定的池在活跃区间预测误差低于鞅基准，第三个池的样本外诊断与非平稳一致，作者据此提出价格感知及时变扩展方向。当前材料仅为作者摘要，未读取全文。

作者提出 Cambium，一种许可制点对点承诺服务，由参与者共同构建每个周期的承诺根，避免单一主体决定根包含哪些输入。作者在 AWS 上用 Go 原型测试，委员会规模 c=4、8-256 个节点并模拟慢节点时，周期耗时 12-148 毫秒，验证证明耗时低于 1.5 毫秒，且呈对数增长。作者称，冲突证书可识别签名者，两个冲突根同时最终确定仅在至少三分之一节点为拜占庭时可能发生，例外概率随委员会数量指数级减小。材料为预印本，未经过同行评审，仅取得作者摘要与元数据。

一篇预印本研究提出一种无领导者共识协议，让客户端主动参与以保障自身交易及时纳入，并定义了“纳入安全”：客户端交易进入某个 epoch 产出的区块，且遗漏它的区块所属分叉最终被放弃。作者在涵盖同步与异步的广义模型中指出，客户端与副本的连通性可相互替代以实现纳入安全，但替代并不完美——依赖副本连通性时所需 epoch 更长。该材料为预印本，仅取得作者摘要与元数据，未读取全文，结果未经同行评审。

作者 Kumar 通过匹配节点 gossip 中广播的 feature bits 与 LND、Core Lightning、Eclair、LDK 各版本源码，从 2023 至 2026 年 814 份公开网络图日度快照中推断节点版本线；在 Core Lightning 公布版本的节点中，136 组节点-版本线配对有 132 组推断准确。结果显示升级节奏跟随发布与平台排期而非漏洞披露：LND 节点半数在版本发布后 88 天内升级，2025 年 6 月以来 17% 的 LND 升级发生在平台发版后 48 小时内，而这些窗口仅占总时长 4.4%；可检验的 12 次披露中仅 Core Lightning 2026 年 7 月的公告加快了升级。作者指出，对滞后节点有效的抓手是打包其版本的平台。材料为预印本，仅取得摘要与元数据，未读全文。

一篇 arXiv 预印本（未经过同行评审）将多主体、部分可观测的系统形式化为"事件世界"，并基于人类 Diplomacy 对局和真实 Polymarket 交易构建基准，检验 LLM 能否依据事件日志与智能体拟采取的动作预测后续观测。作者称，在提供所有参与者已记录动作时，微调和更多数据可改善预测；若只提供智能体自身动作、而其他参与者对结果影响较强，模型表现不佳，且扩大模型规模、延长历史帮助有限，多步推演中还会高估计划成功率。作者同时指出，由世界模型生成的想象经验与初始化仍能改善策略学习，预判其他参与者动作仍是事件世界建模的核心难题。

Khodaiemehr、Bagheri 与 Feng 的预印本提出 PQ-Vault，一套面向未改造以太坊的量子安全资产托管系统，包含仅依赖量子安全原语的金库、携带紧凑证书的量子安全 PoS 侧链及乐观争议协议。作者给出紧凑证书抗量子攻击的首个安全证明与对应攻击：按经典参数选取时安全保证从 128 位降至约 60 位，一条简单规则可恢复。针对 65,536 个验证者，单个证书约 0.8 MB，比全部签名小 260 倍，验证约 20 ms，金库接受一个检查点约消耗 420,000 gas。该材料为 arXiv 预印本，尚未经过同行评审，仅取得作者摘要与元数据。

慢雾威胁情报团队发布对 DarkSword iOS 攻击链后端与投递链的分析，称该基础设施已产品化，含统一入口、两代管理面板和 1,045 条载荷的武器库。面板后台与 GitHub 仓库 adoemwanmei/DarkSword-PROV2 的 API 标题、版本号 1.1.0 及前端依赖完全对应，攻击链与 DarKDevz/DarKSward 共享来源。慢雾指出，投递入口声称覆盖 iOS 13.0 及以上、载荷版本标签延伸至 26.6.1，但路由代码显示仅 iOS 18.6–18.7.2 与 26.0–26.1 两个窗口具备完整可利用链；上游代码本无加密货币钱包能力，攻击者新增了 keystore 解密、Keychain 解包与资金归集端点。面板 30 天窗口显示 20,187 次页面访问、1,187 次利用尝试，其中 10 次达到利用成功阶段、9 次完成数据外传。

作者提出 Proof-of-ML-Inference（PoML）共识协议，矿工在共识过程中执行用户请求的机器学习推理，以替代比特币式 PoW 中无其他用途的哈希运算。作者称已形式化 ML 推理安全替代哈希所需计算假设，并给出 LLM 与扩散模型满足这些假设的证据，将协议安全性归约到 Bitcoin Backbone 模型；模拟环境下出块率接近标定目标。材料为预印本，仅取得摘要与元数据，未读取全文，实验为模拟结果。