美国司法部查获与哈马斯相关加密货币募资网络逾 56 万美元
美国司法部 9 月 1 日宣布查获与哈马斯募资活动相关的逾 56 万美元加密货币,并关闭其部分数字基础设施,共涉及五起相关行动。据司法部称,法院授权 FBI 查收资金并关停哈马斯用于募捐和联系支持者的网站与通信渠道。
按时间查看论文/研究,保留原文链接与报道归属。
美国司法部 9 月 1 日宣布查获与哈马斯募资活动相关的逾 56 万美元加密货币,并关闭其部分数字基础设施,共涉及五起相关行动。据司法部称,法院授权 FBI 查收资金并关停哈马斯用于募捐和联系支持者的网站与通信渠道。
Elaine Shi 等作者在 IACR ePrint 发布预印本 Otter,提出一种双资产批量 AMM,在共识层提供抗审查且区块空间不受限的条件下,使说真话成为用户与区块构建者的占优策略,构建者无法通过重排报价或注入女巫报价获利。论文将批次剩余盈余转入社区治理的智能合约,可用于补贴交易费、奖励流动性提供者或回补池子以降低滑点;并给出不可能性结果,说明若构建者可审查交易则该博弈论保证不可得。当前材料仅为作者摘要与元数据,未读取全文,结果未经同行评审。
Li、Wang 等研究者在 arXiv 预印本中提出 Lantern,一种无需预知交易读写集的确定性并发控制协议,通过在本地依赖图中按升序提交零出度交易,并用 Back-Propagation 机制从汇点向源点迭代传播依赖状态来识别更多可提交交易,另提出面向读改写密集场景的 Conflict-Free Batch Selection。作者将 Lantern 集成到开源区块链平台 ChainMaker,在 YCSB 和 SmallBank 基准上的评估显示,相比 Aria 吞吐最高提速 4.2 倍,ChainMaker 执行层吞吐至少提升 2.2 倍。以上为作者摘要中的基准测试结果,预印本未经同行评审。
BIS 工作论文作者提出并测试了一种方法,为每份 SDMX 官方统计数据集计算密码学指纹并连同发布者签名凭证记录到 XRP Ledger,用户仅凭文件加一次账本查询即可核验数据来源与完整性。原型测试显示发布中位延迟 3–5 秒、验证 1–2 秒,作者说明这是受控条件下的概念验证而非生产系统;成本模型显示批量锚定后链上费用可忽略,并推导了批量大小与延迟权衡下的最优批量。论文提供开源参考实现,仅上链指纹不涉及原始数据,作者称该方法可扩展到 XBRL 等格式;观点不代表 BIS 或其成员央行。
Chainalysis 报告预览显示,2025年全球链上潜在应税加密活动超过4570亿美元,其中美国约1126亿美元,北美以1346亿美元居首,欧盟1251亿美元、东亚547亿美元次之。
一篇 arXiv 预印本称,作者用覆盖7个月、640万枚代币的 Solana 数据集研究早期 Rug Pull 特征。在该样本中,多数代币上线一小时内已显现相关特征;作者称 XGBoost 等模型仅用上线后的前5分钟交易数据即可识别潜在风险,融合 PumpFun 与 Raydium 数据有助于缓解跨平台差异。目前只核验了作者摘要,误报率、训练与测试集切分、实盘泛化能力尚未独立验证。
以太坊基金会形式验证团队与 Yukon、zkSecurity 合作推出开放自主研究挑战 better.codes,将 Proximity Prize 研究中的自足问题 koalaIRS12 形式化为 Lean,并把其可靠性下界放到公开排行榜上。
推荐理由:原文说明了挑战的验证机制与开放协作模式,读者可据此理解形式化验证如何被用于推进SNARK安全基准。
Adam Smehyl 与 Ivan Homoliak 的 IACR ePrint 预印本(未经过同行评审)提出两项扩展式改进方案以提升 DeFi 资本效率:一是在池化借贷中加入分配层,将闲置流动性投入外部生息策略;二是为集中流动性头寸加入管理层,自动迁移价格区间。作者称原型基准显示两机制均可作为模块化扩展实现,但会带来额外 gas 开销及外部策略依赖、召回与损失分配、区间策略配置错误等风险;借贷分析在选定外部收益假设下显示供应商收益有提升,区间迁移分析则关注活跃时间敏感性与执行成本。
一篇 IACR ePrint 预印本(档案收录不代表通过同行评审)提出 De-SyRIS,一种基于社交图谱、双向人脸生物验证与反女巫图谱分析的去中心化抗女巫身份系统,作者称其借助区块链、零知识证明和隐私保护智能合约实现注册用户的唯一性、匿名与隐私,且不依赖任何中心化凭证签发方。作者用 Plonky2 零知识证明实现了概念验证原型,并在含 1000 个实体的异构社交图谱模型上通过模拟评估功能;当前材料仅含作者摘要与元数据,未读取论文全文。
Pranay Anchuri、Matteo Campanelli、Rosario Gennaro 在 IACR ePrint 发布预印本,提出在 Q-day 之后仍可安全使用前量子原语的方法:每个生命周期窗口把一个临时前量子密钥绑定到长期后量子身份,使该窗口内的伪造失效,并保证临时密钥暴露不泄露长期私钥。作者以以太坊共识为主要案例,在所述注册、打包与罚没证据规则条件下,方案保留普通 BLS 聚合且无需 SNARK 证明者,每条同消息聚合签名为 96 字节,每个验证者每 epoch 发布 592-688 字节 reveal 数据;每个 epoch 密钥绑定到该 epoch 之前已最终确定的 checkpoint 派生的种子。作者在 ROM 与 QROM 中把不可伪造性归约到 co-CDH',并指出瞬态安全要求在密钥暴露可影响链的整个区间内抗伪造,按以太坊 attestation 打包规则该区间名义上为两个 epoch 加 reveal 提前量;历史罚没与延迟分叉接受需另列为前提条件。该材料为预印本,未读取全文,档案收录不代表通过同行评审。
Flashbots 发布论文 The Price of Decentralization in Block Building,研究多个自利提议者(proposer)的地理位置选择是否真能改善地理分散用户和交易来源的访问。论文将去中心化区块构建建模为随机覆盖博弈,用 Price of Anarchy(PoA)框架衡量效率损失,证明该博弈保留了标准 factor-2 PoA 界所需的条件,并给出均衡下最低效用 builder 至少获得最高效用 builder 一半回报、效用 HHI 至多比平等基准高 12.5% 的结论。作者还开发模拟器对比自利均衡与中央规划者基准,发现在价值高度集中但边缘区域仍可及时触达的场景下效率损失最大;在考察的最多 12 个 builder 范围内,额外 builder 在均衡中倾向于围绕高价值来源重复覆盖而非扩展到边缘区域。文中列举了后续研究方向,包括替代奖励分配规则、订单流地理实测、共识与通信细节建模以及 Sybil 行为研究。
作者提出 ZKPoSP(Zero-Knowledge Proof of Seed Provenance),在保留现有地址格式的前提下,用 NIZK 证明替换经典签名步骤,其安全性论证不依赖离散对数问题,并在量子随机 oracle 模型下对量子对手给出证明。该方案将证明拆为每密钥对生成一次的派生证明和每条消息生成一次的签名证明,使每条消息的证明成本不随派生深度变化;作者还引入基于 HASH768(以 KMAC256 实例化)的 QBIP32 密钥派生方案。材料为 IACR ePrint 预印本,未读取全文,结果不代表已通过同行评审或已在主网实现。
Boris Hofmann、Aaron Mehrotra、Jan Paulick 的 BIS 工作论文(作者观点,不代表 BIS 政策)基于 130 多个经济体的外币存款与美元稳定币流入数据,比较稳定币美元化与传统存款美元化的动态和驱动。作者发现两者受相似宏观金融驱动因素影响(如汇率传导强度、主权或银行危机),且均具有较强持久性,一旦形成难以逆转;两者之间几乎没有替代关系的证据。与存款美元化不同,稳定币流入似乎基本不受广义或特定资本流动限制影响,作者认为这可能因为稳定币部分在监管范围之外流通。历史数据显示,适度存款美元化与略高的通胀风险相关,但对货币政策传导影响的证据有限。当前材料仅为作者摘要与元数据,未读取论文全文,方法与数据细节未核验。
推荐理由:作者指出稳定币流入基本不受资本管制约束,因其部分在监管范围外流通。
作者提出并估计了一个面向二元预测市场的波动率模型,结合 Wright-Fisher 到期结算机制与 Glosten-Milgrom 订单流机制,使用 Kalshi 大面板合约数据进行估计。作者称结构变量具有较强预测力,普通 ARCH/GARCH 基准被结构设定超越,结构方差乘以 GARCH 乘子的整体表现最佳;结构项决定条件方差水平,GARCH 递归修正区间时点。模型还显示波动率在接近五五开价格时最高、临近结算时上升,经济类合约更平滑而体育类合约更呈跳跃式。作者指出按类别分别重估未改善样本外表现。当前材料仅为作者摘要与元数据,未读取论文全文,属预印本,未核验是否经同行评审。
Shi Ruisheng等作者的预印本论文提出ProxyMark,称门罗币集成Tor网络时存在结构性漏洞:节点发起的交易在进入明网前只会经由两个Tor隐藏服务代理节点转发,攻击者占用目标节点的出站连接即可捕获其发起的交易。该框架分三步实施,包括节点角色识别、发起交易识别和节点位置去匿名化,作者在真实Tor网络、门罗币主网和测试网上进行了实验验证。论文为预印本,尚未经过同行评审,仅取得摘要与元数据。
Boris Hofmann、Matthias Kaldorf、Matthias Rottner 在 BIS 数字资产工作论文 1363 号中提出一个将稳定币嵌入宏观金融与银行框架的量化模型。作者摘要指出,稳定币通过两条方向相反的渠道影响经济:银行放贷渠道(家庭增持稳定币推高存款利率、增加银行资金成本、减少贷款供给)和财政空间渠道(发行方购买国库券降低主权融资成本、扩大财政空间)。以美国校准的模型显示,基准情形下长期产出小幅下降,银行放贷渠道略占上风;财政空间渠道在转型期启动更快,使短期产出显著为正。净效应取决于储备资产监管设计、外需强度和财政状况。当前材料仅为作者摘要与元数据,未读取论文全文,方法与数据未核验。
推荐理由:模型区分银行放贷与财政空间两条方向相反的渠道,短期产出为正、长期转为小幅收缩。
BIS 工作论文作者分析 2025 年 USDT、USDC、PYUSD 三种美元稳定币的 5.93 亿条事件日志、1.41 亿笔以太坊交易,区分单笔转账事件与可打包多步操作的交易。作者发现约三分之一稳定币交易包含多个步骤,部分操作超过 1,000 步,近 60% 的转账事件发生在复杂交易中;若把每笔转账当作独立支付,会误判近六成事件并高估转账笔数与金额。三种稳定币在交易复杂度、紧急度、时点和协议集成上差异明显。结果仅代表作者观点,不代表 BIS 政策,方法与数据未核验全文。
推荐理由:把每笔转账当独立支付会误判近六成事件,复杂交易才是稳定币活动的常态。
一篇预印本(未经同行评审)提出 Fast TetraBFT,在现有 TetraBFT 上加简单快速路径包装,把正常情况延迟从 5 个消息延迟降到 3 个,作者称保留了原有有界空间需求与低通信复杂度。作者指出 ForgetIT 虽也达到 3 个消息延迟的最优正常情况延迟,但设计高度复杂,其复杂度并非必要。结果为作者在部分同步网络下的理论与实验结论,不代表主网已实现。
Elkana Tovey、Yossi Gilad 和 Aviv Zohar 在 IACR ePrint 发布预印本,提出混币机制 AuditPay,通过审计预算实现可控监管:审计者每个周期(如一小时或一天)可监控预算数量内的地址,用户不知哪些地址被监控。设计采用选择性加密与审计密钥编码,由轻量零知识证明强制执行,无需用户自愿交出查看密钥。作者在以太坊上实现原型并称性能与 gas 开销适中;该论文为预印本,未经同行评审。
作者 Yitebeier Aikebaier 在 IACR ePrint 发布 SoK 论文,研究不改写公链记录、通过销毁读取链上数据所需的密钥材料实现 GDPR 第17条与 EDPB 指南的删除要求。论文将文献按数据位置、密钥托管、访问控制整理为十二格框架,提出密钥生命周期敌手模型,并证明 Destruction-IND-CCA 概念可形式化 EDPB 的不可恢复标准;对七种架构按十一项标准评估,识别出后量子删除安全等五个开放问题。材料为作者摘要,未经同行评审。