MicroNova 是一种基于折叠的递归论证系统，旨在高效证明形如 y = F^(ℓ)(x) 的增量计算，其中 F 可以是使用 R1CS 约束系统编码的非确定性计算。与现有折叠论证相比，MicroNova 的关键创新在于其验证者在资源受限环境（如以太坊区块链）中的具体效率。证明过程逐步生成，且证明大小和验证时间与迭代步数 ℓ 无关。在最后迭代后，证明被压缩为 O(log N) 个群元素，其中 N 是单次调用 F 的约束数。压缩证明的验证仅需 O(log N) 次群标量乘法和两次配对运算。MicroNova 需要通用可信设置，并可复用为 KZG 多项式承诺方案创建的现有设置材料。论文还给出了实现和实验评估：在以太坊上验证一个证明大约消耗 220 万 gas，证明者的开销相比基础的 Nova 仅有极小增加。这项工作对区块链上可验证计算、递归证明合成等领域有显著贡献，尤其为在智能合约中高效验证复杂计算提供了实用方案。

该论文研究了以太坊Layer-2（L2）生态系统中跨Rollup互操作性的一个具体兼容性问题。背景是L2扩展解决方案虽然提升了可扩展性，但也导致了用户、流动性、Gas资金和执行在不同Rollup之间的碎片化。Ethereum Interop Layer（EIL）提出了一种基于凭证（voucher）的架构，允许用户在源链上创建凭证请求，并在目标链上兑换由XLP签名的凭证。作者在可控的本地环境中复现评估的SDK版本时，观察到UserOperation路径中的一个兼容性问题：支付主（paymaster）相关数据在签名后可能发生改变，导致用户授权表示与本地验证流程后续检查的表示无法稳定比较。本文提出了一个可复现的双L2验证框架，并针对该问题提出了一种受控的兼容性缓解方案。他们构建了一个确定性的本地测试平台，部署了核心支付主和跨链桥相关组件，实现了模拟的捆绑者（bundler）和事件驱动的XLP提供者，并引入了一个经过清理的支付主数据处理路径以及一个兼容的多链账户包装器。利用该框架，作者执行了从请求创建到目标链凭证兑换和资产释放的核心凭证生命周期。主要贡献包括：对实现级兼容性障碍的经验诊断、恢复受控端到端执行的有限缓解方案，以及用于研究基于凭证互操作性的可检查验证制品。论文并未声称提出新的互操作性协议、通用钱包兼容性或生产就绪性，而是指出了向标准账户验证、单签名多链授权和完整争议解决支持方面仍存在的差距。

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

该论文提出了一种基于语料库驱动的以太坊智能合约反编译方法，名为Code HarvETHter。反编译是以太坊安全分析的关键步骤，因为智能合约通常以字节码形式部署，难以直接分析。现有的反编译工具往往依赖于静态规则或模式匹配，存在精度低、可移植性差等问题。本文的创新点在于利用大规模智能合约字节码语料库来训练或指导反编译过程，从而自动学习字节码与高级语言结构之间的映射关系。该方法首先从公开的区块链数据集中收集大量已验证的智能合约字节码及其对应的源代码（如有），构建配对语料库。然后，设计了一种基于序列到序列学习的神经网络模型（或类似方法），将字节码序列映射为伪源代码。此外，论文还探讨了如何利用控制流和数据流分析来增强反编译结果的语义正确性，例如识别函数边界、变量类型和数据结构。通过在一个包含2000多个真实以太坊智能合约的数据集上进行实验，与现有工具（如Porosity、Vandal、Rattle）相比，Code HarvETHter在函数识别准确率、类型恢复和反编译代码的可读性方面均有显著提升。该研究对于智能合约安全审计、漏洞检测以及恶意合约分析具有潜在价值。

该论文研究了以太坊隐私混币器Railgun中的用户行为泄漏问题。尽管底层加密协议（如零知识证明）能保证交易匿名性，但用户的行为模式——如交易时间模式、地址重复使用、交易图邻近性、金额指纹以及背包问题匹配——仍可能导致匿名性显著损失。作者提出了五种启发式方法，用于估计给定存款和取款交易属于同一用户的概率。具体包括：(1) 特征时间模式：分析交易时间间隔和分布；(2) 地址重用：检查是否同一地址被多次使用；(3) 交易图邻近性：基于公开交易记录，构建图并度量节点间距离；(4) 金额指纹：保留交易金额中独特的数字模式（如尾数、舍入方式）；(5) 背包匹配：寻找一组存款和取款金额之和相等或近似相等的组合。实验结果显示，17.65%的Railgun取款交易可通过这些方法唯一链接到存款交易。此外，应用背包求解器算法，取款交易的中位数匿名集大小减少了3.42比特。该工作揭示了即使采用强加密的隐私系统，用户行为仍可能导致实质性的匿名性损失，为理解混币器和匿名池的实际隐私极限提供了实证，并提出了更安全的使用方法和设计原则。

本文针对Go Ethereum（Geth）实现的snap sync协议提出了多种实际攻击方法。Snap sync是一种用于快速同步以太坊节点的协议，通过并行下载状态数据来加速同步过程。作者首先分析了snap sync协议的设计细节，发现其缺乏对节点间通信的充分认证和速率限制，使得攻击者能够利用少量恶意节点干扰正常节点的同步。具体攻击包括：1）延迟攻击：攻击者通过伪造响应或延迟发送数据包，延长节点完成同步的时间；2）带宽浪费攻击：攻击者向目标节点发送大量无用数据，消耗其网络带宽；3）资源耗尽攻击：通过请求大量不必要的数据，使节点CPU和内存过载。作者在真实网络环境中进行了实验，证明了这些攻击的有效性，并量化了影响：同步时间可以增加数倍，网络带宽消耗可达正常情况的10倍以上。论文还讨论了可能的缓解措施，如引入通信认证、速率限制和信誉系统。该研究对于以太坊客户端开发者、网络安全研究员以及所有依赖以太坊网络的参与者具有重要参考价值。

现代区块链状态管理面临严重的可扩展性瓶颈：对数十亿条加密承诺进行维护在计算上代价高昂。以太坊正在转向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带宽，推进了以太坊无状态路线图。

该论文针对以太坊Layer2（L2）解决方案中采用替代数据可用性（AltDA）系统时面临的安全集成问题，提出了一个端到端的验证框架。AltDA系统（如Celestia、EigenDA、Avail）为L2提供外部数据发布层，以支持高吞吐量的rollup设计。然而，将批量数据发布移出以太坊引入了一个新的共识关键集成层。现有生态系统框架虽识别了风险（如外部DA信任假设、DA验证器的存在与否），但缺乏完整的集成规范，可能导致L2停止、诚实节点间推导不一致、无效状态断言或桥攻击。论文将集成边界建模为一种类型化、确定性、全映射的转换：从L1收件箱字节到AltDA承诺，再到外部可用数据，最终到rollup有效负载。核心原则是每个对抗性输入必须导致一个定义的唯一结果。论文展示了缺失义务如何导致具体故障模式，包括欠约束结算、推导停止、诚实节点行为不一致、无效状态断言和桥安全失效。接着将框架应用于代表性AltDA集成架构（Celestia-Blobstream、基于EigenDA的设计、Avail-ZKsync），评估表明安全AltDA集成不仅取决于DA提供者或桥，还依赖于L2集成强制执行从L1收件箱输入到接受的L2状态的完整验证关系。

本技术报告旨在评估基于Tor的以太坊验证者位置隐私保护方案。以太坊网络的验证者节点在参与共识时，其IP地址与身份（如验证者公钥）之间的可关联性会带来严重的安全风险：攻击者可通过关联IP和身份，结合验证者的出块时机，发起拒绝服务（DoS）攻击、利用最大可提取价值（MEV）或破坏最终确定性。因此，保护验证者的IP地址匿名性对于维护网络信任和韧性至关重要。论文首先回顾了已有的网络层和共识层隐私保护技术，指出这些方案在可部署性或隐私保证上的不足。随后，作者提出并评估了一种名为Tor push的协议：该协议通过将验证者的证明（attestation）、聚合（aggregation）和区块提案（block proposal）流量经由Tor网络转发，从而在验证者身份与节点IP之间实现去关联。为了验证可行性，作者在Nimbus以太坊客户端中实现了Tor push的概念验证（PoC），并在Goerli测试网上运行。实验结果显示，Tor push的平均延迟开销约为613.82毫秒，该延迟对于以太坊网络性能的影响处于可接受范围，同时显著增强了验证者的位置隐私。论文还分析了Tor push的安全性，包括针对Tor出口节点的信任模型、Sybil攻击风险以及延迟波动对共识的影响。整体而言，该研究证明了将Tor集成到现有以太坊网络中是一种可行且有效的隐私增强方案，为验证者隐私保护提供了一种实用的工程化路径。

以太坊智能合约的重入漏洞曾导致重大经济损失，为此社区开发了多种自动化重入检测器。然而，这些检测器由于检测规则粗糙，频繁产生大量误报，常将受抗重入模式保护的合约误判为存在漏洞。因此，迫切需要开发专门的自动化工具来辅助检测器准确识别抗重入模式。现有代码分析技术虽在特定任务上有潜力，但在识别抗重入模式时仍面临挑战，主要因为抗重入模式的特征复杂多样，且缺乏对这些特征的先验知识。本文提出 AutoAR，一种自动化识别系统，用于探索和识别以太坊合约中常见的抗重入模式。AutoAR 利用专门的图表示 RentPDG，结合数据过滤方法，从大量合约中有效捕获与抗重入相关的语义。基于提取的 RentPDG，AutoAR 采用集成图自编码器和聚类技术的识别模型，专门用于精确识别抗重入模式。实验结果表明，AutoAR 能以 89% 的准确率辅助现有检测器识别 12 种常见抗重入模式；集成到检测流程后，误报率降低超过 85%。该工作为智能合约安全分析提供了新的思路，有望提升重入漏洞检测的精度，减少人工审计负担。

该论文首次对以太坊交易池（txpool/mempool）的设计安全性进行系统研究。Txpool是存储未确认交易的缓冲区，控制着下游服务（如挖矿、交易传播）所能看到的内容。研究发现txpool存在拒绝服务（DoS）攻击面，攻击者可能通过特定策略耗尽节点资源或操纵交易池状态，从而影响交易正常处理。论文分析了Ethereum客户端中txpool的实现逻辑，识别了多种潜在的漏洞模式，并通过实验验证了攻击的可行性。研究的主要贡献在于填补了以太坊txpool安全分析的空白，为后续防御机制设计提供了基础。

本文提出了一种系统化的方法来理解和发现以太坊去中心化应用（DApps）中的攻击。研究者首先通过对真实世界攻击案例的因果分析，总结了攻击的根本原因和交易发起路径（transaction-originating path），并识别出常见的攻击模式，如重复交易攻击、闪电贷攻击、重入攻击等。基于这些发现，他们设计并实现了一个名为 EoS（Evil under the Sun）的自动化工具，用于在以太坊上大规模检测 DApp 攻击。EoS 通过静态分析智能合约字节码和动态监控交易序列，能够高效地识别可疑交易模式并定位攻击。在实验中，EoS 在超过 10 万个 DApp 上运行，成功发现了大量尚未公开的攻击，其中包括 1000 多起重复交易攻击和 200 多起闪电贷攻击。论文还讨论了攻击的经济影响，并提出了防御建议。这项工作首次系统性地揭示了 DApp 攻击的多样性和复杂性，为区块链安全研究提供了新的视角，对于去中心化金融（DeFi）生态的安全防护具有重要参考价值。

以太坊的构建者市场（builder market）在合并后成为区块生产的关键环节，但当前呈现出高度中心化的趋势：少数几个构建者主导了大部分区块的构建。这种中心化可能带来审查风险、单点故障以及对网络公平性的威胁。本文首先通过实证数据分析中心化的现状，识别出导致中心化的关键因素，包括MEV（最大可提取价值）的经济激励、抢跑（frontrunning）竞争以及信息不对称。然后，作者提出了一种去中心化的构建者市场设计，核心思路是引入多个并行构建者、采用基于承诺（commitment）的区块提议协议，以及通过加密和秘密共享机制保护区块内容的隐私性，以防止构建者被攻击者披露以获取优势。文中描述了协议的详细流程，包括构建者注册、区块承诺提交、验证者选择以及区块揭示。此外，还设计了一个激励兼容的奖励分配机制，确保构建者诚实行为。实验基于以太坊主网的历史数据模拟，结果表明该方案能有效降低构建者之间的信息不对称，促进更公平的竞争，同时保持区块生产的效率。该研究对于以太坊长期安全性和去中心化愿景具有重要意义，也为其他基于MEV的区块链提供了参考。

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

该论文研究了以太坊内存池（mempool）中交易的动态调度与定价问题。现有EIP-1559算法主要从静态视角分析价格演化，忽略了交易在内存池中的动态到达与等待过程。为此，作者将问题建模为马尔可夫决策过程（MDP），其中状态表示内存池的配置（即等待交易的大小和单位价值分布），动作对应区块价格。首先，作者给出了静态EIP-1559机制的原始-对偶解释，证明区块价格自然作为社会福利最大化问题的对偶变量出现。基于此视角，将框架扩展到动态场景，目标是最优长期折现奖励，并引入持有成本和超调惩罚。然后采用自然策略梯度（NPG）算法计算最优策略。结果表明，动态定价能够稳定内存池并对长期折现奖励实现最大化。特别地，随着超调惩罚增加，平均调度交易量收敛到目标区块容量，并且NPG更新规则与EIP-1559价格更新规则非常相似。最后，论文研究了MDP公式的两个特例：同质交易和均匀到达。在同质交易设置中，协议直接控制调度量，最优策略具有阈值结构。对于均匀到达，提出了bang-bang定价机制，并推导了保证系统稳定性所需区块容量的下界。该工作为以太坊内存池的动态定价提供了理论框架和算法支持，对区块链网络中的交易调度与费用市场设计有重要参考价值。

该论文针对以太坊账户抽象（ERC-4337）中 Paymaster 的集中化问题，提出了一种新的资产导向抽象（Asset-Oriented Abstraction, AOA）方法。现有的生产级 Paymaster 大多采用过程导向抽象（Process-Oriented Abstraction, POA），即依赖一个中心化的链下服务器为每个赞助请求签名，这带来了潜在的审查瓶颈。AOA 将支付能力封装在一个由用户持有的持久化链上资产——“Gas Card”——中，取代了链下签名过程。基于设计科学研究方法论，作者在 Optimism 主网上实现了 SuperPaymaster。其赞助有效性锚定于链上的 Soulbound Token 状态和确定性策略规则，从而消除了链下签名者作为硬性有效性门控。在 gas 成本评估方面，作者使用单 UserOp 的 ERC-20 转账（每组 n=50 笔交易）进行对比。通过追踪级分解，发现消除中心化签名带来了约 32k gas 的额外执行成本。但在纯 L2 执行 gas 上，SuperPaymaster（167,830）低于两个已部署的商业样本，其中较 DEX 路由的 ERC-20 基线（328,937）降低了 49%，原因是用内部余额更新替代了链上清算路径。在总计费 gas 方面，与最便宜基线的剩余差距主要由打包器定价解释，而非 Paymaster 架构本身。故障切换模拟表明，当存在替代中继器时，可以绕过非合作中继器。这些发现表明 AOA 能够缓解可用性、赞助去中心化和经济效率之间的权衡。该研究适合对区块链去中心化基础设施、账户抽象安全性和 gas 优化感兴趣的读者。

该论文提出 HOUSTON，一个针对以太坊去中心化金融（DeFi）协议攻击的实时异常检测系统。研究背景：DeFi 协议遭受多种攻击（如闪电贷攻击、预言机操纵、重入攻击等），现有检测方法多基于规则或签名，难以应对未知攻击且实时性不足。核心问题：如何在大规模交易数据中高效、实时地检测已知与未知攻击。方法：HOUSTON 通过记录并分析每笔交易的程序执行踪迹（如操作码、栈、内存等），将其编码为结构化图表示，然后利用一种新的图神经网络（GNN）架构——时间感知异构图神经网络（TA-HGNN）进行异常评分。系统首先对历史正常交易进行训练，建立行为基线；在实时场景中，对每笔新交易快速提取执行踪迹并计算异常分数，若超过阈值则报警。主要贡献：1）提出一个可扩展的实时检测框架，能够处理以太坊上的高频交易；2）设计 TA-HGNN，有效融合交易执行流中的时序与结构信息；3）在 7 种真实攻击数据集上评估，包括 43 个已知攻击和 257 个变种，检测率超过 95%，误报率低于 0.1%，且平均检测延迟小于 0.5 秒；4）对零日攻击的检测能力良好。适合安全性研究人员、DeFi 协议开发者、区块链安全分析师阅读。

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