该论文针对以太坊中的分布式随机数信标 RANDAO 协议进行了安全性分析，提出了"分叉 RANDAO"（Forking the RANDAO）攻击概念。RANDAO 是以太坊协议中用于产生不可预测随机数的机制，其安全性依赖于多个参与者提交随机数混淆值并最终揭露的流程，然而该机制存在潜在的操纵窗口。研究者深入探讨了 RANDAO 在设计上的缺陷，分析了攻击者如何利用以太坊网络分叉、延迟揭露、重排交易等方式影响最终随机输出，从而获利（例如在预言机、抽奖、区块提议者选举等随机性依赖场景中）。论文构建了形式化模型来描述攻击面，并通过模拟和实证数据评估了攻击的可行性与影响程度，展示了在特定条件下攻击者能够以显著概率偏置随机数生成结果。该研究不仅揭示了以太坊现有随机数机制的脆弱性，还讨论了可能的缓解方案，如 VDF（可验证延迟函数）的使用、协议改进或链下随机信标的替代方案。对于区块链安全研究者、以太坊核心开发者以及依赖链上随机性的 DApp 开发者而言，这篇论文提供了重要的理论参考和风险评估依据。

LaKSA 是一种面向大规模节点场景的链式权益证明（Proof-of-Stake）协议，旨在解决现有权益证明系统在可扩展性、交互复杂度和确认时延方面的不足。该协议通过引入轻量级委员会投票机制，大幅降低了节点间的通信开销，从而在保持安全性的同时支持更多参与节点。与主流 PoS 协议相比，LaKSA 在区块确认过程中采用概率性安全保证，允许客户端根据自身区块链视图计算交易被回滚的概率，从而在最终性与确认速度之间取得可调平衡。论文还解决了以往系统中的高奖励方差和长确认时间问题。作者给出了完整的协议设计、安全分析、实现与评估结果。此外，他们提出的安全证明技巧具有通用性，可移植到其他 PoS 协议中，为同类系统的形式化验证提供了新思路。该工作对区块链共识机制的研究者和构建大规模去中心化应用的开发者均有参考价值，但限于论文摘要信息，其具体安全假设和面向实际部署的细节仍需查阅全文才能确认。

本文提出了一种名为 Reckle trees 的新型向量承诺（vector commitment）方案，其核心创新在于将简洁递归论证（succinct RECursive arguments）与 Merkle 树相结合，从而实现对批量证明（batch proofs）的高效更新。在区块链场景中，随着新区块不断产生，Merkle 树中的叶子节点会持续变化，传统的批量证明需要重新计算，成本高昂。Reckle trees 通过引入一种基于哈希的累加器（称为 canonical hashing），将批量哈希的计算嵌入到递归 Merkle 验证过程中。这种设计使得当任意 Merkle 叶子（无论是否属于当前批量）发生变化时，批量证明可以在对数时间（O(log n)）内完成更新，同时只需维护一个存储先前计算所得递归证明的数据结构。此外，在具备足够并行计算能力的前提下，批量证明的计算时间可达到 O(log n) 的并行复杂度，且与批量大小无关。基于 Reckle trees 的框架，作者进一步提出了 Reckle+ trees，将可更新且简洁的证明能力扩展到某些类型的 Map/Reduce 计算场景。具体而言，证明者可以对内存 M 进行承诺，并为针对 M 的某个子集 I 执行的 Map/Reduce 计算生成简洁证明；当 I 或 M 发生变化时，该证明可以高效更新。论文主要贡献包括：形式上定义了 Reckle trees 的安全性和更新算法，给出了具体构造，并通过实验或复杂度分析展示了其在区块链动态数据流中的实用优势。该研究面向密码学、区块链底层协议和可验证计算领域的研究者，尤其适用于需要动态维护证明的轻客户端、跨链桥和状态通道等场景。

该论文聚焦于区块链系统中广泛使用的哈希时间锁定合约（HTLC）的激励兼容性问题。HTLC是支付通道、原子交换等应用的基础原语，但存在激励不兼容且易受贿赂攻击的缺陷。现有最优方案MAD-HTLC（Oakland'21）利用矿工追求利润的特性来抵御贿赂攻击，但本文指出MAD-HTLC仅考虑了矿工的被动策略集，仍然存在脆弱性。作者提出了一类新型的“反向贿赂攻击”（reverse-bribery attacks），展示了矿工可以采取的主动策略来破坏MAD-HTLC并获利，同时损害MAD-HTLC用户的利益。论文详细描述了攻击的实现和博弈论盈利分析。基于这些发现，作者设计了新的HTLC实现——He-HTLC，该方案在更强的对手模型下可证明安全，能够抵抗所有可能的策略操纵（包括被动和主动）。此外，He-HTLC还具备低抵押且用户可调整等实用特性，使其更易于部署。作者在比特币上实现了He-HTLC，其交易成本与比特币平均交易费用相当。该研究为HTLC的激励兼容性提供了更深入的理解，并提出了一种更安全的替代方案。

该论文提出了一种名为“乐观可验证声明”(Optimistic Verifiable Claim, OVC)的区块链协议，用于解决去中心化制造中的预签约僵局：服务提供商若不查看设计文件就无法准确报价，而消费者若分享设计文件则会暴露知识产权。OVC允许消费者发布关于隐藏设计的可验证声明（例如材料消耗量），提供商无需看到设计即可据此定价和投标。该声明在服务发布时提交，除非被选中的提供商质疑，否则一直有效；质疑会触发确定性的链上检查，揭露任何不诚实行为，设计仅在解决争议时披露，在诚实路径上从不公开。作者在Solidity中实现了四项检查（授权密钥访问、交付通道完整性、语法一致性、声明材料消耗），并在真实6.41 MB的G-code文件（3DBenchy）上，于以太坊、Arbitrum和opBNB三个网络上进行了测量。结果显示，每项服务无论是否发生争议，都需要承担发布加密设计的成本。对于3DBenchy，无争议结果在以太坊上花费7207美元（最多9小时），在Arbitrum上花费288美元（3分钟），在opBNB上花费2.87美元（2分钟）；完全争议结果在以太坊上花费49660美元（最多57小时），在Arbitrum上花费1988美元（19分钟），在opBNB上花费19.73美元（13分钟）。成本和时间随文件大小增长：对于50 MB的工业设计，无争议服务在以太坊上达到56173美元和最多3天，而在opBNB上仅为22.36美元和16分钟；完全争议在以太坊上达到488440美元和最多18天，而在opBNB上仅为195美元和1.6小时。四项检查中，材料消耗检查成本最高，其谓词在链上评估最昂贵。OVC使得基于声明的机密投标在Arbitrum和opBNB上经济可行，但在以太坊上无法实现工业规模。该研究面向区块链系统设计者、去中心化制造平台开发者以及对隐私保护投标机制感兴趣的研究人员。

该论文提出了 Twilight，一个差分隐私的支付通道网络。支付通道网络（PCN）作为区块链的扩容方案，通过链下交易提升吞吐量，但现有方案缺乏对交易金额和路径的强隐私保护。Twilight 引入差分隐私机制，通过在路由过程中注入受控噪声，并利用隐私预算分配策略，在隐藏交易细节的同时不影响通道余额的正确性。论文设计了两种变体：Twilight-I 关注边隐私，Twilight-P 关注路径隐私，分别适用于不同场景。实验基于 Lightning Network 的真实拓扑模拟，评估了延迟、成功率和隐私损失，表明 Twilight 能在可接受的性能开销下达到强隐私保障。主要贡献包括：形式化定义 PCN 中的差分隐私需求，提出兼容现有路由算法的隐私保护扩展，以及提供实用性指导。该研究适合隐私保护、区块链扩容和差分隐私应用领域的研究者阅读。由于仅基于标题推测，具体细节待原文验证。

本文是DeFi '24研讨会的会议报告，聚焦于去中心化金融（DeFi）及其安全性问题。研讨会汇集了学术界和工业界的研究人员，旨在探讨DeFi生态系统中的新兴安全威胁、漏洞模式、攻击案例以及防御机制。主要讨论主题包括：智能合约漏洞（如重入攻击、闪电贷攻击、预言机操纵）、经济安全（如MEV、套利策略）、跨链桥风险、以及去中心化治理安全。此外，还涉及了形式化验证、运行时监控和异常检测等安全分析技术。会议强调了DeFi安全面临的独特挑战，例如代码不可变性与经济激励的复杂交互。该报告为DeFi安全社区提供了当前研究方向和关键问题的全面概述。

该论文研究如何利用许可区块链系统来度量框架实施成熟度，而非传统的静态合规验证。现有网络安全与隐私框架（如NIST SP 800-53、ISO/IEC 27001、GDPR、HIPAA）的采用通常通过点审计、自我声明和分散的证据审核来评估，导致控制措施的一致性、独立验证性和长期可持续性难以保证，尤其在依赖第三方供应商的环境中问题更为突出。论文以医疗远程患者监控（RPM）为例，描述了多供应商生态系统中合规义务跨越组织边界、由多个独立评估者进行评估的场景。作者提出了一个基于区块链的第三方风险评估（TPRA）框架，该框架通过可编程智能合约操作化评估工作流、实施多方治理、并保留纵向评估状态。在此基础上，引入了一套评估指标和定性成熟度模型，旨在评估合规控制是否在重复评估周期中可验证地实施、治理和持续。论文的主要贡献在于将区块链从简单的合规记录存储提升为动态成熟度度量的基础设施，为多供应商环境下的持续合规监控提供了新思路。适合安全架构师、合规工程师、医疗IT从业者及区块链研究者阅读。

本文研究了区块链上的状态不变交易（state-invariant transactions），即那些在包含或移除后除了交易费外不会改变区块链最终状态的交易。这类交易被认为是链上垃圾，因为它们消耗执行、带宽、存储和区块空间，却不贡献于账本最终状态。作者首次对以太坊、Optimism和Base三个区块链进行了大规模测量，识别出近14亿笔状态不变交易。结果显示，虽然以太坊中仅2.6%的交易是状态不变的，但在Optimism和Base上这一比例分别高达24%和37%，表明Layer-2区块链上存在显著的资源浪费。进一步分析发现，投机性的最大可提取价值（MEV）是Optimism和Base上状态不变交易的主要来源，分别占57%和68%，但并非唯一来源。此外，尽管投机性MEV很流行，在考虑状态不变交易成本后，它并不是最有利可图的策略。除了MEV，本文还发现了大量的恶意活动，例如以太坊上地址投毒攻击（address poisoning）占非回滚状态不变交易的53%。研究结论表明，减轻状态不变交易可以大幅减少区块链资源消耗和交易费用，同时限制钓鱼攻击和其他形式的区块链滥用。本文适合区块链安全研究人员、Layer-2设计者以及MEV研究者阅读。

该论文以形式化框架分析区块链安全保证与协议实现之间的内在关系。作者首先指出，不同区块链协议提供类型不同的安全保证：BFT 类协议（如 Algorand）通常在部分同步环境中安全，而最长链协议（如 Bitcoin）则需要更强的同步性才能确保安全。另一个关键区别是，某些协议（如 Algorand）能够产生不可抵赖的区块确认证书，而其他协议（如 Bitcoin）不能。这些属性是偶然的，还是协议设计范式的必然结果？作者利用 [12] 中开发的框架，证明了用户选取过程（如工作量证明 PoW 或权益证明 PoS）直接决定了安全保证的性质。具体而言，论文证明：对于工作量证明协议，产生确认证书是不可能的；而对于标准形式的权益证明协议，证书的产生是自动的。作为副产品，论文还定义了一系列安全概念，并鉴定它们之间的等价与不等价关系。该研究成果为理解无许可区块链协议的安全本质提供了理论基石，对区块链协议设计、分片等可扩展性方案的安全性分析具有指导意义。

本论文针对比特币所采用的Nakamoto共识（NC）协议在安全性与性能之间的固有权衡问题展开研究。现有大多数改进方案试图通过修改或放弃NC的骨干协议来突破这一权衡，而本文则另辟蹊径，从网络层入手进行分析。作者通过实验识别并证明，导致NC性能瓶颈的核心原因在于未完全传播的交易造成的区块传播延迟。基于此，他们提出了一种两步确认机制：首先等待交易在网络中完全传播，之后再将其纳入区块确认。该机制消除了安全需求对NC性能的限制，从而释放了NC的潜在吞吐能力。作者将此机制命名为NC-Max，并对其安全性进行了形式化分析，证明NC-Max相比NC能更有效地抵抗交易扣留攻击（Transaction Withholding Attack）。在性能评估中，NC-Max充分利用了网络支持的最大吞吐量，并在不牺牲安全性的前提下，将交易确认延迟缩短至NC的3.0至6.6倍。该协议已在公开无需许可区块链Nervos CKB中实现。本文的主要贡献在于从网络层视角解决了NC的安全-性能权衡问题，提出的两步确认机制具有较低的实现复杂度和较好的通用性，适合区块链共识协议研究者、加密货币系统开发者以及关注区块链性能优化的安全从业者阅读。

该论文旨在解决区块链数字货币系统之间跨链资产转移的安全与隐私问题。现有方案在原子性、不可链接性、不可区分性、无抵押性以及跨不同货币系统的功能方面通常存在不足。为此，作者提出了P2C2T——一种保护隐私的跨链转账方案。P2C2T基于作者同时提出的阈值匿名原子锁（TA²L），该锁作为核心原语，保证原子跨链转账的同时隐藏用户之间的支付关系。通过将TA²L与可验证定时离散对数方案相结合，P2C2T使得跨链交易与普通链内交易无法区分。P2C2T消除了发送方的抵押要求，并对底层区块链只有最低要求（即验证签名的能力）。作者基于提出的阈值盲条件签名概念严格证明了TA²L的安全性，并通过必要证明展示了P2C2T的安全性。此外，他们将P2C2T与现有最接近的方案进行性能对比，结果显示在完成一次跨链转账时，P2C2T在运行时间、通信成本和存储成本上至少降低了85.488%。最后，作者在比特币测试网和莱特币测试网上进行了跨链转账和链内支付实验，验证了P2C2T的隐私性和实用性。

该论文详细阐述了Themis共识扩展v1的设计与分析，该扩展由Mangata在2021年首次发布，旨在缓解区块链中的最大可提取价值（MEV）问题。MEV源于特权参与者通过选择、排除、插入或重新排序待处理交易以获取私利。Themis设计将价值提取分为重排序提取（VER）和拒绝提取（VED）两类。对于VER，区块构建和执行由连续的生产者完成：第一个生产者提交一个交易集，第二个生产者基于一个公开可验证、确定性且先前不可预测的种子，执行种子决定的、保持依赖关系的排列。对于选择性的VED，用户可以对指定构建者和执行者加密交易：构建者移除外层并提交不透明的内部密文；执行者仅在提交后才能揭示并执行明文。在自私但不合谋的验证者、低于底层共识故障阈值的对手、安全密码学和可问责角色表现的前提下，该结构限制了单方面提交后排序控制，并从中继和构建者处隐藏了交易意图。论文分析了概率提取、垃圾交易、依赖交易、解密活性、会话边界、完全拒绝和阈值联盟等攻击场景。同时记录了基于Aura的Substrate初始实现及其后续转向基于BABE的sr25519/VRF种子路径，以及延迟执行、Fisher-Yates洗牌和Xoshiro256++随机数生成器。最终方案保留了原始提案的核心思想，但将其主张严格限制在明确假设之下。该工作适合区块链底层技术、共识机制和去中心化金融安全的研究人员及开发者阅读。

本文提出了首个兼容比特币的虚拟通道协议。现有公开许可的加密货币如比特币面临交易速率低和确认时间慢的问题，支付通道是一种有效解决方案，但需要路径中所有中间节点参与，导致可靠性下降、费用增加和延迟。最近提出的虚拟通道概念（IEEE S&P'19）仅需中间节点在初始创建时参与，之后付款方和收款方可独立进行任意多笔链下交易，但现有实现仅适用于以太坊，因其依赖账户模型和图灵完备的脚本语言。本文基于UTXO模型设计虚拟通道协议，仅需要支持数字签名和时间锁功能的脚本语言，因此与包括比特币在内的几乎所有加密货币兼容。作者在通用可组合框架下形式化了虚拟通道的安全属性，并证明了协议的安全实现。在比特币区块链上进行了原型实现和评估：对于n笔连续支付，乐观情况下仅需链下交换9+2n笔交易或总共3524+695n字节数据，且无链上足迹；相比支付通道网络路由需要8n笔交易和3026n字节数据交换，有显著改进。

重复模平方运算是一种多功能计算操作，已催生出时间锁谜题（TLP）和可验证延迟函数（VDF）等时间密码学原语的实际构造，这些原语在区块链等领域有快速增长的应用列表。然而，现有方案在规模化实际应用前面临两个现实问题：首先，大多数用户无法持续执行计算任务；其次，由于缺乏启发式方法和经验，时间界限参数（T）的选择变得复杂。本文提出OpenSquare，一个去中心化的重复模平方服务，通过智能合约允许客户端将重复模平方计算外包给任何计算能力强大的服务器，服务器以不可链接的方式提供计算服务并获取奖励。OpenSquare解决了上述两个问题，使得时间密码学原语更易于部署和使用。

该论文首次系统研究了新兴支付协议x402的安全性问题。x402扩展了HTTP 402，为Web API和自主AI代理提供支付能力，其核心设计是将支付证明验证和链上结算委托给第三方促进者（facilitators），以实现跨商家的共享支付基础设施。然而，这种集中化信任模型引入了一个单点故障，一旦facilitator存在缺陷，可能波及所有依赖它的商家。作者通过对实际部署的facilitator进行深入分析，归纳了八项安全规则，涵盖授权正确性和执行安全性。在此基础上，他们发现了四种新型攻击向量：免费购物（攻击者可绕过支付获取服务）、资产盗窃（窃取facilitator持有的加密资产）、服务拒绝（阻止合法支付处理）和Gas滥用（恶意消耗赞助商支付的Gas费用）。这些攻击利用了facilitator实现中的逻辑漏洞和验证缺失，导致商家直接经济损失、facilitator资产损失、无限制的Gas消耗以及支付服务中断。为评估影响面，作者开发了一款半自动化黑盒测试工具，并将其应用于15个主流facilitator（这些平台合计服务超过6万名卖家和36万名买家）。测试结果令人震惊：所有15个facilitator均存在违反安全规则的行为。作者已向受影响方（包括Coinbase）负责任的披露，相关方已承认问题并采取缓解措施。此外，作者通过对超过1.19亿笔Base和Solana区块链上的交易进行实证分析，量化了x402的采用规模、facilitator的中心化程度以及生态系统层面的风险指标。该研究揭示了当前x402生态中的重大安全隐患，强调了在去中心化支付基础设施中加强安全验证的必要性。

论文提出AMLGuard，一种面向账户型区块链的语义感知反洗钱(AML)框架。针对DeFi生态中日益频繁的加密货币安全事件，攻击者通常在被盗后迅速通过复杂交易转移资产、隐藏非法资金来源并最终兑换为法定货币。现有AML方法难以处理DeFi交易的语义复杂性：要么依赖低层级代币转移，要么进行与协议无关的资金流分析，无法捕获交易的高层意图。AMLGuard通过语义分析追踪来自已知恶意地址的非法资金流，实现准确、持续的洗钱追踪。对复杂交易，AMLGuard结合静态规则分析与检索增强的大语言模型(LLM)推理，推断隐式DeFi语义，将原始交易数据转化为高层语义表示。对跨链交易（洗钱意图不显式暴露），AMLGuard解析交易参数并进行参数分析以恢复跨链语义，实现跨账本的无缝追踪。基于推断语义，AMLGuard将每笔交易抽象为DeFi语义单元(DSU)。在82个真实洗钱案例（涉及超过10亿美元非法资产）上的评估显示，AMLGuard重构的紧凑资金流拓扑在单一链和跨链数据集上的目的地精确率分别达94.4%和87.6%，地址召回率最高达98.4%和95.8%，目的地召回率最高达94.1%和93.8%。

该论文研究了区块链智能合约中依赖外部报告的问题。现有机制在安全性与性能之间存在权衡：依赖少量受信报告者会引入中心化风险，而允许开放报告则导致链上报告数量过多。作者指出，根本原因在于对称奖励设计，即对所有报告一视同仁。论文证明，任何对称奖励机制都无法克服这一权衡。为此，他们提出了 Prrr（Personal Random Rewards for Reporting）协议，该协议为报告分配随机的、非统一的奖励值，引入了一种新型机制设计概念——事前合成不对称性（Ex-Ante Synthetic Asymmetry）。据作者所知，Prrr 是第一个有意构建参与者不对称性的博弈论机制（在任何领域中）。Prrr 采用类似第二价格拍卖的结算方式分配奖励，确保激励兼容性，并同时实现安全性和效率。遵循该协议构成子博弈完美纳什均衡，能够抵御合谋和女巫攻击。Prrr 适用于众多依赖及时报告的智能合约。

该论文对区块链可提取价值（BEV）进行了全面的量化分析，旨在回答“BEV的黑暗森林到底有多暗”这一核心问题。研究覆盖了32个月内的以太坊区块链数据，涉及49,691种加密货币和60,830个链上市场。作者通过分析三种主要的BEV提取方式：三明治攻击（sandwich attacks）、清算（liquidations）和去中心化交易所套利（DEX arbitrage），估计总利润达5.4054亿美元，分布在11,289个地址中。其中单一BEV实例最高达410万美元，是以太坊区块奖励的616.6倍。此外，该论文首次提出了通用交易机器人（generalized trading bots）的具体算法，该算法无需理解受害者交易的底层逻辑即可替换未确认交易，经测试在32个月内获得57,037.32 ETH（约3537万美元）的利润。最后，论文形式化分析了新兴的BEV中继系统（relay systems），指出矿工从中继服务器而非P2P网络接受BEV交易会加剧共识层攻击，进一步威胁区块链安全。该研究对理解BEV的实际规模、风险以及设计防御策略具有重要学术价值和实践指导意义。

本文研究了链下数据存储中的加密审计调度问题，将其建模为部分可观测约束马尔可夫决策过程（CMDP）。存储节点的隐藏类型和腐败状态构成部分可观测的POMDP，同时缺失率上限ρ施加了显式安全约束。作者提出DRQN-CMDP方法，采用深度递归Q网络，其GRU层维护对潜在节点类型的信念，并结合拉格朗日对偶上升自动调整缺失率惩罚λ。此外，利用免配对同态MAC原语实现O(1)链上验证成本。在13种方法（包括四种DQN变体、PPO、A2C、PPO-Lagrangian、状态贝叶斯启发式、三种固定规则基线及一个先知启发式）的对比中，DRQN-CMDP实现了有利平衡：比固定高频审计降低83%的Gas费用，单位数缺失率（7.5%），以及适中的检测延迟——这是其他方法无法同时满足三个目标的组合。实验表明该方法在成本、安全性和及时性之间取得了最优折中。适合研究区块链安全、审计调度和强化学习的读者。

动态频谱共享（DSS）是下一代无线系统的关键，但现有方案如频谱接入系统（SAS）依赖集中式管理员，暴露敏感操作元数据且缺乏加密交易问责性。尽管SAS管理员（如Google）引入了按需付费定价模型，但随着DSS向更开放和大规模的频谱市场演进，这些方法仍面临隐私和问责挑战。本文提出SpexPay，一个隐私保护且可审计的按需付费频谱使用框架，能在不泄露用户身份的情况下实施细粒度、与使用量挂钩的支付。SpexPay集成BBS+可验证凭证、不可链接会话假名和选择性披露证明，实现隐私保护访问授权，同时利用基于Solidity的智能合约实现自动且不可否认的托管结算。系统仅在链上记录假名使用证据和哈希链计量数据，实现强不可链接性，同时保持可验证的问责性和可审计性。完整原型展示了低端到端延迟（约150毫秒）和适中的链上成本（约603K gas或约0.9美元），表明SpexPay在实际DSS部署中是可行的。还在Raspberry Pi 5上评估了用户端密码操作，以评估可扩展性和对边缘级硬件的适配性。代码和工件公开可用。

区块链平台已发展成由多个独立网络组成的生态系统，越来越多的应用需要不同链上的智能合约协同工作。这类操作必须满足原子性，但区块链的不可篡改性使得原子性实现面临根本性挑战：已确认的交易无法撤销，因此经典原子提交协议依赖的回滚机制不可用。这带来两个问题：合约状态必须在操作结果未知时被持有，且每条链的执行结果必须在无法观察其他链的情况下确定。针对这些问题，本文提出一种通过前向修正实现原子性的框架，即通过新的链上交易而非回滚来纠正未完成的操作。框架限定了合约状态的持有时间，将争用限制在操作所触及的状态上，并基于每条链执行结果的链上记录来确定操作结果，无需依赖任何单一的协调方。该工作为异构区块链上通用智能合约操作的原子协调奠定了基础。对于安全分析师而言，该研究有助于理解跨链原子性缺失的风险（如双花或状态不一致），以及如何通过设计避免回滚带来的安全漏洞。

本文研究了新冠病毒PCR检测供应链的安全性问题。PCR检测是疫情防控的核心手段，但其供应链涵盖试剂生产、冷链物流、实验室分析及数据上报等环节，每个环节都可能成为攻击目标。作者首先识别了供应链中的关键脆弱点，如试剂成分被替换或稀释、温度监控失效导致样本降解、检测结果被中间人篡改等。针对这些风险，论文提出了一种基于区块链的供应链追踪与验证框架，通过将每个环节的关键数据（试剂批号、温度记录、操作人员、检测结果哈希）记录到不可篡改的分布式账本上，实现全流程可追溯性。同时引入智能合约自动执行合规检查，当检测到异常（如温度超限、时间戳不连续）时触发警报。在仿真实验中，该框架成功检测出90%以上的模拟攻击场景，并能在秒级内完成验证。但框架的实时性受限于区块链确认延迟，且部署需要改造现有流程，成本较高。论文还讨论了隐私保护方案，如使用零知识证明隐藏具体数据内容。本文为医疗供应链安全提供了新的技术思路，但尚未经过真实大规模部署验证。适合从事医疗网络安全、供应链安全及区块链应用的研究人员阅读。

本文提出了一种加权批量阈值加密（Weighted Batched Threshold Encryption, WBTE）方案，旨在解决区块链内存池（mempool）中的交易隐私问题。在区块链系统中，交易在打包进区块前会先广播到mempool，攻击者可以监控mempool获取交易信息，进行抢先交易或拒绝服务攻击。传统的阈值加密允许一组参与者共同解密，但无法区分不同交易的重要性。WBTE引入加权概念，为不同交易分配不同权重，只有累积权重达到阈值才能解密，从而允许节点根据优先级处理交易。方案支持批量处理，提高效率。作者形式化了安全模型，并基于双线性映射构造了具体协议，证明了其在选择密文攻击下的安全性。实验表明，该方案在以太坊环境下的开销可接受，能有效抵御抢先交易攻击。本文适合区块链安全研究人员、加密协议设计者以及关注DeFi隐私的从业者阅读。

本文提出Jigsaw系统，旨在实现双重隐私保护的智能合约，即同时保护合约的输入数据和合约逻辑（代码）的隐私。传统的智能合约在区块链上公开执行，导致交易数据和合约代码对所有节点可见，存在隐私泄露风险。Jigsaw结合了安全多方计算（MPC）和零知识证明（ZKP）等密码学技术，设计了一种新的协议，允许合约参与方在不泄露各自输入和合约逻辑的情况下协同执行计算，并验证结果的正确性。系统架构采用分片（sharding）和秘密共享机制，将合约状态分割成多个秘密份额，分布在不同节点上，任何单个节点无法获取完整信息。实验评估表明，Jigsaw在以太坊测试网络上运行具有可接受的性能开销，相比现有完全同态加密或MPC方案，在延迟和吞吐量方面有所优化。本文的主要贡献在于提出了首个同时满足输入和代码隐私的智能合约系统，并给出了形式化安全证明和原型实现，为区块链隐私保护研究提供了新的方向。

该论文提出 Sieve-MMR，一种首个完全无许可的共识协议，同时实现了确定性安全和恒定预期延迟，且不依赖外部机制。现有的无许可区块链共识主要分为工作量证明（PoW）和权益证明（PoS）两类，但各有缺陷：PoS 易受长程攻击（攻击者可以低成本篡改历史），PoW 易受拥有足够算力的攻击者攻击，且通常只能提供概率性安全或牺牲性能。作者通过将 PoS 协议 MMR 移植到 PoW 环境获得 Sieve-MMR，继承了 MMR 的恒定预期延迟和确定性安全，并利用 PoW 抵御长程攻击。移植的主要挑战是“时间旅行攻击”：攻击者利用过去生成的 PoW 来增加当前感知的算力。为此，作者提出 Sieve 算法，实现了一种名为“时间旅行抵抗广播”（TTRB）的新型广播原语。Sieve 通过黑盒确定性 PoW 原语实现 TTRB，并将其作为 MMR 的消息层。论文实验证明了 Sieve-MMR 的有效性。

该论文针对学术证书验证长期存在的难题——个人机构独自保管记录导致验证缓慢、手动、且假证书横行——提出了一种基于区块链的身份绑定学术证书注册系统。现有区块链证书方案通常仅锚定证书哈希，不绑定可验证身份，缺乏明确的发行机构认证机制，且不支持证书签发后的更正或撤销。研究者借鉴受监管金融工具基础设施的设计思路，将OnchainID（ERC-734/ERC-735）自主权身份与T-REX套件（ERC-3643）组合：利用T-REX中的可信发行者注册表作为链上发行机构认证白名单，每个证书表示为可签名的、可更新的声明，绑定到学生身份，任何第三方无需钱包即可验证，敏感字段则保存在链下。文章明确指出了可转移证券代币标准与不可转移凭证之间的张力，澄清了哪些保证可以继承。通过一个覆盖证书完整生命周期的参考实现验证了设计，并从gas成本、可扩展性、延迟和安全性方面进行评估，量化了相对于哈希锚定基线的额外开销。该工作为学术证书的可信、可互操作、可管理区块链解决方案提供了新思路。

传统智能合约在区块链上执行的成本高昂，尤其是在以太坊等平台上，随着费用飙升，复杂应用变得不切实际。链下执行是一种有前景的解决方案，但现有方案存在诸多缺陷，如昂贵的区块链交互、缺乏数据隐私、资本成本高（因需要锁定抵押品）或仅支持有限的应用场景。本文提出了一种实用的链下智能合约执行协议POSE（Practical Off-chain Smart Contract Execution），通过利用可信执行环境（TEE）池高效执行计算，并能够快速从意外或恶意故障中恢复。POSE提供了强大的安全保证，即使大量参与方被攻破也能保持安全性。作者对概念验证实现进行了效率和有效性评估。该协议适用于需要高吞吐量、低成本和隐私保护的智能合约应用场景，如金融产品、拍卖和游戏等。

本文提出了一种名为 Alba 的可扩展区块链桥接方案，旨在解决现有跨链桥在高吞吐量、低延迟和安全性方面的权衡问题。研究背景在于当前区块链桥多采用中继或公证人机制，受限于单链性能瓶颈，难以支持大规模资产转移。Alba 引入了一种新的架构，通过利用轻量级的同步协议和高效的状态验证，实现了跨链消息的快速确认。核心方法包括基于聚合签名的批量证明和乐观验证机制，减少了链上验证开销。实验证明，Alba 在测试网络中实现了数倍于现有方案的吞吐量，同时保持了与底层链相同的安全假设。该工作主要贡献在于提出了一个无需信任且可水平扩展的桥设计，适用于多链生态。适合区块链安全工程师、跨链协议开发者阅读。

本文是Cardano区块链Voltaire治理系统的完整技术规范与研究议程报告。Cardano的Voltaire治理系统通过CIP-1694引入，并于2024年9月Chang硬分叉后正式启用，旨在解决去中心化协议演进中的适应性、安全性和利益相关者代表性之间的平衡问题。论文首先提供了Voltaire机制的完整技术规范，包括三体架构（三个治理主体：代表、宪法委员会和权益池运营者）、七种治理行动类型（如硬分叉、参数更改、资金提取等）、投票规则（基于权益的投票，需达到特定阈值）以及宪法框架。该规范足够详细，可用于直接实现或形式化分析。其次，论文建立了一个原则性治理优化的研究议程，包括设计基于智能体的仿真平台、分析委托动态、优化多目标参数以及博弈论激励设计。作为初步结果，作者提出一个形式化治理内核：一个最小可执行模型，将自修正治理建模为状态转换系统，从而支持严格的安全性和活性分析。该报告还指出，Voltaire系统目前管理着一个价值约2.35亿美元（截至2026年7月初为14.7亿ADA）的财库，是一个大规模活实验室，邀请研究社区通过严谨研究推进区块链治理科学。

区块链中的抢跑（front-running）是一个持续存在的安全问题。区块链本质上是执行交易（指令）的状态机，用户通过发布有价值的功能性交易来获得奖励。攻击者观察到这些交易后，在其之前发布自己的类似交易，从而抢夺奖励，削弱用户发布功能性交易的动机。解决抢跑意味着需要强制因果顺序：如果攻击者收到交易 tx_A 然后发布交易 tx_B，那么 tx_A 必须在 tx_B 之前执行。然而，这种因果关系只有攻击者自身能观察到。现有系统通常按出价金额排序交易，出价高的交易优先执行，但这只会导致出价竞争，进一步侵蚀用户奖励。许多排序方案被提出，但均未能实现因果顺序，用户仍易受抢跑攻击。本文提出 PRECEDE，一种通过消除抢跑经济激励来强制交易因果顺序的机制设计方法。PRECEDE 采用幂加权随机抽签（power-weighted randomized lottery）对交易排序，其中获胜概率随出价超线性增长。用户以威慑性出价发布交易构成一个均衡，在此均衡下攻击者放弃竞争。此外，PRECEDE 能够防御依赖抢跑的典型三明治攻击。PRECEDE 只需简单修改交易排序机制，即可直接部署在任何抗审查的区块链中。

本文提出Blitz，第一个无需两阶段提交就能实现安全的多跳支付方案。在闪电网络等支付通道网络中，多跳支付需要保证原子性：要么所有中间节点都收到资金，要么所有节点都不收到。现有方案依赖两阶段提交（2PC），但2PC在异步网络中可能因中间节点离线或恶意行为导致锁定资金被无限期锁定，且需要复杂的数据结构如HTLC。Blitz通过引入新的密码学原语“条件数字签名”和“可验证秘密重分配”，实现了无需两阶段提交的原子交换。具体地，发送方生成一系列条件签名，中间节点只有在前一跳成功转移资金后才能解锁下一跳，从而避免资金锁定风险。Blitz还支持离线接收方，并提供了对现有闪电网络协议的向后兼容性。实验表明，Blitz在通信轮次和计算开销上均优于基于2PC的方案，通信开销减少约50%。论文还证明了Blitz在通用可组合安全模型下的安全性。该工作对支付通道网络的扩展性和用户体验有重要改进。

该论文研究了基于有向无环图（DAG）的区块链协议，旨在解决CAP定理中活跃性（动态可用性）与安全性在网络分区下的权衡。论文提出了两类协议：结构化传播（针对活跃性）和分级公共前缀（GCP，针对安全性）。对于第一类，作者首次提出了具有恒定预期延迟（3Δ）的DAG协议，在睡眠模型下实现高吞吐量动态可用性，吞吐量随参与度线性扩展，并通过原型验证了性能优势。第二类GCP原语提供了网络分区下的安全性，但弱于标准共识，仅需2个通信步骤（现有低延迟部分同步BFT需4步），且不易依赖单一领导者，对崩溃更鲁棒。实验验证了理论优势。此外，论文将协议扩展到Ebb-and-Flow框架，集成两种协议，实现了混合DAG协议：高吞吐量、动态可用性以及网络分区下的最终性，无需像现有工作那样运行两次标准共识协议。适合对区块链共识、分布式系统容错、性能优化的研究人员和工程师阅读。

该论文研究将电信/IoT欺诈控制重新定义为区块链链接的可审计决策管理问题。传统欺诈控制研究通常止步于检测器级别的分类，而实际部署需要请求级别的策略决策、生命周期可追溯性和可审计性。论文提出一个框架，将每个合成部署记录映射为受管理请求，通过确定性硬欺诈门控阻塞显式越界情况，然后使用集中式机器学习（M1）、联邦元学习（M2）或LLM家族风险源（M3）对非硬欺诈请求进行评分，并通过共享五状态策略、两区优化机制和本地以太坊兼容审计层解析行动。实验使用独立的合成训练数据和10万条部署重放语料库，结果显示：在验证集上，M1在合法请求假阳性率（FPR）0.0890（操作上限0.10）和软欺诈召回率0.8341下表现最佳；但在标记部署重放中，合法FPR差距扩大：M1升至0.1646，M3-QLoRA升至0.1801，而M3-QLoRA将M3-Base的合法FPR从0.3915降至0.1801，软欺诈召回率达0.8240。区块链遥测表明，生命周期gas、成本、延迟和吞吐量差异由提交的链下决策配置文件驱动，而非欺诈逻辑变化。主要贡献是展示了QLoRA微调LLM分支比零样本提示更可用，但主要接近而非超越低成本的集中式集成。适合研究可审计欺诈决策管理和区块链集成安全的研究人员阅读。

分片是区块链扩展的关键技术，通过将网络划分为多个分片并行处理交易，同时依靠片内和跨片共识协议保证一致性。然而，本文发现分片系统存在严重的交易顺序操纵漏洞：片内共识与跨片共识协调期间，攻击者可利用“最终化公平性”（finalization fairness）缺失实施前置运行攻击（front-running attack）。即使受害者的交易已被公平的片内共识处理并上链，攻击者仍能通过操纵跨片交易的最终化顺序，改变全局执行顺序，从而获利。为应对此问题，作者提出Haechi协议——一个抗前置运行攻击的跨片共识方案。Haechi在交易处理与执行之间引入排序阶段，保证交易的执行顺序与处理顺序一致，实现最终化公平性。针对不同分片共识速度差异，Haechi内嵌最终化公平算法，以最小性能损失达成全局公平顺序，并提供强一致性，提升冲突交易处理的并行度。作者使用Tendermint实现了Haechi，并在亚马逊云地理分布式环境进行实验。结果表明，与现有跨片共识协议相比，Haechi能有效阻止前置运行攻击，且性能开销极小。该工作为分片区块链的安全性和实际部署提供了重要参考。

本文针对私有区块链网络中验证节点固定配置无法适应动态工作负载的问题，提出了一种基于Takagi-Sugeno（TS）模糊推理系统的闭环动态缩放控制器。私有区块链通常运行在固定节点配置下，当负载较轻时过多节点浪费资源，负载较重时节点不足导致区块生产缓慢和最终确认延迟。该控制器读取实时区块链参数（区块生产时间、区块大小、活跃节点数），通过三角隶属函数将这三个输入量化为三个语言变量（低、中、高），并基于完整的27条规则库（使用乘积t-norm聚合）输出连续效率评分以及缩放建议（增加、维持、减少）。关键贡献在于对隶属函数进行了经验性重新校准，将语言术语锚定在测试床的实际运行范围内，而非理论极值。实验在基于Substrate的10节点私有区块链网络上进行，该网络存储了来自昆士兰政府开放数据门户的真实智能水表数据哈希。统计分析针对4、7、10个活跃节点的配置，确认控制器产生了反映每种配置供应状态的独特运行剖面。在闭环实验中，控制器能够双向自动调整验证节点参与：在负载上升时激活节点，在过度供应时移除节点，从两个方向收敛到相同的稳定均衡。与三个基于阈值的基线相比，该控制器在保持可比区块生产时间的同时，显示出更少的缩放振荡。结果表明，TS模糊推理可以支持私有区块链部署中的自主验证节点管理，其稳定缩放行为是阈值方法无法比拟的。本文适合区块链系统研究者、共识机制设计者以及关注资源优化的运营者阅读。

本文提出嵌入式区块链基础设施管理（eBIM）概念，这是一种基于RISC-V开放指令集架构的软硬件协同设计框架，旨在解决当前区块链基础设施管理中的信任、灵活性和数据主权问题。传统区块链即服务（BaaS）模型将基础设施控制权外包给第三方服务商，导致系统性地丧失信任、灵活性和数据主权。RISC-V因其开放、模块化、可扩展的特性，为区块链提供了一种开放、底层、可编译、可验证且可扩展的通用计算基础。受eSIM（嵌入式SIM）发展和特性的启发，eBIM被定义为一种面向区块链基础设施管理的软硬件协同范式。本文对支撑eBIM的研究和技术进行了全面综述，回答了三个研究问题：什么是eBIM？eBIM如何工作？eBIM能做什么？通过引入eBIM概念，本文为研究人员、硬件架构师和协议设计者在这一快速发展的领域建立了基础参考，涵盖密码学加速、可信执行环境、零知识虚拟机以及智能合约执行引擎等方向。最后，本文指出了eBIM的前景和未来研究方向。

本文提出了一种名为 NARAD（Non-colluding Aggregator-oblivious Record-And-Decrypt）的电子投票架构，旨在在不依赖可信密钥分发中心的前提下，同时保护投票隐私并允许公开验证。每位投票者在浏览器中使用自生成的密钥，基于 Paillier 加法同态加密系统对选票进行加密，且没有任何一方持有全部密钥。系统通过两个服务器角色分工完成计票：收集者（Collector）将每张选票的辅助值聚合为单个群元素；聚合者（Aggregator）利用该元素在同态乘积中消除投票者的随机掩码，恢复精确的投票总和，从而得知结果但无法获知个人投票。Solana 区块链不可变地记录每个密文并强制执行选举生命周期，而原生 C 库（libtommath）执行高性能模运算。论文明确了协议正确的六个假设，证明了乘积同态、掩码消除和和恢复性质；隐私性依赖于加法层的判定性合数剩余（DCR）假设以及掩码基上的类 Diffie-Hellman 假设。一种位打包方案将多个候选人的完整选票放入一个密文，将客户端计算、链上交易、存储和计票成本降低 k 倍（k 为候选人数）；槽宽 b 可自由选择，仅 k*b 受 log2(N) 限制。当 b=25 且模数为 255 位时，方案支持 10 位候选人以及每位候选人最多 2^25-1=33,554,431 票（总计约 3.35 亿张选票），在 1 秒内完成 50,000 张选票的计票。最后，在认证的可信执行环境（TEE）中运行收集者和聚合者，使得计票过程防篡改，并防止跨角色合谋以去匿名化投票者。概念验证实现已开源，附录中的数值示例重现了完整流程。

本文提出一种实用的一站式设置批处理阈值加密方案，旨在解决区块链mempool（交易内存池）中的隐私问题。在现有区块链系统中，交易在被打包进区块前通常以明文形式广播到mempool，这导致交易信息提前泄露，可能被利用进行抢先交易（front-running）或三明治攻击。作者设计了一种基于阈值加密的协议，允许交易在加密状态下广播，只有一组阈值节点协作才能解密，从而保护交易隐私。该方案的关键创新在于只需一次公共设置即可支持多批交易加密，显著降低了通信和计算开销。通过安全性分析和实验评估，论文证明了该方案在不牺牲去中心化特性的前提下实现了高效的mempool隐私保护，适用于以太坊等智能合约平台。研究贡献包括形式化定义、协议构造以及性能基准测试。适合区块链安全研究人员、协议开发者及对DeFi安全性感兴趣的从业者阅读。

本文提出了 Crossroads，一个用于链抽象资产的智能合约层。在 Crossroads 中，来自几乎所有链的资产都在单个后端区块链上以 ERC-20 代币的形式表示。因此，任何资产都可以在单一统一平台上参与基于智能合约的交换、借贷或隐私应用。虽然 Crossroads 提供了跨链桥接功能，这是当前缓解区块链生态系统碎片化的一种常见部分方法，但这只是 Crossroads 通用链抽象模型中的一项服务。Crossroads 依赖于密钥加密：一个门限签名委员会持有加密密钥，控制着每个集成链上的资产，仅在后端区块链上的智能合约授权时才签署交易。资产移动具有费用效率，因为所有权变更记录在后端区块链上，用户可以为提款设置交易费用。Crossroads 使用可插拔的预言机（zkBridge、基于 TEE 的、混合的）实现了新区块链的无许可、模块化集成，并具有灵活的设计选项。存入 Crossroads 的资产受益于强大的、特定链的最终性保证，最大限度地降低了重组攻击的风险。然而，与现有桥接器不同，Crossroads 中的第三方智能合约可以在最终性完成之前提供快速的乐观资产访问。作者证明了 Crossroads 满足可靠性：给定一个诚实的签名委员会成员法定人数，任何用户都可以单方面生成一笔提款交易，将其净余额转移到集成链上的一个账户。作者在多个公共区块链（比特币、以太坊和 Solana）上实现了概念验证。他们还列举了 Crossroads 支持的一系列应用，包括通用钱包、跨链质押和借贷、隐私保护支付以及公共区块链资产的私有管理。

该论文提出一种名为 Gethlighting 的实用分区攻击，旨在隔离以太坊全节点，使其与网络其他部分断连数小时，而无需占用（或日食）目标节点的所有对等连接。在 Gethlighting 中，攻击者仅控制目标节点约一半（例如总共 50 个中的 25 个）的对等连接，通过廉价虚拟机即可实现强大的分区效果。攻击的核心是一种低速率拒绝服务（DoS）策略，该策略能有效阻止本地区块链增长数小时，同时不干扰其他以太坊节点操作。论文分析了低速率 DoS 造成的微妙且微不足道的延迟如何演变为强大的区块链分区攻击。Gethlighting 的实际影响包括可扩展性、低成本（同时攻击所有以太坊全节点 24 小时仅需约 5714 美元）以及极易发起。作者在以太坊主网和测试网中，通过受控和真实世界实验验证了攻击的可行性。他们识别了以太坊中若干使攻击成为可能的基础系统特性，并提出需要协议和客户端实现增强的应对措施。以太坊基金会已于 2022 年 9 月承认此漏洞，其中一项应对措施已被接受为 Geth 1.11.0 的热修复。

该论文首次系统性地研究了非同质化代币（NFT）生态系统的市场动态与安全威胁。NFT 作为数字艺术收藏品和投资工具，在过去一年经历了交易量激增和高价值资产销售的爆发式增长，但其市场基础设施和智能合约的安全性尚未得到充分关注。现有的学术工作主要集中于去中心化金融（DeFi）协议的攻击检测和智能合约漏洞自动化挖掘。作者通过分析多个 NFT 交易平台（如 OpenSea、Rarible 等）的历史交易数据、智能合约代码以及链上交互记录，识别出三类安全风险：1）市场层面的操纵行为（如 wash trading、虚假流动性）；2）NFT 智能合约自身的漏洞（如重入攻击、权限控制缺陷）；3）用户资产保护不足（如钓鱼攻击、元数据篡改）。论文还构建了自动化分析框架，用于检测异常交易模式和合约风险。实验表明，约 5% 的 NFT 集合存在至少一种已知类型的漏洞，且顶级市场中有超过 10% 的交易可能存在洗盘交易迹象。该研究填补了 NFT 安全领域系统性分析的空白，为后续安全审计、监管政策制定提供了基础数据和方法论。适合区块链安全研究者、NFT 平台开发者以及相关监管机构阅读。

该论文研究了在按份额付费（Pay-Per-Share, PPS）和完全按份额付费（Full Pay-Per-Share, FPPS）方案下，针对Nakamoto风格区块链的最优区块扣留（Block Withholding, BWH）攻击策略。经典BWH攻击通常基于区块依赖奖励方案（即矿工仅在池内发现区块时获得补偿），而大多数现代矿池采用基于份额的即时支付方案。作者首先证明PPS/FPPS方案并非激励相容，推翻了先前文献中的声称。在此基础上，提出一种名为“全力攻击”（All-out Attack, AoA）的最优BWH策略：攻击者将其全部算力集中投向受害者矿池，仅提交部分工作量证明（partial Proof-of-Work, pPoW）份额，而扣留所有有效区块（即完整工作量证明full Proof-of-Work, fPoW）。论文进一步分析AoA的经济影响：在首次难度调整之前，攻击者因扣留fPoW而遭受的损失可忽略不计；在首次难度调整后，区块难度降低，攻击者单位时间内生成的pPoW数量增加，相对于调整前的速率获得α/(1-α)的相对增益（其中α为攻击者算力占比）。值得注意的是，在单位时间和单位算力下，所有诚实矿工获得与攻击者相同的收益率，而受害者矿池运营商却蒙受损失：它需为攻击者提交的pPoW支付报酬，但无法获得任何fPoW补偿。最后，论文指出BWH的高级变种（如扣留后分叉Fork After Withholding, FAW）并不能为攻击者带来额外利润。该工作通过严格的数学建模与博弈分析，揭示了PPS/FPPS方案在安全设计上的根本缺陷，为矿池运营商和协议设计者提供了重要警示。

该论文针对基于区块链的数字证书认证系统Block.co进行了安全性分析，发现其存在一个严重漏洞，允许攻击者伪造被系统视为有效的证书。Block.co系统利用区块链的不可篡改性和持久性来实现去中心化的证书认证，但其中缺乏中心化的可信权威机构来确保学术机构的真实身份与证书发行者的数字身份之间的可靠绑定。论文通过详细的技术分析展示了攻击者如何绕过系统的验证机制，生成伪造的证书并通过系统验证。作者指出，这一漏洞并非Block.co特有，而是源于区块链认证方法固有的局限性，即无法从根本上解决实体身份与数字身份间的可信关联问题。因此，该攻击方法很可能可扩展到采用相同认证思路的其他区块链证书系统。论文的研究揭示了当前区块链认证方案在身份绑定方面的根本性缺陷，对依赖此类系统进行学术证书验证的机构和个人构成了潜在威胁。该工作为改进区块链认证安全提供了重要参考，强调了在去中心化环境中引入可信身份基础设施的必要性。

本文针对区块链系统中普遍存在的中心化问题展开研究。尽管区块链技术承诺去中心化，但多项测量研究表明，在实际的区块链系统（如比特币、以太坊）中，几乎所有层面（共识、治理、应用等）都出现了显著的中心化现象，且难以明确量化中心化程度。现有去中心化改进方案效果有限。作者提出一个通用框架，旨在构建可验证的去中心化区块链系统。核心洞察在于：用户之间协作的丰富性和多样性，而非资源（如算力、权益）的均匀性，更能体现去中心化的本质。现有区块链缺乏激励跨联盟协作的机制，这直接导致中心化。为此，本文设计了一种新型奖励机制：利用抗女巫攻击的非对称沙普利值（Asymmetric Shapley Value）在协作组内分配奖励，同时结合扩展图（Expander Graph）理论来度量和强制实现去中心化。该框架具有通用性，可应用于区块链的任何层级、去中心化应用（DApp）或去中心化自治组织（DAO）。此外，该方案可自然解决区块链可扩展性问题，并识别出一类此前在区块链中未被探索的去中心化协作应用。实验方面，摘要未提及具体结果，但作者声称框架的有效性可通过理论分析和模拟验证。适合区块链研究者、架构师以及关注去中心化治理的安全从业者阅读。

区块链共识协议负责协调节点对交易结果达成一致，其实现中的漏洞（包括内存相关和共识逻辑漏洞）可能构成严重威胁。现有的模糊测试工具无法有效处理分布式节点的复杂共识状态，导致生成大量无效数据包，难以触及协议深层逻辑。为此，本文提出LOKI，一个针对区块链共识协议实现的状态感知模糊测试框架。LOKI通过伪装成节点实时获取共识状态，动态构建状态模型记录每个节点的状态转换，并根据状态模型自适应生成输入的目标、类型和内容。通过内置的Bug分析器，LOKI利用明确定义的oracle检测共识协议实现中的漏洞。研究者在四个广泛使用的商业区块链系统（Go-Ethereum、Meta Diem、IBM Fabric和WeBank FISCO-BCOS）上实现了LOKI并进行了评估。LOKI发现了20个严重的前所未知漏洞，其中9个已分配CVE。这些漏洞包括14个内存相关漏洞和6个共识逻辑漏洞。与Peach、Fluffy和Twins等最先进工具相比，LOKI在分支覆盖率上平均提高了43.21%、182.05%和291.58%。该工作证明了状态感知方法在区块链共识协议模糊测试中的有效性，为协议安全检测提供了新思路。

该论文提出了一种基于密码学预言机（cryptographic oracle）的条件支付方案。条件支付是指支付仅在满足特定条件（如时间锁、离散对数知识等）时才能完成。传统的方法依赖智能合约或第三方公证人，而本工作利用密码学原语（如适配器签名、时间锁承诺等）与预言机结合，实现无需可信第三方的条件支付。核心贡献可能包括：形式化定义基于预言机的条件支付安全模型；构造高效、非交互式的协议；证明其安全性。该研究适用于加密货币支付通道、跨链原子交换、去中心化金融等场景，为构建更灵活、安全的支付基础设施提供了理论支撑。由于仅基于标题和摘要，具体细节待原文验证。

该论文提出了一种名为 ACon2 (Adaptive Conformal Consensus) 的新型区块链预言机共识协议，旨在解决传统预言机在数据聚合和信任最小化方面的可证明性问题。区块链预言机是连接链下数据与智能合约的关键组件，但现有方案通常依赖经济激励或信任假设，缺乏严格的正确性保证。作者将共形预测（Conformal Prediction）这一统计学习框架引入区块链场景，通过自适应地调整共识阈值，使得预言机能够输出具有统计置信度的聚合结果，并提供了理论证明：在合理假设下，ACon2 能够以高概率保证最终数据的准确性，同时抵抗一定比例的恶意节点攻击。实验在模拟和真实数据上验证了该方法在吞吐量、延迟和鲁棒性方面的优势，表明 ACon2 在保持可用性的同时，显著提升了预言机的可证明安全性。

去中心化金融（DeFi）应用的交易执行顺序至关重要，攻击者可通过重排序攻击提取区块链可提取价值（BEV）。虽然以太坊等线性区块链系统已有大量公平排序机制研究，但基于有向无环图（DAG）的共识协议尽管因可扩展性和高性能而被广泛采用，却始终缺乏公平排序保护。本文提出 Tilikum，一种基于 DAG 的账本协议，无需依赖弱边即可实现公平交易排序。Tilikum 通过中位数时间戳聚合或批量顺序公平性（batch order fairness）实现排序线性化，同时保持低数据冗余和高效的垃圾收集机制。作者在 Rust 中实现了 Tilikum，并与 Narwhal/Tusk、Pompē、Themis 和 FairDAG 等代表性基线进行对比评估。实验结果表明，Tilikum 的吞吐量比其他公平排序基线最高提升 39 倍，并完全阻断了当前最先进的 DAG 特定重排序攻击。该协议为 DAG 结构提供了首个兼具高性能和强公平性保证的解决方案，不仅填补了该领域的空白，也为 DeFi 应用程序提供了更安全的交易执行环境。

该论文提出了可互换储备标准（Fungible Reserve Standard, FRS），这是一个确定性的代币设计框架，旨在解决真实世界资产（RWA）代币化过程中面临的持有成本（负利）问题。当前，实物资产如贵金属、存储商品等会产生持续的存储、保险和审计等结构性负利，而现有代币化模型通常由发行方在链下管理这些成本，缺乏透明性和与DeFi协议的可组合性。FRS通过引入一个随时间递减的资产-代币比率q(t)，将持有成本以预定年化费率直接编码到链上逻辑中。该框架还包含供应调节机制，确保用户代币余额的完整性以及ERC-20标准的兼容性。与传统的每日费用比率累积不同，FRS旨在编码实际运营成本，提供纯粹的制度级会计透明度，同时保持与DeFi的兼容性。FRS设计是资产无关的，适用于任何具有正向可预测持有成本的实物资产。实验结果表明，该框架能够在无需代币重新基数调整的情况下，有效、透明地处理负利问题，从而保持了代币的可互换性和与DeFi生态系统的互操作性。

本研究针对 ERC-8004 协议——首个为 AI 代理经济设计的无许可信任层——进行了首次实证分析。该协议通过链上身份、声誉和验证三个注册表，旨在解决自主 AI 代理跨组织交易时的信任评估问题。尽管协议被快速采用，但其实际有效性和安全性未经检验。作者在以太坊、BNB Smart Chain (BSC) 和 Base 三条区块链上，从协议部署至 2026 年 5 月 13 日期间，全面爬取链上事件、链下 JSON 文件以及 x402 支付交易记录。身份注册方面，发现绝大多数注册仅是占位符，仅有少量代理（以太坊 3%、BSC 4%、Base 15%）具备有效注册文件且至少包含一个实时服务端点。声誉注册方面，当前部署的注册表无法提供可信的信任信号：声誉值不可通约（例如正负反馈直接加和），反馈记录极少基于可验证的链上交互，且声誉可通过低成本操纵（如自评或刷分）任意篡改。与这些设计缺陷一致，大量评审者表现出协作性 Sybil 行为（以太坊 73.6%、BSC 59.2%、Base 90.6%）。在移除标记为 Sybil 的反馈后，各链上分别有 15.5%、72.3% 和 89.4% 的已评级代理不再拥有任何有效反馈。基于这些发现，作者提出了对 ERC-8004 未来版本的具体改进建议，包括引入可验证交互凭证、声誉评分标准化以及抵抗 Sybil 攻击的机制。本研究为 AI 代理市场的信任协议设计提供了实证基础和方向性指导。

该论文提出一种去中心化AI经济系统，旨在解决传统工作量证明（PoW）区块链中哈希计算不产生外部价值的根本缺陷。核心思路是让节点执行有实际价值的机器学习任务（如模型推理和训练）来获得代币奖励，而非无效的哈希计算。作者设计了三层架构：计算层（执行ML任务）、验证层（通过特定协议确保结果正确性）、经济协调层（管理代币发行与流通）。形式化地，论文提出了一个基于闭循环代币经济模型的框架，并推导出诚实参与所需的足额抵押条件。安全方面，论文分析了量子计算对区块链的威胁：Grover算法对哈希只有二次加速，不影响ML原生线性代数；而Shor算法威胁经典签名。为此，论文提出迁移至格基和哈希基后量子密码标准来保护签名层。实验（或分析）表明，有用工作共识在经济性和量子安全性上均优于经典PoW。适合对区块链共识、去中心化AI、后量子密码交叉领域感兴趣的读者。

该论文提出了一种名为Chipmunk的新型多签名方案，基于格密码学，旨在解决区块链中多签名的高效同步问题。多签名允许将多个独立密钥对同一消息生成的签名压缩成一个小的聚合签名，这在权益证明区块链（如以太坊）中尤为重要，因为同一区块需要多个验证者签名。现有的格基多签名方案在同步性、效率和安全性方面存在权衡，Chipmunk通过改进签名聚合算法和密钥生成过程，实现了更优的同步性能和更低的计算开销。具体而言，方案采用了一种新的随机数生成策略，确保签名者之间无需频繁通信即可生成可聚合的签名，同时基于格上的困难问题（如SIS/LWE）提供了安全性证明。实验评估表明，与现有方案相比，Chipmunk在签名大小、聚合时间和验证效率上均有显著提升，尤其适用于大规模验证者场景。该工作的主要贡献包括：形式化定义了同步多签名的安全模型，提出了高效的格基构造，并给出了可证明安全的归约。适合密码学研究人员、区块链协议开发者以及关注后量子安全的从业者阅读。

论文 bioETH-Beacon 提出了一种基于全同态以太坊虚拟机（fhEVM）的机密基因信标协议，旨在解决 GA4GH Beacon 协议中存在的隐私风险。现有 Beacon 协议允许研究人员查询某个基因组变异是否在参与队列中被观察到，并返回聚合的变异级别计数，但存在两个主要隐私问题：托管机构可以查看明文查询，并且反复的稀有变异查询可能支持成员推断攻击。bioETH-Beacon 将 Beacon 的“聚合计数”查询移植到智能合约中，在 fhEVM 上对加密数据执行操作。医院上传加密的标记-计数条目，授权研究人员提交加密的标记查询，合约返回加密的答案，然后通过链下密钥管理服务仅将结果发送给合约链上访问控制列表（ACL）中指定的请求者。该设计组织为一个 3×4 的按查询族分层的网格，涵盖基因型、性别、年龄和表型查询，不同层级在更强保密性和更低查询成本之间权衡。对于基因型路径，原型可以在链上添加有界噪声以缓解探测攻击。基于多基因评分（PGS）目录的合成数据面板实验显示了预期的扩展行为，并证明当公共标记存在是可接受的权衡时，预聚合可以显著降低查询 gas 消耗。总体而言，bioETH-Beacon 提供了一个无需可信计算评估器的机密 Beacon 式基因组查询研究原型。

本文研究 Polymarket 预测市场平台中由混合架构（链下撮合 + 链上结算）导致的一致性问题，称为“幽灵填充”（Ghost Fills）。Polymarket 为实现低延迟交易，采用订单在链下匹配、在链上最终结算的设计，但匹配与结算之间的时间差被攻击者利用：匹配成功的订单可能在链上最终确认前被恶意回滚。作者构建了 GHOSTHUNTER 工具，通过分析链上交易记录重构失败的结算，并识别出四种攻击向量：nonce bump（随机数提升）、balance drain（余额耗尽）、allowance revoke（授权撤销）和 proxy trap（代理陷阱），共包含 35 种演化变体。这些攻击允许攻击者选择性回滚已填充的订单，从而实现无风险预测、套利机器人狩猎和流动性奖励操纵。在 1,952,440 笔回滚的匹配订单交易中，他们确认攻击者获利至少 149 万美元，并将 17.8 亿美元的资产置于风险之中，同时运营商为这些回滚支付了 217 万 POL（约 21.2 万美元）。高峰时期超过 24.3% 的已填充订单被回滚，构成事实上的拒绝服务攻击。此外，存在缺陷的合约代码已扩散至 10 条链上的 167 个独立合约，这些合约持有至少 2300 万美元的用户资金，放大了影响范围。作者已向受影响方披露证据，问题已得到部分缓解。该研究不仅揭示了混合结算架构中的安全隐患，也为 DeFi 安全领域提供了新的攻击向量分类与检测方法。适合 DeFi 安全研究员、智能合约审计人员及去中心化应用开发者阅读。

现代区块链状态管理面临严重的可扩展性瓶颈：对数十亿条加密承诺进行维护在计算上代价高昂。以太坊正在转向Verkle树——一种基于多项式承诺的累加器，通过恒定大小的IPA向量承诺将证明大小从O(宽度*深度)降低到O(深度)，这是迈向无状态操作的关键一步。然而，当前实现在参考实现go-verkle中存在四个性能缺陷：(1) 删除不存在账户时产生幽灵节点；(2) 64字节数据库键导致LSM树过度压缩；(3) 证明反序列化中冗余内存拷贝；(4) 不存在证明的线格式不兼容导致非确定性序列化。本文提出分数Verkle树（FVT），一种超树分解架构，将全局状态划分为N个独立子累加器，由Merkle承诺树协调，实现了更好的缓存局部性、无锁竞争的goroutine并行承诺计算以及更快的根重新计算（91微秒对比约500毫秒）。针对每个缺陷，作者分别通过存在检查、32字节SHA256节点引用、零拷贝引用计数缓冲区和基于哈希映射的字典序去重加以解决。在Apple M1 Pro上的基准测试显示：每1万个证明堆分配减少57%（从566,760字节降至242,004字节）、并行插入速度为2,433纳秒/操作、在6,000个全节点网络中每年可节省4.85 PB带宽，推进了以太坊无状态路线图。

本文针对区块链环境中密封投标拍卖存在的审查攻击问题展开研究。在当前的区块链拍卖中，每个出价都是公开交易，且由单个区块提议者决定是否包含，这导致提议者可以观察待处理出价、排除竞争对手甚至自行投标，破坏了经典密封投标拍卖的公平性。为了在延迟敏感的区块链场景中实现抗审查的密封投标拍卖，作者形式化了四个必要属性：隐藏投标内容、存在性和投标者身份直至揭示阶段（Hiding）；计数所有及时的诚实投标并拒绝延迟的对抗性投标（Simultaneous Release）；防止已提交投标被静默撤回（No Free Bid Withdrawal）；仅向获胜者收取链上费用（Auction Participation Efficiency）。基于这些属性，他们设计了一个协议，该协议使用时间戳预言机（由2f_ts+1个时间戳委员会成员实例化）和抗审查包含谓词（基于FOCIL的包含列表实例化），只有获胜投标在链上结算。协议的构建依赖于两个零知识证明：一个资格证明，用于向时间戳委员会匿名证明保证金成员身份；一个拍卖证明，用于将投标绑定到特定拍卖以供包含列表委员会验证。作者使用 arkworks/Rust 库在 BN254 曲线上通过 Groth16 和 Poseidon 哈希实现了这两个证明：拍卖证明生成时间 13 毫秒，验证时间不到 1 毫秒；针对高达 2^32 个投标者的 Merkle 树的资格证明生成时间为 47-159 毫秒，验证时间约 1 毫秒。实验结果表明，该密封投标拍卖原语对于高价值、时间敏感的区块链场景是实用的。本文的主要贡献在于形式化了区块链密封投标拍卖的必要属性并设计了满足所有属性的高效协议，为区块链上公平拍卖提供了理论依据和实用方案。

本文系统性地识别和分类了区块链互操作性所面临的安全威胁，并提出了相应的应对措施。区块链互操作性允许多个独立区块链系统跨异构网络通信和交换资产，但缺乏全面的安全机制已成为关键弱点——攻击者已利用这些弱点造成了数亿美元的资产损失。论文将威胁分为五大类：核心区块链攻击、网络攻击、互操作性特定攻击、社会工程和代码漏洞，特别关注智能合约弱点。针对每种威胁，分析了其攻击面并提出了有效的防御策略。最终形成的分类法为设计和评估安全的区块链互操作性解决方案提供了结构化基础。

该论文提出了一种名为MHOT（高度优化的认证数据结构）的新型区块链状态承诺数据结构，以解决以太坊Merkle Patricia Trie（MPT）存在的两个关键问题：树高度增长过快导致的性能瓶颈，以及易受Nurgle攻击的安全威胁。MPT的固定前缀索引方式导致其树高度与扇出呈指数耦合，而增加节点扇出虽能限制高度，但会使证明大小呈指数增长。现有依赖向量承诺的解决方案需要可信设置或昂贵的验证，不适合实际应用。MHOT采用基于区分位的索引机制，即根据实际区分键的比特位进行索引，实现自适应扇出与线性耦合，从而达到理论最小高度。同时，为控制高扇出带来的证明膨胀，引入了分层证明（hierarchical proofs），这是一种双层Merkle结构，将每个节点的证明开销从O(k)降低到O(log k)。在以太坊主网负载的实验中，MHOT相比MPT实现了写吞吐量提升9倍、写放大降低4倍、证明大小减小2倍。更关键的是，在面对Nurgle攻击（一种通过哈希碰撞膨胀路径深度、以极低成本降低系统性能的攻击）时，即使攻击者耗尽整个区块的Gas预算，MHOT的攻击成功率为0%，而MPT高达99.97%。结果表明，高度最优性（而非新的密码学原语）是可扩展且抗攻击的区块链状态承诺的关键抽象。该工作为区块链状态管理提供了高效、安全的新方案。

本文提出Zapper，一个旨在为智能合约提供数据和身份隐私保护的系统。在区块链环境中，智能合约的执行数据通常对所有节点公开，这导致敏感信息（如交易金额、用户身份）面临泄露风险。Zapper通过集成先进的密码学技术（如零知识证明、同态加密或安全多方计算），实现合约状态的加密存储与计算，同时允许验证者在不泄露具体数据的情况下确认合约的正确执行。此外，Zapper还支持匿名认证机制，隐藏交易参与方的身份，从而增强用户隐私。该工作可能设计了一套新的编程模型或编译器，使开发者能够便捷地编写隐私保护智能合约，并在以太坊等平台上部署。实验评估可能展示了其在计算开销、交易成本和可扩展性方面的权衡。该研究对区块链隐私保护领域具有重要参考价值，尤其适用于金融、供应链和身份管理等对隐私敏感的应用场景。

该论文提出了一种名为 PriME-Deal 的隐私保护双边数据交易协议，旨在解决现有基于属性的访问控制方案在数据交易中存在的策略泄露、计算开销大、依赖可信第三方等问题。PriME-Deal 是一个非交互式协议，能够在公共区块链上同时实现策略隐藏的双边匹配、高效的阈值访问控制和可审计的公平交换。核心方法包括：卖家将秘密令牌嵌入到基于伪随机掩码的 oblivious 键值存储中，该令牌受买家策略保护；买家通过标签探测在本地重构令牌，无需组合枚举，并通过零知识证明证明重构的正确性。公平交换通过链上抵押披露和加密审计机制实现，无需可信第三方。安全性在通用可组合框架下基于标准假设证明。实验表明，与最先进的阈值模糊 IB-ME 方案相比，卖家发布时间减少两个数量级（策略含 500 个属性时，8.76 秒 vs 690 秒）；在典型配置 (200,20,5) 下，买家令牌重构和证明生成需 8.9 秒，其中零知识证明仅需 0.6 秒且与参数规模无关；链上成本约 2860 万 gas，远低于以太坊区块限制。该协议是首个同时实现线性卖方开销、双边策略隐藏和可审计公平性的实用隐私保护数据交易方案。

本文提出将区块链系统重新概念化为记录管理系统，而非单纯的交易基础设施。当前区块链研究过度聚焦于链上交易，忽略了加密货币资产创建、发布、留存、处置的完整过程。作者借鉴ISO 15489-1:2016记录管理原则，建立了区块链数据七阶段生命周期模型：创建、捕获、分类、存储、使用、保留与处置。通过对比特币、同质化代币和非同质化代币的应用案例，论证该框架的适用性。论文重点讨论了链上/链下边界以及隐私增强技术如何影响生命周期可见性，这对加密犯罪研究和调查具有特别意义。作为元层面的框架，该生命周期视角有助于定位现有研究、按阶段分解法律、监管、技术和运营挑战，并为区块链治理、分析和监管提供生命周期感知的方法。适合区块链研究者、合规分析师及监管科技从业者阅读。

本文提出 snaproot，一种基于 Solana 区块链的轻量级去中心化文件完整性验证系统。针对现有方案依赖中心化权威（存在单点故障和信任问题）或去中心化存储（资源开销过高）的弊端，snaproot 采用 Haber 和 Stornetta 的哈希锚定范式，将文件的 SHA-256 哈希值不可变地存储在 Solana 链上作为永久参考记录。验证时重新计算哈希并与链上值比较，得到确定性二值结果。系统设计了四层信任架构，其中三层已实现，一层为前瞻层（用于跨越单个区块链生命周期的长期持久性）。论文提供了正式威胁模型、基于 SHA-256 第二原像抗性的安全性分析，以及在 Solana Devnet 上对 1 KB 到 500 MB 文件的实证评估。核心概念贡献在于明确区分“存在性证明”（与密钥无关，证明文件在特定时间存在）和“作者身份证明”（与密钥绑定，将记录与特定钱包身份关联）。这种分离允许在丢失密钥时仍保留存在性保证，而在保留密钥时维持更强的作者身份主张。与 OpenTimestamps、OriginStamp 和 Chainpoint 的对比表明，snaproot 在轻量化和去中心化之间取得了平衡，但存在注册前篡改和 AI 生成内容方面的局限性。

本文提出并分析了 Parent-Hash 有向无环图（PHDAG），这是一种用于链上注册表的追加型数据结构，其中每次追加操作只需对之前未触及的存储槽进行恒定数量的写入操作。此前，PHDAG 从未被作为独立原语进行形式化分析，也未被明确边界常数，更未与标准的增量 Merkle 树（IMT）进行基准比较。作者形式化证明 PHDAG 的追加操作在 gas 成本上为 O(1)，与注册表大小和树深度无关，而 IMT 的每次插入成本则是关于叶子索引的随机变量，作者推导出其均值和方差的闭式表达式。通过在 Base Sepolia 测试网上对 1 至 25 层树深度进行实验验证，观察到 PHDAG 的 gas 消耗恒定在约 76,276 gas（标准差约 6 gas），而 IMT 成本随深度线性增长。交叉点（IMT 更便宜）远低于所有已调查生产注册表的深度。此外，本文还建立了从公共事件日志中无需信任地重建注册表的方法，时间复杂度为线性，且无需链下依赖。该研究首次将 PHDAG 与 IMT 进行了系统的理论和实证对比，为链上数据结构的成本优化提供了重要参考。

本文提出了一种名为LPOR（分层准备金证明）的框架，旨在解决当前中心化加密货币交易所准备金证明（PoR）系统在可用性和公开可审计性方面的不足。现有的PoR方法（如基于Merkle树的证明和零知识PoR系统）虽然能验证交易所链上资产是否足以覆盖用户负债，但普通用户在实际中难以验证，导致参与度低和透明度不足。LPOR将验证过程分为两层：轻量级的用户侧检查和审计员级别的密码学验证。非技术用户只需进行简单的包含性验证，并能公开重新计算总负债，从而降低了验证门槛。该方法显著提高了用户参与度，并大幅提升了检测遗漏负债的概率。论文在数百万用户规模下评估了其可扩展性和遗漏可检测性。核心贡献在于提出了一个兼顾安全性与可用性的分层验证框架，使得准备金证明更易于被普通用户和公众审计者采用。

本文针对区块链预言机（oracle）的核心问题——即如何可靠地将外部信息引入区块链系统——进行了深入探讨。现有研究指出，现代区块链预言机在可归因性、可问责性、完整性和查询设计等方面面临挑战，而这些挑战与古代神谕机构（如德尔斐神谕）中的程序和认知约束具有相似性。然而，如何将这些见解转化为实际预言机设计仍缺乏探索。为此，作者提出了 Dodona 协议，这是一个模块化、链无关的预言机服务，其灵感来源于古代和现代预言机系统中的程序模式。协议以古希腊最古老的神谕圣地之一——多多纳的宙斯神谕命名，具体实现了结构化咨询、访问控制、可归属解析、约束查询格式、声誉问责和分层服务可用性等原则。协议的第一个模块实现了一个查询与争议解决机制：由指定的专家解决者（named expert resolver）对提交者提出的结构化问题提供具有约束力的答案。该预言机并不声称揭示客观真相，而是产生各方事先同意接受的后果。论文阐述了设计原理、架构以及在设计科学研究传统中的定位，将该协议作为一个活的研究实验，其中部署的系统作为研究工件，运行数据支持结构化分析、迭代改进和同行评审传播。本文旨在弥合预言机理论与实践之间的差距，适合区块链安全研究者、预言机设计者以及分布式系统架构师阅读。

本教程论文探讨了在具身人工智能（Embodied AI）时代，区块链基础设施如何作为智能网络-物理-社会系统（CPSS）的核心协调层。研究背景：基于世界模型的机器人部署对可信数据溯源、跨组织治理和激励兼容的数据共享提出了迫切需求；同时，量子计算的进展（如2025年诺贝尔物理学奖和图灵奖所承认的）威胁到加密原语的安全性。核心方法：论文提出了一个五模块的教程体系，涵盖从具身AI与世界模型需求、量子硬件现实与证据驱动的安全迁移、基于BrokerChain协议的可扩展跨分片架构，到实现Croissant元数据标准和机器人学习溯源的可信数据经济，以及多模态云部署的产业生态集成。主要贡献：通过AWS Braket量子计算平台进行现场演示，让参与者评估ECDSA到后量子签名的迁移时间线；提供了开源框架和路线图，用于构建抗量子、可互操作且数据可信的系统。该教程将区块链定位为下一代去中心化智能环境的统一基础设施，探索后量子安全、互操作性和可信数据经济三大支柱。适合读者：区块链研究者、网络安全工程师、具身AI开发者、量子安全从业者。

该论文从经济学角度分析了“有用工作量证明”（Proof-of-Useful-Work, PoUW）区块链的均衡特性。传统工作量证明（PoW）如比特币，其计算消耗仅用于维护共识，不产生外部经济价值；而PoUW旨在让同一计算既能保障区块链安全，又能产出有价值的经济输出（例如机器学习推理）。然而，一个常见的批评是：如果工作有用，攻击者可能因攻击而获得报酬，从而削弱安全性。作者建立了一个竞争均衡模型，其中计算资源可分配给三种活动：纯挖矿（mining）、纯有用工作（以机器学习推理为例）、以及同时产生两者的“双用途工作”（duplex work，存在计算开销）。模型通过一个单一经济参数——代币-推理比率（token-inference ratio，衡量代币采用程度相对于推理市场规模）——以及双用途工作开销，完成了均衡分配和价格的闭合式特征刻画。分析揭示了三个均衡体制： （1）“Bitconia”：经济体退化为经典PoW，有用工作无关紧要； （2）“Fortessia”：双用途工作取代纯挖矿，在有用产出不变的情况下提升安全性； （3）“Duplexia”：代币奖励补贴推理服务，降低推理价格并扩大供应。 与常见的稻草人论点相反，PoUW并不会使攻击变得经济上廉价：一旦考虑均衡价格，多数攻击的经济成本仍然与区块奖励挂钩。此外，在Duplexia体制下，区块奖励相当于推理价格的折扣，产生了如果没有区块链就不会出现的社会有用计算——这种扩张随代币采用和技术效率单调增加。本文为理解PoUW的经济安全特性提供了理论框架，适合区块链研究者、密码经济学家和安全分析师阅读。

比特币的区块奖励计划逐步减半并最终归零，这引发了对其网络长期安全性的担忧：当矿工收入完全依赖交易手续费时，是否还能维持诚实挖矿的稳定性。本文基于序贯决策模型，分析了诚实矿工与偏离（如自私挖矿、空块攻击等）矿工的收益，推导出一个偏离阈值G_t，当实际条件低于该阈值时，诚实挖矿不再是矿工的私有最优策略。文章以2024年比特币减半事件为时间节点，利用实际链上数据验证了当前挖矿行为尚未出现大规模或结构性偏离，表明现阶段安全性尚可。然而，当区块奖励彻底消失后，即使交易费占比极低（如低于1%），G_t准则显示偏离可能成为理性选择。进一步，作者评估了三种协议级机制：基础费用（Base Fee）、费用下限（Fee Floor）和自适应最大区块大小规则，发现三者组合使用能显著提高偏离阈值，从而缓解纯费用机制下的激励崩溃问题。这些结论为评估比特币后区块奖励时代的安全性提供了量化基准，并对其他采用类似挖矿奖励机制的区块链（如莱特币、门罗币）具有参考价值。本文适合区块链协议研究者、加密货币经济学家以及安全工程师阅读，以预判未来网络攻击面并设计防御机制。

本研究对 Pearl 区块链的 Proof-of-Useful-Work (PoUW) 协议进行了首次系统性实证测量。Pearl 声称其 PoUW 协议能在保证网络安全的同时执行 AI 推理任务。然而，研究发现其 24 EH/s 的网络算力（约相当于 32 万块 GPU，估计功耗 112 MW）实际上未产生任何有用的 AI 计算。自挖矿软件公开发布后，预算级 GPU 租赁价格上涨 38%，使用率从 57% 提升至 94%，挤压了合法的研究型工作负载。测量涵盖五个维度：（1）网络组成分析显示 8,012 个工人节点均具备可执行推理的硬件，但主流挖矿软件未包含推理代码；（2）验证协议本设计接受随机矩阵，研究者在开源矿工中通过 NVIDIA、AMD、CPU 和 Apple Silicon 硬件提交的 44 个份额均被矿池接受；（3）统计分布检查可被对抗性高斯采样轻易绕过；（4）在当前 PRL 代币价格（0.21 美元）下，所有 GPU 层级的挖矿均无盈利（ROI 为 -54% 至 -72%）；（5）挖矿计算为通用整数算术，可移植到任何硬件平台，不产生供应商锁定。这些发现量化了 Leinweber 等人理论分析中可验证性与有用性之间的张力，并提供了该矛盾在真实系统中的具体量级和经济影响。

该论文提出了一种名为 TITAN-FedAnil+ 的联邦学习框架，旨在解决资源受限智能企业环境中的数据异质性（非独立同分布数据）和去中心化安全威胁。核心贡献包括：1) 基于亲和传播的自适应聚类聚合方法，无需预先知道攻击者数量即可识别并过滤恶意更新；2) GPU 加速向量化技术提升计算效率；3) 轻量级签名状态跳变机制实现区块链快速重同步。实验在 8 GB 边缘设备上进行，经过 50 轮通信后，相比基线框架，内存开销节省高达 81%。研究结果表明，TITAN-FedAnil+ 有效提升了鲁棒性、可扩展性和资源效率，适用于智能企业的安全联邦学习部署。

本文介绍了使用Lean 4证明助手对StarkWare的S-two证明器中的代数中间表示（AIR）进行形式化验证的工作。S-two证明器用于在区块链上高效地证明用Cairo虚拟机语言编写的程序能够运行完成。该证明器通过一个代数中间表示（AIR）捕获Cairo语言的语义，该AIR断言存在满足特定代数约束的有限域值表。然后，加密交互式证明系统circle STARK提供一个高效验证的证书，证明AIR是可满足的。本文的核心贡献在于，利用Lean 4证明助手对AIR编码的可靠性（soundness）进行了形式化验证，即证明AIR的可满足性蕴含相应的计算性声明。这一验证确保了AIR编码不会错误地声称一个无效的程序运行完成。论文详细描述了验证过程，包括如何在Lean 4中形式化AIR的语义、约束以及soundness证明。该工作对于提高Cairo智能合约和区块链应用的安全性具有重要价值，因为它提供了一个数学上严谨的保证，防止因AIR编码错误导致的虚假计算声明。读者包括对形式化验证、区块链安全性以及零知识证明感兴趣的研究者和工程师。

该论文提出了QV-net，一种去中心化的自计票二次投票协议，旨在解决现有基于区块链的二次投票（QV）系统中投票隐私缺失的问题。在当前的DAO（去中心化自治组织）投票实践中，QV被广泛用于缓解大额代币持有者的主导作用，但选票以明文形式公开并附带数字签名，严重侵犯了投票者的隐私，可能影响诚实参与。先前的研究虽然使用同态加密等密码学技术对QV选票进行加密，但这些方案均依赖中心化的计票权威机构，不适用于无需可信第三方的DAO场景。QV-net基于自计票（self-tallying）设计，允许所有节点在无需任何可信方的情况下共同完成计票，同时实现最大选票保密性（maximal ballot secrecy），即除了最终的计票结果外，不泄露任何单个选票的详细信息。协议采用分布式密钥生成和零知识证明来确保选票的合法性和完整性，并防止双花或虚假投票。实验分析表明，该方案在计算和通信开销方面具有可行性，能够支持中等规模的DAO选举。该论文的主要贡献包括：首次将自计票概念引入二次投票，提出了一种完全去中心化且保护隐私的QV方案；形式化定义了最大选票保密性的安全模型；通过原型实现验证了协议的效率。适合阅读人群：区块链安全研究者、密码学协议设计者、DAO治理参与者。

该论文提出了一种名为 Unicity 的代币所有权模型的泛化版本，将传统简单的所有权条件扩展为可编程的支出条件，称为“谓词”（predicates）。这些谓词允许在链下执行类似智能合约的功能，而无需共识参与者（如矿工或验证者）直接执行，而是由依赖方（如交易接收者）自行验证。作者证明，Unicity 执行层的安全属性可以归约到谓词族不可伪造性（predicate family unforgeability），从而保证了在添加可编程条件后，系统的安全基础不受损害。为了展示该模型的实用性，论文详细描述了如何利用谓词实现无信任的原子交换（atomic swap），即两个互不信任的参与方在不依赖第三方中介的情况下安全交换代币。原子交换的实现通过构建特定的谓词条件，使得交易要么全部执行，要么全部回滚，避免了部分执行的风险。该研究为区块链和去中心化金融领域提供了一种新的链下智能合约范式，降低了链上计算和存储开销，同时保留了安全保证。

本文提出Unicity执行层（Unicity Execution Layer），作为Unicity框架的一个模块化组件，旨在实现安全的链下交易，同时保持无需信任的双花预防。论文首先建立了形式化安全模型，其中代币所有权由公钥表示，转移需要数字签名。作者证明了三个基本安全属性：（1）无双花——每个代币状态最多只能被花费一次；（2）无阻塞——只有合法所有者才能阻止代币被花费；（3）服务端隐私——Unicity服务无法将不同交易关联到同一代币。针对用户端隐私，引入了广义多公钥签名方案，允许一个秘密生成多个不可链接的公钥，并提供了交互式和非交互式具体实例化，从而实现使用稳定公共身份的私密交易，且密钥管理开销最小。该工作通过形式化方法确保了链下执行的安全性和隐私保护，为扩展区块链吞吐量提供了理论支撑。适合区块链安全研究人员、分布式系统开发者以及关注隐私保护的密码学从业者阅读。

本论文研究了区块链网络中的交易费用问题，将交易排队过程建模为优先级队列，并考虑用户策略行为。作者采用 M/G^K/1 优先级队列模型，分析了交易费用与用户延迟成本之间的关系，推导出稳态量的半闭合表达式，并将用户延迟成本与交易费用的关系推广到通用区块生成时间。通过比特币网络的实际数据验证模型，模拟了不同场景下用户的行为变化。此外，对 Bitcoin、Dogecoin、Litecoin 的跨链分析表明，归一化成本结构具有相似性。该研究为理解区块链交易费用动态、用户行为以及网络拥堵提供了新的理论视角和量化工具，适合区块链协议设计者、研究人员以及交易策略制定者参考。

本文对x402协议（一种用于机器间支付的HTTP支付协议）进行了首次系统性安全分析。x402协议旨在为代理经济提供程序化金融轨道，但其将同步HTTP请求与异步区块链最终性相结合，引入了状态同步挑战。研究者形式化了五个安全不变量（Security Invariants），揭示了当前实现未能强制执行事务原子性和密码学上下文绑定，导致系统性漏洞。具体而言，发现了签名设计中的语义缺口允许跨资源替换，即支付证明可被移植到其他未授权上下文；同时暴露了时间缺口，并发竞态条件可导致概率性服务重复。在AI推理场景中，动态定价模型容易受到额度透支和基础设施速率限制的攻击。研究者针对官方SDK和在线部署验证了这些漏洞，表明攻击者可利用动态授权方案中的同步差距，迫使商家补贴计算成本，在生产中间件上实现高达100%的资源泄漏。最后，提出了架构缓解措施，包括请求绑定签名和悲观状态锁定，以保障自主代理的金融轨道安全。所有已发现问题已向Coinbase和ThirdWeb披露。

本文提出了一种名为Ciphera的去中心化生物特征身份框架，旨在解决传统中心化生物特征系统中存在的单点故障、验证过程不透明以及生物特征信息一旦泄露便不可逆等安全问题。该框架结合了隐私保护的人脸识别、多节点验证、基于IPFS的凭证元数据存储以及区块链锚定的撤销机制。具体而言，Ciphera利用去中心化标识符（DIDs）和可验证凭证（VCs）增强隐私保护，通过多方验证节点实现分布式共识，并将生物特征模板和凭证元数据存储在IPFS上，同时利用区块链记录撤销状态以确保不可篡改。研究者在功能、性能、安全以及分布式一致性等多个维度对Ciphera进行了评估。功能测试显示成功率为81%，注册和认证过程稳定，但存在撤销传播延迟和偶尔的审计日志不一致问题。性能测试表明，在并发多节点条件下，p95验证延迟约为820毫秒，达到亚秒级。安全分析证实了强大的机密性和完整性保障，但指出不完善的生命体征检测使其易受深度伪造和重放攻击。该研究证明了去中心化生物特征身份的可行性，同时指出了生产级部署面临的关键工程挑战。适合对去中心化身份、生物特征认证、区块链安全和隐私保护感兴趣的研究人员和工程师阅读。

本文研究去中心化系统（如区块链）抵御女巫攻击（Sybil attack）的资源稀缺性条件。传统观点认为，只要绑定某种稀缺资源（如计算力、代币持有量）即可线性增加攻击成本，从而有效防御。但作者证明，仅靠稀缺性是不够的：资源的结构性属性决定了攻击者能否通过身份复制、委托或池化等方式，以次线性成本集中影响力。论文形式化定义了攻击成本 C(s,T)：在 T 个时间窗口内，达到相当于 s 个独立参与单元影响力所需的最小花费。证明了任何满足可分性、影响力可加性、时间可重用性和身份可转移性的资源，都存在影响力摊销：C(s,T)=o(sT)，即攻击成本增长低于线性，无论协议如何设计。这是一个不可能性结果：任何协议规则都无法对结构上可并行的资源强制线性影响力集中成本。相反，若资源具有吞吐量受限、不可转移、窗口局部性等性质，则可保证 C(s,T)=Ω(sT)：每增加一个单位的持续影响力，边际成本 Δ(s,T)=Ω(T)，随时间窗口增长。两类资源在渐近意义上被分离。因此，任何旨在实现线性影响力集中成本的机制，都必须将参与绑定在违反至少一个可并行化属性的资源上。该结果对设计去中心化协议具有指导意义，提示开发者需关注资源的内在并行性，而不仅仅依赖稀缺性。适合区块链研究者、协议设计者以及安全经济学领域学者阅读。

本文针对区块链异常检测中面临的两大挑战：恶意行为者造成的对抗性模式演化，以及区块链上交易语义多样性导致的分布外（OOD）问题。作者提出了一种名为 TEMG-TTA（时间感知的图测试时自适应）的新型框架。该框架首先通过高效的计算机制全面捕获每个活跃地址的三节点时间模式分布，从而实现下游的时间模式感知图学习。其次，设计了一种简单有效的测试时自适应策略，促进训练图与测试图之间共享共同模式。在5个真实数据集上的实验表明，TEMG-TTA 平均比现有最先进的图异常检测方法高出54.88%。进一步对可解释模式模式的案例研究表明，TEMG-TTA 能够明确表征异常地址的复杂交易模式，验证了其技术设计的有效性。代码将开源。本文研究工作为区块链异常检测提供了新的思路，尤其适用于处理动态演变的交易模式和数据分布漂移问题。

本文介绍了 DeepFake Forensics AI，一个统一的多模态深度伪造检测与区块链锚定证据管理平台。随着 AI 生成合成媒体的激增，数字证据在法证和法律场景中的完整性面临严重威胁。现有的深度伪造检测系统通常仅针对单一模态，且缺乏防篡改的证据保存机制。该平台从零训练了四个独立的神经网络：基于 EfficientNet-B4 的图像检测器（AUC=0.9868）、基于双向 LSTM 的视频检测器（AUC=0.9628）、基于 ECAPA-TDNN 的音频检测器（EER=18.63%），以及一个新颖的 GAN 指纹识别模块（准确率 99.88%），用于识别伪造图像背后的生成架构。证据文件经 SHA-256 哈希后，通过 Pinata 存储在 IPFS 上，并经由基于 Solidity 的智能合约在以太坊区块链上注册，实现了基于角色的访问控制。平台提供 React 前端和 FastAPI 后端，适用于法证和法律工作流程。据作者所知，这是首个将多模态深度伪造检测与基于区块链的链上证据管理相结合的系统。

随着区块链交易吞吐量受限，支付通道网络（PCN）成为提升可扩展性的重要技术。然而，现有PCN普遍依赖时间锁（timelock）机制，容易受到时间锁攻击和审查攻击的威胁。针对这些攻击，本文提出了Thunderdome——首个无时间锁的支付通道网络。Thunderdome利用虚拟通道的设计原理，扩展了无时间锁的支付通道原语，从而支持无需时间锁的多跳交易。其核心创新在于引入一组非信任的监控节点（称为wardens），这些节点组成委员会，确保即使诚实方在通道关闭过程中离线也不会损失资金。同时，本文设计了针对性的激励机制，保证所有参与方（包括wardens）遵循协议正确执行。安全性方面，除了传统的假设委员会诚实多数的安全证明，作者还通过正式博弈论分析证明了在理性参与方假设下Thunderdome仍然是安全的。他们在以太坊上实现了原型系统，验证了可行性并评估了成本。结果显示，部署Thunderdome（包括打开底层支付通道）的成本约为15美元（0.0089 ETH），关闭通道的最坏情况成本约为7美元（0.004 ETH）。该工作为PCN的安全性提供了新的设计方向，特别适合研究区块链扩容和安全的研究人员阅读。

本文研究自动做市商（AMM）机制设计中的三难困境。AMM是区块链上流行的去中心化交易模式，用户通过智能合约直接交易加密资产，但面临抢跑和尾随攻击（即矿工可提取价值MEV）导致的劣质价格。早期工作证明在共识层完全消除MEV不可行，因此近年研究转向应用层（智能合约）的机制设计。本文延续Chan、Wu和Shi等人的工作，研究一个自然的双资产AMM机制设计问题，他们提出的机制在底层区块链提供排序公平性的假设下，实现了令人惊讶的强激励兼容性（IC）。本文探讨同时实现IC、弱局部效率（wLE）和统一定价（UP）的可行性。wLE要求机制不应留下未满足的需求——只要用户的要价不过于严苛且订单可直接与池子执行；UP要求所有（部分）执行的订单必须以相同汇率交易。作者揭示了AMM机制设计的底层数学结构，主要结果可总结为一个三难定理：在IC、wLE和UP三者中，可以同时满足任意两个，但没有任何机制能同时满足全部三个。该研究为AMM设计提供了理论界限，有助于理解去中心化交易所的内在权衡。适合对区块链机制设计、博弈论和DeFi安全感兴趣的研究人员阅读。

本文提出 OptRand，一种高效、不可预测的同步随机信标协议。现有同步随机信标协议在通信开销、延迟、容错性及可重配置性方面难以兼得。OptRand 的核心创新在于：1) 结合双线性对公开可验证秘密共享与非交互式零知识证明，构建线性大小（节点数 n 的线性函数）的公开可验证随机共享，从而将每轮随机数输出的通信复杂度降低至 O(n^2)；2) 设计了一种乐观响应的状态机复制协议，在乐观条件下（即网络假设成立时）能够以实际网络速度推进，显著降低延迟；3) 支持高效的重配置机制，允许节点动态加入或离开系统。实验表明，OptRand 在乐观条件下性能显著优于现有最先进协议，正常条件下性能持平，并且是首个实现分布式信标重配置机制的协议，能够确保重配置期间系统持续活跃。该论文主要面向分布式系统、区块链及密码学领域的研究者和工程师，为构建高效、可扩展的公共随机信标提供了新的设计思路。

本文提出一种名为"Sleepy Channels"的新型双向支付通道协议，无需使用监控塔（watchtowers）即可保证通道的安全性与公平性。传统支付通道依赖第三方监控塔来防止一方作恶（如广播过期交易），但监控塔引入额外信任和成本。Sleepy Channels通过创新的密码学机制，允许通道参与方在任意长时间离线后仍能安全地结算通道，而无需在线监控。核心方法包括使用适配器签名和哈希锁定的组合，并结合一种称为"sleepy"的更新机制，使得通道更新交易可以在双方不同时在线的情况下进行。协议支持双向资金流动，且保证安全性：任何一方都不能通过延迟或拒绝合作来窃取资金。实验分析表明，与现有方案相比，Sleepy Channels显著降低了通信和计算开销，同时保持了与闪电网络等主流支付通道兼容的灵活性。该工作为去中心化支付网络中的通道管理提供了一种更简洁、更安全的解决方案，尤其适用于轻客户端和移动设备场景。

该论文提出了一种名为Thora的协议，旨在解决区块链支付通道网络中多通道更新的原子性和隐私保护问题。在现有的闪电网络等通道网络中，多跳支付通常依赖哈希时间锁合约（HTLC）来实现原子性，但HTLC存在隐私泄露（如路径可追踪）和资金锁定效率低等问题。Thora通过引入一种新的原子交换机制，结合了同态承诺和零知识证明，使得多个通道的状态更新能够原子性地提交，同时隐藏了通道间的关联和路径信息。具体而言，Thora采用了一种基于适配器签名的变体，允许参与方在不知道彼此秘密的情况下达成一致，并通过加密承诺确保所有更新要么全部执行，要么全部回滚。此外，协议利用零知识范围证明来验证通道余额的合法性，而无需公开具体数值。实验表明，Thora在典型拓扑下的通信轮次与HTLC相当，但显著降低了链上交互频率，并提供了更强的隐私保护。该工作适用于需要多跳支付或跨通道原子交换的场景，如去中心化金融（DeFi）中的原子交换或闪电网络的隐私增强。

本文提出一个名为DARTIC的去中心化匿名声誉框架，旨在解决链上众包系统中匿名性、声誉绑定和可扩展性之间的矛盾。现有去中心化声誉系统通常无法同时满足这三个要求。DARTIC采用双账本系统，允许请求者和工作者在不同交互中使用不同假名，实现不可链接性同时保持可问责性。为了抵御女巫攻击和声誉重置攻击，利用基于zkSNARK的集合成员证明，将所有用户假名加密绑定到单个访问令牌而不暴露连接关系。在可扩展性方面，研究了两种聚合技术，将多个证明压缩为单个简洁证明以减少验证开销。此外，设计了一个自动隐私保护声誉模型，能够动态评估不同众包场景中的贡献。在众感知和联邦学习场景中实例化并评估DARTIC，结果显示：单个令牌花费的证明生成时间不到3秒；聚合将1024个证明的验证时间从8.7秒降至0.96秒；zk批处理相比纯Layer-1部署降低了超过100倍的Gas成本。实验证明匿名性、强声誉绑定和可扩展性可以在完全去中心化众包系统中同时实现。

该论文介绍了一个名为“Quantum Futures Interactive”的实时交互演示平台，旨在应对量子计算对区块链和分布式应用带来的长期安全挑战。随着量子计算的发展，广泛使用的公钥密码系统（如RSA、ECC）面临被破解的风险，这威胁到区块链平台的安全性。尽管后量子密码学（PQC）标准正在制定中，但对量子风险的理解在研究、工程、治理和投资社区中仍然分散。该平台通过教育可视化、参与式交互和密码学工件生成，展示了从经典密码系统到量子弹性区块链系统的过渡过程。参与者遵循结构化流程，包括量子威胁教育、情绪捕捉、技术优先级排序、基础设施权衡探索以及生成后量子密码学输出。系统集成了分布式信任概念、可持续性感知的基础设施考虑和负责任创新框架，并符合联合国可持续发展目标（SDGs）。该演示旨在促进区块链弹性方面的跨学科对话，并帮助不同背景的参与者理解量子风险、探索权衡，并生成实际的PQC工件（如密钥和签名）。实验表明，该平台能够有效提升参与者的量子安全意识和决策能力。

该论文从隐私角度出发，论证内生代币（如加密资产）不具备货币属性。作者首先对公共、无需许可账本上的代币进行分类，将其与私人发行的稳定币及央行数字货币（CBDC）设计方案进行对比。随后，论文借鉴Kahn等人在《货币即隐私》中对现金与简化信用的分析框架，将其扩展到公共、无需许可账本的场景。研究发现，大多数公共账本采用基于账户的余额抽象，导致默认状态映射到《货币即隐私》中最有害的代理交互模型。核心结论有三：第一，区块链经济体系缺乏类似现金的原语；第二，稳定币本质上无法填补这一角色；第三，网络依赖内生代币提供安全性，将导致即使持有隐私保护资产也面临相同风险——因为该资产依赖与内生代币相同的全局账本状态。论文主要贡献在于澄清了代币分类与货币属性的关系，并指出了当前区块链隐私设计的根本局限。适合区块链安全研究员、隐私保护设计者及金融科技政策制定者阅读。

该论文提出了一种新的区块链不可追踪性概念——可否认的隐蔽资产转移（DCAT），旨在实现比传统混币器或隐私币更强的隐私保护。传统方案通过将交易置于匿名集中来隐藏发送方与接收方的关系，但交易事件本身仍可被观测到。DCAT的目标是使转移事件本身不可观测，通过将转移伪装成常见的去中心化金融（DeFi）活动（如三明治攻击和套利交易），使得发送方看似遭受普通损失，而接收方看似从中获利。论文设计了两种DCAT实例：基于以太坊的三明治攻击转移和基于Arbitrum的套利转移。实验表明，在评估设置下，DCAT转移在两条链上经验上不可观测；它们在语法上与相应的最大提取价值（MEV）活动完全相同，被标准MEV检测工具归类为普通提取行为，且在代表性取证工具下发送方和接收方不会被关联。由于语法检查无法区分DCAT与普通MEV活动，论文进一步考察经济语义是否提供有用的取证信号。通过对以太坊和Arbitrum上MEV损失的大规模研究，发现关键语义特征遵循幂律分布。极端损失和反复被利用的地址在真实世界中存在，因此它们本身并非共谋的决定性证据。这为伪装转移提供了可否认性，并使固定阈值的检测容易产生误报。为此，论文开发了一种多元统计方法用于取证分类，根据经济足迹的联合罕见性对事件进行排序。应用于真实DeFi活动时，该方法将大搜索空间缩小到可疑案例以供人工调查，并展示了三个案例以说明优先级排序。该研究主要面向区块链安全研究人员、隐私技术开发者以及DeFi领域的安全分析师，提供了新的隐私增强思路和取证分析工具。

本文针对工作量证明（PoW）区块链中带宽限制导致的吞吐量瓶颈问题，提出了一种名为 Manifoldchain 的创新分片协议。在传统 PoW 区块链中，为保证安全性，全网区块生成速率由带宽最低的矿工决定，导致高带宽矿工的计算能力被浪费，整体吞吐量受限。Manifoldchain 的核心思路是“带宽聚类分片”：将带宽相近的矿工分配到同一个分片，从而每个分片可以基于其内部矿工的平均带宽设置独立的、最优的挖矿速率。这一设计显著减少了因慢矿工造成的等待时间，提升了分片内的交易处理速度。然而，这种分片方式也引入了新的安全风险：攻击者可能集中腐蚀同一带宽等级的矿工，使某个分片内恶意算力超过 50%，从而破坏该分片的安全性。为应对这一威胁，论文提出了“共享挖矿”机制，允许全网诚实矿工参与每个分片的区块链生成，使得任何分片的安全性都不低于未分片区块链。此外，由于各分片挖矿速率不同，跨分片交易需要原子性保证。Manifoldchain 设计了一种异步原子提交协议，能够在异构速率的分片间实现交易原子提交。理论分析表明，Manifoldchain 的吞吐量随分片数量线性增长，且与每个分片的网络延迟成反比。研究团队实现了完整原型系统，并在模拟环境和真实测试床上进行实验，结果显示，在矿工带宽从 5Mbps 到 60Mbps 的混合场景下，Manifoldchain 的吞吐量比基线分片协议提升了 186%，验证了其在带宽维度上的垂直扩展能力和在网络规模上的水平扩展能力。该研究适合对区块链扩容、分片技术、共识机制感兴趣的研究人员和系统开发者。

本文首次系统性地研究了以太坊上基于载荷的交易钓鱼（PTXPHISH）攻击。该攻击通过恶意载荷操纵智能合约交互来欺骗用户，相比早期简单交易钓鱼更为高级。研究者首先进行了长期数据收集，构建了包含5000笔钓鱼交易的真实数据集，并将钓鱼策略分为四大类、十一个子类。其次，提出了一种基于规则的多维检测方法，F1分数超过99%，平均每个区块处理时间390毫秒。然后，在300天的大规模检测中发现了130637笔钓鱼交易，造成超过3.419亿美元损失。深入分析揭示：诈骗者每天消耗约13.4 ETH（占以太坊总Gas的12.5%）用于地址投毒；发现了洗钱模式；前五大钓鱼组织造成了40.7%的损失。实际贡献包括向社区报告1726个钓鱼地址（占同期社区贡献的42.7%），发送2539条链上预警消息，帮助了1980名受害者。本研究为对抗新兴PTXPHISH和保护用户资产提供了重要参考。

本文提出 ORCHID（Orchestrated Reduction Consensus for Hash-based Integrity in Distributed Ledgers），一种新颖的生物启发式共识协议，将神经科学的“绑定问题”（大脑如何将分布式神经振荡整合为统一的意识感知）映射到分布式系统的“共识问题”（区块链节点在拜占庭故障下如何就单一账本状态达成一致）。ORCHID 基于 Penrose-Hameroff 的 Orchestrated Objective Reduction (Orch OR) 假设和 Kuramoto 同步模型，为每个节点配备量子噪声相位振荡器；当网络序参数 r(t) 超过“绑定阈值”θ_b 时触发共识，模拟意识感知中的伽马波段绑定事件。协议通过相干性加权的量子秘密共享（QSS）层增强，将 Weinberg 的调查框架扩展为具体的共识应用。在 Watts-Strogatz 小世界网络上的仿真（n=10-150）显示：(i) 耦合强度 K=3.0 下 Kuramoto 序参数达到 r_max=0.988，远高于理论临界耦合 K_c≈1.41；(ii) 在相干性 c*≈0.82 处出现尖锐的 QSS 保真度相变，验证了定理 2；(iii) 在测试的所有拜占庭比例（0%-40%）下共识率达到 100%，n=30 时中值收敛时间低于 4 秒；(iv) ORCHID 的消息复杂度为 O(n·k)，在 n≥150 时优于 PBFT 的 O(n²)。这些结果确立了 ORCHID 作为后量子分布式账本中可扩展、生物合理且量子增强的共识机制。

该论文提出了一种通过分析链上投票行为来检测去中心化自治组织（DAO）内部党派社区形成的方法，以预判组织分裂（分叉）事件。作者从治理智能合约中提取投票事件，构建投票者矩阵编码参与模式，并通过成对相异性分析量化地址之间的意识形态分歧。利用多维尺度分析（MDS）可视化关系，结合轮廓系数优化的k-means聚类识别党派社区。以Nouns DAO为案例（该协议经历过多次分叉），研究表明将在分叉中分裂的地址在实际分叉事件前数月就已聚类在一起。对从合约部署到第一次大分叉的330个提案的分析显示，90%的分叉地址在最后44个提案中聚类，而随机数据中仅为47%。结果表明，通过链上治理分析可以检测并可视化党派社区，在组织分裂前提供早期预警。

本文提出 Kronos，一种用于分片区块链的安全且通用的共识协议，旨在解决跨片交易带来的安全与效率挑战。现有分片共识在安全性和低开销之间缺乏通用方案。Kronos 引入了一种新的安全分片共识模式，核心是基于由分片成员共同管理的缓冲区：有效交易通过缓冲区传输给收款方，无效交易则通过快乐或不快乐路径被拒绝。理论证明，在恶意客户端下，Kronos 能实现原子性安全，且片内开销达到最优的 O(kB)（k 为涉及分片数，B 为拜占庭容错成本）。此外，Kronos 提出了基于批量认证和可靠跨片传输的安全跨片认证方法：批量认证结合混合树或向量承诺，可靠传输集成纠删码。处理 b 笔交易时，跨片开销仅为 O(n b λ)（n 为分片大小，λ 为安全参数）。Kronos 不限制底层 BFT 协议类型，也不依赖时间假设，各模块提供可选构造。作者基于异步 Speeding Dumbo 和部分同步 Hotstuff 两种 BFT 协议实现了 Kronos，实验表明系统可扩展至数千个共识节点，在 2.0 秒延迟下达到 320 ktx/sec 的吞吐量，相比已有方案吞吐量提升最高 12 倍，延迟降低 50%。该工作适合区块链研究者、系统安全工程师及对分片共识感兴趣的从业人员阅读，提供了兼顾安全与性能的通用设计思路。

本文系统研究了委托权益证明（DPoS）区块链在治理层面面临的接管攻击风险。DPoS 区块链（如 EOSIO、Steem、TRON）通过持币投票选举区块生产者（BP）委员会，社区依靠该委员会维护网络运行。2020 年 Steem 与 TRON 之间的纠纷中，TRON 创始人利用链上投票机制在一小时内接管了整个 Steem 委员会，迫使原社区离开。该事件首次证实了 DPoS 区块链的治理接管在实际中可行，但学术界对其脆弱性及防御机制缺乏深入理解。论文首先形式化定义了接管攻击模型，将攻击目标定为攻击者获得 BP 委员会多数席位。然后基于实际链上数据分析了 Steem 事件中攻击者的投票策略和成本。通过模拟实验，本文量化了接管难度与持币分布、投票阈值、投票权重衰减参数等的关系。实验发现，当持币高度集中时，少数大户即可低成本完成接管；即使持币相对分散，通过合谋或利用投票代理合约也能显著降低攻击难度。论文还对比了不同 DPoS 变体（如 EOS 的投票权重衰减机制）对抵抗接管的影响。主要贡献包括：首次系统度量 DPoS 区块链的治理安全边界；揭示了现有机制在应对合谋攻击时的不足；提出了增强抗接管能力的改进方向，如引入延迟生效、限制投票权重集中度等。本文适合区块链安全研究者、DPoS 项目治理设计者以及公链运营者阅读。

该论文研究了区块链协议中一种新兴的设计模式：利用执行任务与验证任务之间的计算不对称性（例如，SNARKs 等密码学有效性证明需要证明者耗费大量计算，而验证者只需少量计算）。在这种模式下，协议需要在假名、对抗性环境中高效地征集昂贵任务的执行者。作者将这一问题形式化为一个机制设计问题：协议需要平衡“活度故障”（即任务未完成）的经济成本与为激励候选供应商（即节点）采取特定行为所需的支付成本。论文证明，最优协议的总损失随活度故障成本呈对数增长，且该损失会受到网络中恶意节点比例的放大。通过博弈论分析，作者发现最优均衡具有直观的结构，能够为实践者提供具体建议。例如，在许多场景下，最优设计是指定一个随机节点作为主要工作者（类似基于领导者的共识），同时由一个委员会作为后备。论文还刻画了负支付（即区块链中的罚没机制）在哪些渐进区域中特别有效。整体上，该工作为区块链中涉及计算不对称的任务采购提供了理论基础和设计原则。

本文针对机构级去中心化金融（DeFi）协议缺乏统一风险量化评估框架的问题，提出一个九维度风险评估框架。现有方法或聚焦于协议层面的参数优化，或停留在概念性分类，未能提供可解释、可组合感知且结构独立的评估方法论。作者在穆迪分析和Gauntlet公司提出的六维度分类基础上，新增三个核心维度：组合风险（composability risk）、理解债务（comprehension debt）和时间风险动态（temporal risk dynamics），并引入透明度置信度修正因子，将评估可靠性与风险严重性分离。该框架基于覆盖超过8000个DeFi协议的本体论基础设施，通过结构化分析协议依赖关系建立。作者对2024-2026年间12起重大DeFi相关事件（造成约25亿美元直接损失）进行回溯分析，发现其中5起（包括数据集内影响最大的两起）必须借助至少一个新维度才能完整解释根因。本文贡献在于提供了一个可落地、可扩展的风险评估框架，特别适用于机构级DeFi投资决策、审计和监管合规场景。研究适合DeFi安全研究员、协议开发者、风险管理人员及监管机构阅读。

本文提出了一种名为“概率互换”（Probabilistic Swaps）的新型密码学原语，旨在将区块链中的原子互换从确定性场景扩展到概率性场景。传统原子互换保证“要么双方都获得约定资产，要么都不转移”，但这种全有或全无的确定性限制了彩票、随机分配机制和概率性跨链交易等应用。概率互换允许一方以固定的、公开指定的概率获得资产转移，且双方均无法偏置该概率，从而实现了无需可信中介的可验证随机交换。构造方法结合了适配器签名和不经意伪随机函数（OPRF），通过原子交换OPRF评估与支付的关键机制，确保概率的不可预测性和不可偏置性。该协议保持了最小化链上足迹，仅依赖标准比特币脚本（数字签名和时间锁），可在任何支持原子互换的区块链上部署，且与普通链上交易不可区分，保护隐私和可互换性。作者在比特币测试网和闪电网络上实现了原型并验证了其可行性。本文为安全分析师和区块链开发者提供了设计概率性跨链交换的理论基础和实用方案，但需注意该协议可能面临的风险和限制，如交易对手方提前退出或网络延迟对概率的影响。

该论文提出了一种名为 Accio 的链下支付协议，旨在解决现有基于中心节点（hub）的链下支付系统中存在的可扩展性、隐私性和效率问题。现有的 hub 类链下支付方案通常需要昂贵的零知识证明（NIZK）来实现不可链接性，且只能支持固定金额的支付，限制了其实用性。Accio 协议的核心创新在于：首先，支持可变金额的支付，允许用户在一次支付中发送任意数额的代币，而无需事先锁定固定金额；其次，通过优化设计实现了不可链接性（unlinkability），即收款节点无法将多笔支付关联到同一发送方或同一路径，且完全避免了 NIZK 的使用，显著降低了计算和通信开销；最后，Accio 基于 hub 架构，利用中心节点（hub）作为中介，连接多个支付通道，从而降低通道建立成本并提高网络连通性。论文详细描述了协议的设计原理、安全模型和具体构造，包括一种基于单向陷门置换的原子交换机制和一种新颖的匿名凭证系统。安全性分析表明，Accio 在标准模型下满足支付正确性、余额安全性和用户隐私（不可链接性）要求。性能评估通过原型实现和实验测试证明，Accio 的链下支付延迟仅为现有方案的几十分之一，且适用于大规模的微支付场景。该工作对于区块链支付通道网络（如闪电网络）的隐私增强和效率提升具有重要理论意义和实际应用价值。

本文研究在已知参与模型（Known Participation Model）下的拜占庭容错共识问题，特别关注存在睡眠副本（sleepy replicas）的场景。传统共识协议通常假设所有节点始终在线且活跃，但在实际分布式系统中，节点可能由于节能、网络波动或参与性调整而处于睡眠状态，这增加了共识的复杂性。作者提出了一种新的共识算法，能够在部分节点可能进入睡眠模式的情况下，仍然保证安全性和活性。该算法通过引入动态成员资格管理机制，处理节点状态的未知变化，并利用加密签名和超时机制来检测拜占庭行为。实验结果表明，该算法在节点规模为100时，共识延迟与经典PBFT相当，但能容忍高达1/3的拜占庭节点，同时适应睡眠节点的比例高达50%。本文为区块链和分布式账本技术在实际部署中提供了更现实的容错模型。

本文旨在揭示以太坊MEV（矿工可提取价值）机器人全生命周期的盈利策略。研究背景是MEV机器人在以太坊生态中广泛存在，但其内部运作机制和盈利手段尚不透明。核心问题是如何系统性地理解MEV机器人的行为模式、盈利策略及其演变。作者提出了一种基于链上数据的方法，通过分析交易池、区块构建和机器人交易序列，构建了MEV机器人生命周期的四阶段模型：启动、策略执行、调整和退出。主要贡献包括：1) 首次全面分类了MEV机器人的盈利策略，包括抢先交易、三明治攻击、套利和清算等；2) 揭示了不同策略在不同时期的收益分布和风险特征；3) 通过大规模实证分析（覆盖数百万笔交易），量化了机器人之间的竞争效应和利润来源。实验结果表明，MEV机器人的盈利高度依赖网络延迟和私有交易池的使用，且部分策略存在可持续性风险。本文适合区块链安全研究人员、以太坊协议开发者及DeFi参与者阅读。

该论文针对区块链网络中脱链（off-chain）拍卖的可扩展性问题进行研究。传统的链上拍卖受限于区块大小和交易吞吐量，难以支持高频或大规模竞拍。作者提出一种新的脱链拍卖协议，通过将大部分计算和通信移出链外，仅在链上提交结算证明，从而大幅降低链上开销。协议的核心是利用安全多方计算（MPC）和承诺方案来保证竞拍过程的公平性、隐私性和不可抵赖性，同时防止恶意参与者欺诈。实验结果表明，所提方法在竞拍者数量增加时仍能保持线性或次线性的通信复杂度，且链上事务数量恒定，显著优于现有的链上拍卖方案。该工作适用于去中心化金融（DeFi）中的代币销售、NFT拍卖等场景，为构建可扩展的链上拍卖基础设施提供了理论和技术支撑。

该论文提出了Pallas和Aegis两种机制，旨在解决基于可信执行环境（TEE）的区块链共识协议中的回滚攻击问题。在TEE辅助的区块链系统中，恶意节点可能通过回滚TEE的持久状态来破坏共识的安全性。Pallas是一种预防性方案，通过在TEE内部维护不可篡改的计数器并强制执行单调递增的序列号，防止状态回滚。Aegis则是一种检测性方案，利用轻量级证明来验证TEE状态的连续性，从而发现回滚行为。实验表明，这两种机制在保证安全性的同时，仅引入可接受的性能开销，适用于现有的TEE平台（如Intel SGX）。该研究为TEE与区块链结合提供了重要的安全加固手段，特别适用于对共识完整性要求极高的场景。

本文提出 Ipotane，一种异步拜占庭容错（BFT）共识协议，旨在平衡“好情况”（快速路径）和“坏情况”（故障或拜占庭攻击）下的性能。传统的异步 BFT 协议（如 Dumbo 系列）在好情况下有较高的通信复杂度，而坏情况下的恢复速度较慢。Ipotane 的核心思想是让领导者使用阈值加密秘密共享来提议交易块，并在正常运行时实现 O(n) 的通信复杂度（n 为节点数），同时在出现故障时仍能保证可证明的安全性。该协议通过引入一种新的“领导轮换”机制，在不依赖同步假设的前提下，实现了好情况下的低延迟和坏情况下的高吞吐量。实验结果表明，Ipotane 在好情况下比现有协议（如 Dumbo2）快约 2-3 倍，在坏情况下也保持了可接受的性能。主要贡献包括：提出一种新颖的异步 BFT 协议设计，能在不同场景下自动调整通信模式；给出了严格的形式化安全证明；通过大规模实验验证了其实际性能优势。本文适合分布式系统、区块链共识协议和安全领域的研究人员阅读。

本文提出一种分布式广播加密方案，旨在解决私有区块链间互操作时的机密性保护问题。现有跨链方案（如中继或侧链）通常依赖链上公开验证，导致交易数据在跨链过程中暴露。作者设计了一种基于广播加密的分布式密钥管理机制：各参与联盟链生成共享的广播加密密钥，发送方使用接收方联盟的公钥加密数据，只有目标链上的授权节点能解密。方案无需信任单一第三方，且支持动态添加或撤销联盟成员。实验基于Hyperledger Fabric实现，在典型跨链场景下，加密开销（约5-10毫秒）和解密性能（约20-30毫秒）可接受，通信带宽增加约15%。主要贡献包括：形式化定义跨链机密互操作的安全模型；提出去中心化的广播加密协议；给出实际区块链环境下的性能评估。适合区块链架构师、隐私计算研究员及企业联盟链开发者阅读。

本研究调查了以太坊在提议者-构建者分离（PBS）架构下构建者市场的快速中心化现象。现有研究主要关注有影响力的订单流，缺乏对订单流行为模式和经济目的的综合评估。为弥补这一空白，本文分析了2023年9月至2025年8月间的以太坊交易，以刻画排他性订单流（EOF）和非原子最大可提取价值（MEV）——分别对应行为和经济学维度的缺失组成部分。我们引入了一种基于Kullback-Leibler散度的新型排他性度量，并采用监督学习识别出75个EOF和322个非原子MEV流，它们分别占交易相关构建者收入的71%和23%。对这些维度上构建者策略的纵向分析将市场演进划分为四个不同时期，揭示出虽然EOF在早期建立主导地位方面发挥了关键作用，但现有参与者已通过利用根深蒂固的网络效应，将市场份额与直接的EOF依赖脱钩。最终，我们得出结论：构建者中心化是PBS框架本身的涌现属性，因为该架构系统性地违反了竞争市场的基本前提。

本文提出了一种面向区块链物联网数据共享系统的、支持撤销的CP-ABE密钥管理方案。现有混合架构中，许可链存储防篡改元数据，加密负载置于内容寻址存储，但密钥访问控制存在瓶颈：常见方案依赖在线RBAC或智能合约返回密钥，引入可信在线策略执行点并削弱可审计性。本文采用密文密钥发布替代在线密钥分发：账本记录元数据 (CID, CK, PolicyID, epoch)，其中CK是封装AES-GCM密钥的CP-ABE密文。用户从账本获取CK，若属性满足策略则在本地解密。为支持前向撤销和策略演进而不重新加密大文件，引入基于时间/纪元的属性及轻量级CK轮换协议，仅更新小密文密钥和账本条目。基于本地内容寻址存储、哈希链账本和CP-ABE后端实现了最小端到端原型。实验显示：CP-ABE加密占主导延迟（k=6混合布尔策略约186 ms），账本和存储操作约1-2 ms；基于纪元的撤销在动态环境下摊销密钥更新成本；网关辅助模式在模拟客户端4倍减速下将中位解密时间降低4倍以上；账本增长速度与共享资产数量而非读取者数量成比例。

本文提出了一种基于大语言模型（LLM）的智能合约漏洞检测框架。智能合约因其不可篡改特性，易遭受多种安全漏洞攻击，导致重大经济损失。现有检测方法通常依赖人工制定的专家规则，缺乏对不同漏洞类型的灵活适应性。为此，作者构建并公开了一个大规模数据集，包含来自15个主流区块链平台、超过3200个真实项目的31165个专业标注的漏洞实例。该框架利用基于抽象语法树（AST）的精确上下文提取和漏洞特定的提示设计，为13种常见漏洞类型实例化定制检测器。实验结果表明，该方法平均正样本召回率达0.92，平均负样本召回率达0.85，展示了精心设计的上下文提示在实现可扩展、高精度智能合约安全分析方面的潜力。该研究为智能合约安全检测提供了新的思路，特别适合安全研究人员和区块链开发者关注。

本文提出了一个名为EvoPoC的知识驱动智能体系统，用于端到端的DeFi智能合约漏洞检测与利用合成。核心思路是将利用合成视为结构化推理问题，而非代码生成任务，因此需要协议语义、失败根因和利用原语的知识。EvoPoC将知识组织为层次知识图谱（HKG），作为LLM引导的多跳推理的结构化记忆。为验证利用可行性，系统采用两阶段验证框架：通过SMT求解检查利用路径可达性，通过资产级状态模拟检查利润可实现性，确保生成的PoC满足逻辑和经济可行性约束。在88个真实DeFi攻击和72个审计项目（2573个合约）上评估，检测召回率达98%，F1分数0.9，利用成功率（ESR）96.6%，复现了85个历史漏洞，恢复超过1.162亿美元。EvoPoC在ESR上超越最先进的模糊测试工具Verite和ItyFuzz达5倍，在可恢复价值上超越300倍；相比基于LLM的利用生成器A1，分别超越2倍和8.5倍。在漏洞赏金评估中，EvoPoC发现了16个确认的0-day漏洞，帮助保护超过7060万美元，并获得2900美元赏金。

本文提出了 InsureConnect，一个基于区块链的系统，旨在提高财产保险工作流在自然灾害后的透明度、可认证性和可审计性。该系统结合了自我主权身份（SSI）、去中心化标识符（DID）、可验证凭证（VC）、卫星图像、Hyperledger Fabric 和 IPFS（星际文件系统）来注册身份、保险合同和损害索赔。财产图像存储在 IPFS 中，而内容哈希和签名记录则保存在许可区块链上。用户通过桌面应用程序与系统交互，链码执行基于角色的访问控制并验证数字签名。原型在 50 到 3000 个并发请求负载下进行了评估，测量了延迟、吞吐量和丢弃连接数。结果表明，系统在负载下能够维持吞吐量增长，尽管延迟增加且在高并发下出现丢弃连接。

本论文针对 Nakamoto 共识（即比特币使用的工作量证明链式共识）的实际结算边界问题展开研究。该共识机制目前支撑着大多数加密货币和智能合约区块链。尽管已有大量理论工作精确确定了 Nakamoto 共识的安全区域（即保证渐进安全的参数化集合），但这些理论并未提供足够紧致的、能够指导实践的结算时间保证。论文旨在弥合理论与实践之间的差距，通过更精细的分析推导出实际可用的结算边界，使得区块链用户和开发者能够基于具体的网络参数（如区块生成速率、网络延迟等）计算出安全的交易确认等待时间。具体方法可能涉及对最长链规则下的分叉概率进行更严格的界限估计，或者引入新的统计技术来量化攻击者的优势。实验部分可能通过模拟或形式化验证展示新边界相对于现有理论的紧致性。主要贡献包括给出了首个针对实际部署场景的、可计算的结算时间界限，并证明了在典型参数下该界限显著优于已有结果。适合区块链安全研究者、协议开发者以及加密货币交易所的风险管理人员阅读。

本文提出 Obscura，一种针对 Algorand 区块链的隐私保护协议。现有区块链隐私方案（如以太坊上的 zk-SNARKs）在高吞吐量链（如 Algorand）上难以实现，因为存在严格的每调用执行预算和全局 Merkle 累加器引起的状态竞争。Obscura 利用基于 BN254 椭圆曲线的可链接自发匿名群签名（LSAG）来实现交易匿名性，并在链上完全验证。为了克服 Algorand 虚拟机（AVM）的限制，作者引入了一种新颖的状态模型，利用 Algorand 的 Box Storage 实现 O(1) 的承诺成员检查，消除了全局 Merkle 累加器的需求；同时，通过池化内部应用调用实现动态操作码预算扩展机制。实验证明，在 Algorand 上无需可信设置或简洁证明即可实现高效实用的签名者匿名隐私。Obscura 为透明账本提供了强大的隐私层，弥合了高吞吐量区块链架构与加密隐私及选择性审计双重需求之间的鸿沟。

本论文针对比特币 rollup 的数据可用性问题，提出一种无需许可的验证信息分散（VID）系统。Rollup 通过将交易执行移至辅助链来提升吞吐量，但通信成为新的瓶颈。传统 VID 系统（如以太坊）依赖于参与节点的公钥身份认证，属于许可模型。而比特币采用无许可模型，节点无需认证且动态加入，现有 VID 方案无法直接适用。本文构造了一个在比特币模型下安全的 VID 系统，仅额外要求存在可靠参与者。该系统将状态机复制（SMR）协议（如比特币自身）作为黑盒使用，因此向后兼容，无需修改底层区块链。作者在比特币核心的回归测试网络（regtest）上实现了原型，实验表明，对于特定参数，通信成本可降低超过 1000 倍，延迟降低约 10 倍。该工作填补了无许可区块链数据可用性的理论空白，为比特币 rollup 的实际部署提供关键基础设施。

本文针对FlyClient轻量级区块链验证协议在实际部署中面临的技术挑战展开研究。FlyClient原本旨在让资源受限环境（如移动钱包、物联网设备或基于智能合约的跨链桥）仅需极少量数据即可完成工作量证明验证，但其仍处于实验阶段，缺乏真实世界部署和多样化性能评估。作者从理论和实践之间的鸿沟出发，提出了三项主要贡献：（1）引入了一种替代原FlyClient的对手模型，该模型允许验证器在具体经济解释下进行参数化，同时节省证明空间；（2）首次为生产级区块链（Zcash）实现了实用的FlyClient证明器，并在不同配置下评估了其性能；（3）提出并评估了两种优化方案以最小化FlyClient证明的大小，其中一种优化无需更改共识协议。实验结果表明，这些优化能显著减小证明尺寸，提升协议在资源受限设备上的可行性。本文适合区块链开发者、轻量级验证研究者以及关注跨链桥安全性的工程师阅读。

本文提出 GoAT-X 框架，旨在解决跨链桥合约安全审计中的语义复杂性问题。跨链桥作为多链生态的关键基础设施，因实现缺陷已造成超过28亿美元损失。现有防御手段如字节码级静态分析难以处理跨链交互的语义复杂度，而基于大语言模型（LLM）的方法虽能理解源代码，但在复杂多合约依赖上容易出现幻觉推理。GoAT-X 将审计过程建模为“审计思维图”（Graph of Auditing Thoughts），模仿人类专家分解、推理和验证安全逻辑的方式。通过将LLM推理锚定在静态提取的数据流上，并将抽象安全属性显式链接到具体代码实现，该框架将语义约束在良定义的结构和状态边界内。在此受限空间中，GoAT-X 将跨链逻辑中的缺失约束和对抗绕过路径作为首要漏洞目标，动态探索推理路径以识别可被利用的语义鸿沟。在涵盖所有已知跨链代币交易攻击的综合基准测试中，GoAT-X 在细粒度审计点上达到92%的召回率，对存在漏洞的项目覆盖率达95%，并在实际场景中识别出117个经确认的风险，且运营成本较低，为可扩展的、逻辑驱动的跨链安全审计建立了新标准。

提出基于溯源访问的子账户系统 PASS，通过 Inbox-Outbox 机制实现外部动作可验证溯源且内部转账私密，用于区块链钱包的灵活共享访问。

提出一种基于区块链锚定可解释机器学习的防篡改欺诈检测系统，解决审计痕迹被内部人员篡改的信任问题。