加密货币与区块链 · 2026年10月23日(周五)

比特币、以太坊、稳定币、DeFi、智能合约、扩容与共识。

★★★★☆ 值得关注
IACR ePrint Cryptographic protocols

Tritone: Pairwise Garbled Disputes for Multi-Party Proof Verification on Bitcoin

说明Tritone:比特币上多方证明验证的成对混淆争议协议

简介本文提出 Tritone 协议,使比特币能够强制执行对 Groth16 证明的验证结果,而无需共识规则改动。协议将已有的两方 BABE 协议推广到由 N 个运营者组成的固定委员会,只要其中一名运营者诚实,锁定资金即安全。论文给出多方原语的形式化证明,并以 Rust 实现,在比特币主网上给出了交易体积与本地存储的测量结果。

看点将两方BABE协议推广到N方委员会并提出Lamport-adaptor绑定机制,在比特币上无共识变更实现Groth16验证,实现了完整原型与链上成本测量。

Oleksii Avramenko, Alessandro Baccarini, Torben Poguntke

arXiv cs.CR · cs.AI

Beyond Copying: Lifelong Smart Contract Security Task Construction via Protocol Mutation

说明超越复制:基于协议变异的终身智能合约安全任务构建

简介该论文提出CONSTRAINTDIAL框架,通过协议变异自动构建智能合约安全任务,用于评估AI智能体的检测、利用和修补能力。框架会修改攻击所需的调用或输入,使原攻击失效同时保留可利用性与正常功能,并利用新事件和审计结果持续更新任务。论文基于203个公开案例构建了3,045个任务输入。与仅做合约重构相比,协议变异使提供公开答案时的成功率平均下降10.9个百分点,而直接复制在线答案解决的任务比例有所下降。

Zifan Peng, Peng Huang, Jingyi Zheng 等

arXiv cs.CR

Tracing Money Laundering Across DeFi, Bridges, and Mixers on Ethereum

说明追踪以太坊上DeFi、跨链桥与混币器之间的洗钱资金流向

简介该论文提出FPTracer框架,用于追踪以太坊上的非法资产流向。该框架通过上下文感知转账树还原交易内部的资产流路径,并训练分类器识别具有跨链意图的交易,同时利用上游洗钱网络证据分析混币器之后的洗钱活动。在20个真实案例的评估中,该框架对已知洗钱地址和去向的召回率最高,并发现了30处此前未被报告的跨链桥使用情况。

Huan Xing, Gaohe Jin, Bang Fu 等

IACR ePrint Applications

SoK: Optimization Tools for the Hydra Multiplayer Channel

说明Hydra多方通道优化工具综述

简介该论文是一篇系统化梳理(SoK)的综述,讨论区块链Layer-2扩容技术。作者先介绍现有针对双方支付通道的协议与工具,再指出适用于Hydra多方通道的新协议需求和待解决的开放问题,并提出可借鉴或作为研究起点的现有工具。

Maxim Jourenko, Mario Larangeira

arXiv cs.CR · cs.DC · cs.IT

SILMARILS-MV: Information-Theoretically Secure Multi-Verifier Signatures with Dealer-Free Key Issuance and Linear Aggregation for Permissioned Blockchains

说明SILMARILS-MV:面向许可制区块链的多验证者信息论安全签名方案

简介该论文提出 SILMARILS-MV,一种在无限计算能力攻击者下仍可保证安全的多验证者签名方案,支持无需可信发行方的密钥生成与线性聚合。在作者的分析与原型实验中,它可显著减少共识阶段的认证流量与密码计算开销,并与理论界限保持一致。

Khadijeh Bagheri, Hassan Khodaiemehr, and Chen Feng