论文/研究

Kaihua Qin、Dawn Song 和 Arthur Gervais 在 arXiv 发布 SCDBench，一个面向 LLM 智能合约反编译的数据集与评测方法，含 600 份带字节码、源码和可重放语义检查点的真实 Solidity 合约。评测分格式完整性、可编译性、ABI 还原和差分重放语义一致性四个递进阶段。作者测试 Claude Opus 4.7、GPT-5.3-Codex 和 GLM-5 的零样本反编译，发现前沿模型常能产出结构化可编译代码，但语义一致性远未解决，表现最好的模型仅完美还原 42/600 份合约；同模型编译修复能以适度额外成本显著提升表现。该论文为预印本，尚未经过同行评审。

一篇 IACR ePrint 预印本（未经过同行评审）作者称，Du et al.（Security and Communication Networks, 2022）提出的结合 Bloom filter 与区块链的公钥认证可搜索加密方案会从密文中泄露关键词信息，因为密文内嵌的 Bloom filter 由 Diffie-Hellman 密钥和待加密关键词唯一确定并直接包含在密文中。作者称攻击成功概率下界为 Bloom filter 不出现假阳性的概率，评估显示该攻击成功率足够高；对方案安全模型和使用场景的检验也确认了攻击有效性。作者还指出，即使对方案做简单修改，稍作调整的攻击依然有效，且此前生成的密文在搜索结果不同时仍能通过验证，说明基于区块链的完整性验证机制不足。

Kigen Fukuda 与 Shin'ichiro Matsuo 在 IACR ePrint 发布预印本，基于 Bitcoin backbone 协议框架形式化签名迁移过程与量子对手，证明在有效延迟 Δ_eff 至少为 ⌈4/((1−ε)f)⌉ 且 f·Δ_eff=Ω(log²κ) 等条件下，工作量证明链的安全性质迁移活性以压倒性概率成立，其中 Δ_eff 是量子对手在迁移交易广播后伪造交易所需轮数，f 为诚实挖矿成功概率。作者还推导迁移过程与可容忍量子攻击能力的关系，为设计签名迁移方案提供理论基础。该论文为预印本，未经过同行评审。

作者在 IACR ePrint 发布预印本（未经同行评审），提出 BitVM3-BRIDGE，一种面向比特币的信任最小化桥架构，支持通往具备终局性证明的链（如以太坊）以及比特币 rollup。核心组件 BitVM3-CORE 基于混淆电路实现无许可链下计算，挑战者完全在链下评估电路，仅当运营方声明错误时获得欺诈证明。作者称该方案将链上总成本降至约 9 美元，单笔挑战交易成本约 0.20 美元，相比 BitVM2 约 16,000 美元的最坏情况争议成本降低近 1000 倍，从而允许更小的保证金和更广泛的运营方参与。论文还把 BitVM3-CORE 形式化为在标准密码学假设下可靠且完备的链上证明系统，并引入可变难度下的比特币链上轻客户端。当前材料仅含作者摘要与元数据，未读取全文，实验与理论结果不代表主网已实现。

Bahrani、Neuder、Weinberg 在预印本《Adversarial procurement in blockchains》中将区块链中高效征集昂贵任务（如生成 SNARKs 有效性证明）形式化为机制设计问题，权衡活性故障的经济成本与激励候选供应方所需的支付。作者称最优协议的损失随活性故障成本呈对数增长，并被网络中对抗方比例放大；最优均衡结构直观，许多情形下指定单个随机节点为主工作者、委员会作后备，类似基于领导者的共识机制，并刻画了负支付（即罚没）尤其有帮助的渐近情形。当前材料仅含作者摘要与元数据，未读取全文，方法与数据未核验；预印本不代表经过同行评审。

作者在 IACR ePrint 发布预印本，提出 Janus，称为首个实现端到端自适应安全的分布式密钥生成（DKG）套件，可作为可信经销商的直接替代，隐藏全部密钥份额并输出兼容现有验证器、钱包和智能合约的标准 DLog 公钥。作者称在安全擦除假设下证明了可对抗协议中途腐化成员且控制不诚实多数的自适应敌手；套件包含两轮生成无偏密钥的 Janus2R 和容忍加性密钥偏移的单轮 Janus1R，节点作恶时两者生成 259 字节可普遍验证的证明用于链上自动罚没。开源 Rust 实现为 16 节点跨洲委员会完成密钥生成耗时 310 ms，可扩展至 512 节点。材料为作者摘要与元数据，未读取论文全文，预印本不代表经过同行评审。

Adrian Cinal 与 Oliwer Sobolewski 在 IACR ePrint 发布预印本，重新审视适配器签名方案的定义。作者指出主流方案中预签名在技术上可能已是签名，会泄露参与意图，而这一强绑定性对许多实际应用并非必需。他们形式化定义了公平签名交换（FSE），放弃此前工作要求双方使用同一适配器签名方案的对称性假设，并据此形式化定义了预签名可否认性，在多种假设下给出构造。该性质支撑原子交换和支付通道等应用。材料为预印本，未经同行评审。

Adrian Cinal 的 IACR ePrint 预印本《Privacy Coins Under Viewing Key Compromise》研究查看密钥交给第三方监管后隐私币还保留哪些匿名性保证。作者称该文填补了 Zcash 和 Firo 在入账查看密钥泄露情形下可证明匿名性的空白，同时指出恶意方仍可交出全部查看密钥并找到高效规避金融监管的方式；论文还指出了 Monero 现有安全论证的若干缺陷。材料为作者摘要与元数据，未读取全文，预印本不代表经过同行评审。

Paradigm 发文提出 PACT（Provable Address-Control Timestamp）方案，让比特币持有者在量子威胁到来前，用 OpenTimestamps 将 BIP-322 地址控制证明的承诺静默、零成本地锚定到链上时间戳，未来若协议通过软分叉日落暴露公钥的地址，持有者可用 STARK 零知识证明该时间戳早于截止点，从而在不公开迁移代币的前提下恢复花费能力。文中指出该方案无需今日分叉、对他人不可见、承诺阶段无链上费用，但救援路径能否被采纳并无保证，且多重签名、复杂脚本与托管钱包仍需进一步标准化。

作者提出一种面向公开可验证秘密共享（PVSS）的新框架，使 dealer 发送单条消息后即可离线、不参与份额验证，主要使用基于身份的加密（IBE）与承诺，避免昂贵的零知识证明。作者称首个构造采用格基 IBE 与哈希承诺实现抗量子安全，性能优于 Gentry 等人（Eurocrypt 2022）；第二个构造改用 Pedersen 同态承诺以支持 PVSS 记录聚合，但因 Pedersen 方案不具备量子安全性，仅提供针对抗量子对手的隐私，作者为此提出名为长期安全的新模型，并在该模型下给出一种区块链兼容的安全投票方案。作者报告的性能为：在 1024 个接收方之间共享秘密耗时 667 ms、验证 dealer 操作小于 5 ms、总通信量 4.4MB，而 Gentry 等人的方案通信量为 251MB、共享秘密需 2060 s。该材料为预印本，仅取得作者摘要与元数据，未读取论文全文，档案收录不代表通过同行评审。

一篇 IACR ePrint 预印本（作者摘要，未经同行评审）提出 hint-free 多重签名的形式化研究，称其方案在标准模型下无需递归证明即可实现，通过公开规范化 BLS 多重签名，使验证仅依赖公钥集合而非多重集。作者指出，此前唯一已知的完全 hint-free 构造依赖递归 SNARKs，存在安全启发式不清晰或聚合拓扑深度受限的问题。作者同时说明该方案因使用不可区分性混淆（indistinguishability obfuscation）尚不实用，仅证明该原语的可行性。

Flashbots 发文指出 TEE 远程证明只说明运行了什么代码，不证明机器位于受控数据中心，而商业 TEE 厂商普遍把物理访问攻击排除在威胁模型之外，这一物理访问缺口对角色互不信任的 Web3 场景尤其关键。文章提出 Proof of Cloud 概念，即用密码学证明机密工作负载运行在已知基础设施环境中，并介绍了两种实现：Flashbots 自研的 DCEA 协议通过芯片厂商与数据中心运营方双重信任根、交叉校验 vTPM 的 PCR 与 TDX 的 RTMR 来抵御代理攻击，目前在 Google Cloud 的 Intel TDX 环境上已有原型；Intel 新发布的 POE 则通过 PRID/PIID 与云厂商签名令牌绑定平台的物理所有权，更轻量但不覆盖主机软件栈状态。作者认为两者都是供应链时点快照，最终仍需向 Trustless TEE 方向演进。

一篇 IACR ePrint 预印本提出面向零知识证明（ZKP）生成的多标量乘法（MSM）安全外包方案，允许用户将 MSM 计算委托给服务器，同时保护秘密输入（标量）的机密性并支持对服务器输出的验证。作者的性能分析显示，该方案显著降低了用户的计算负担，且仅给服务器带来极小开销。材料为预印本，仅取得作者摘要与元数据，未读取论文全文，结果归因于作者，不代表经过同行评审。

这项 arXiv 预印本研究的是2025年上半年 Orca、Raydium 和 Meteora 上新发行的100,063枚代币，作者将其中76,469枚标注为 Rug Pull，涉及冻结权限滥用、抽走流动性和拉高出货三类行为。作者称，随机人工审核382个样本后，估计标注假阳性率为0.26%。这些统计只适用于论文定义的样本与标注口径；本文依据作者摘要，数据和判定规则尚未独立复核。

Nakul Khambhati、Anwesh Bhattacharya、David Heath 在 IACR ePrint 发布预印本 Duty-Free Bits: Projectivizing Garbling Schemes，提出一种高效转换，把评估者输入按大素数域元素编码的算术混淆方案转为逐位投射式方案，称从 Yao 式混淆标签转到信息论式标签的代价与输入输出标签成正比。作者将该技术应用于两个问题：一是为 BABE（Garg et al., 2026）和 Argo MAC（Eagen and Lai, 2026）构造并实现直接替换方案，称分别把 BABE 的编码大小改进 51 倍、Argo MAC 改进 23 倍；二是得到从 F_p 上 VOLE 到 1-out-of-2 OT 的非交互归约，作者称其为针对恶意接收方的大域 VOLE 的 Minicrypt（加基础 OT）最优协议，代价为 O((λ + n) lg p) 比特。材料为预印本，未经过同行评审，仅取得作者摘要与元数据，未读取论文全文。

多位作者在 IACR ePrint 发布预印本 Orthus，一种针对格构造中自然出现的关系、具有亚线性验证时间的零知识证明系统，验证时间渐近上随见证大小的平方根增长。针对聚合 Falcon 签名的具体实现，作者称在聚合 2 的 17 次方个签名时验证器运行时间降至约九分之一。背景是以太坊基金会 2025 年的一项比较显示基于格的简洁证明在证明大小和证明时间上有优势，但验证时间慢约一个数量级，被视为采用的主要障碍。该论文为预印本，未经同行评审。

Jay Taylor、Paul Gerhart、Sri AravindaKrishnan Thyagarajan 在 IACR ePrint 发布预印本，提出代理适配器签名（proxy adaptor signatures, PAS）这一密码学原语，用于在委托场景下实现公平交换：无状态买方只需发出一次请求、无需长期密钥，代理与卖方完成交换，卖方在买方日后能重构所购见证时保证收款，且代理全程对见证不知情。作者在门限模型下形式化 PAS，容忍至多 t-1 个代理串通，并给出兼容 Bitcoin、Cardano 和 Ethereum 的高效构造；Rust 原型支持最多 30 个代理，买卖双方计算在微秒级、代理运算毫秒级，链上成本与不含公平交换的标准交易相当。该材料为预印本，仅取得作者摘要与元数据，未读取全文，结果未经同行评审。

Ethereum Foundation 学术秘书处宣布启动首届 PhD Fellowship 计划，资助与 Ethereum 相关的博士研究，本轮聚焦制度设计、公司治理、政治经济与去中心化 AI 等方向。

一篇 IACR ePrint 预印本（未经过同行评审）提出异步流水线共识架构，将挖矿启动与完整交易验证解耦，以缓解 PoW 串行验证下的传播延迟与孤块率问题。作者称，该方案在紧凑区块中嵌入 6 字节压缩 UTXO 标识符列表，并引入 Dual-Coinbase 机制取消强制的区块间冻结，使网络设计者可通过流水线深度 k 与挖矿间隔调节传播窗口，且可扩展至 PoS、BFT、DAG 等架构。当前仅取得作者摘要与元数据，未读取论文全文，实验与理论结果不代表主网已实现。

Wojciech Ciszewski、Stefan Dziembowski 等研究者在 IACR ePrint 发布预印本，指出部分个体知识证明类工作把哈希函数建模为可处理长消息的原子随机预言机存在缺陷。作者称 Merkle-Damgard 和海绵结构等实际哈希函数以及比特币挖矿所用哈希都允许对长输入做部分预计算，违反该假设，并据此展示对 Miller 等人（CCS'15）与 Kelkar 等人（CCS'24）方案的实用攻击，同时提出避免依赖该假设的修改版构造。形式化安全分析将在论文完整版中给出。