以太坊执行客户端 ethrex 完成了首次外部安全审计（由 Least Authority 进行），审计覆盖了 EVM 实现、智能合约、排序器、证明器等核心组件，发现 20 个问题与 8 项建议。所有确认的漏洞均已修复并通过验证。ethrex 代码约 10 万行，已在以太坊主网运行，被多个验证者采用，并支持 ZK-rollup 模式。文章详细介绍了审计过程、问题分类及修复方法。

本文回顾了以太坊Lean Consensus客户端的devnet进展。Devnet 0-2用于基础互通和加密实现；Devnet 3引入单层签名聚合；Devnet 4实现递归聚合。Devnet 5实现全块聚合，将包含16个证明的区块大小从数MB降至约200KB。未来Devnet 6将替换共识机制，提案包括Goldfish、RLMD-GHOST和最终性装置；Devnet 7将集成执行层。后续计划包括抗审查（FOCIL）、专用P2P网络（ethp2p）、PBS和APS等。

本文是作者团队参加罗马举办的zkSummit 14、zkProof 8及Eurocrypt 2026等密码学会议的见闻与总结。会议聚焦零知识证明、后量子密码学、形式化验证等前沿课题，讨论了基于哈希的证明系统、折叠方案、Poseidon哈希函数的安全性分析、量子计算对椭圆曲线离散对数问题的加速等。作者强调了后量子密码学的重要性，并指出研究社区正积极推动更高效原语和早期迁移。文章还提到以太坊基金会在形式化验证和长期安全方面的努力，以及团队在zkVM开发上的进展。

本文介绍了以太坊信标链的LMD-GHOST共识算法存在的平衡攻击问题，并提出了改进方案Goldfish。Goldfish通过两个核心改变——消息缓冲（view-merge）和投票过期——在简化算法的同时提高了安全性。消息缓冲让验证者在投票前同步提议者的视图，投票过期则阻止旧投票被重放。这些改动使得Goldfish比未修补的LMD-GHOST更简单，比修补后的版本更安全。文章还讨论了Goldfish的子采样和乐观快速确认特性，展示了其在可扩展性和最终性延迟方面的优势。

以太坊核心开发者齐聚斯瓦尔巴群岛，参与为期一周的Soldøgn interop，专注于Glamsterdam网络升级的多客户端协作。ethrex团队作为新加入的客户端，全程参与了所有devnet测试，实现了FOCIL，并参与了多个技术讨论，包括性能基准测试、预编译优化等。团队获得了周MVP荣誉，并计划将原型转化为生产代码，积极贡献于以太坊核心开发。

本文介绍了ethrex客户端在P2P网络层面的多项优化，旨在提升节点稳定性、降低带宽消耗并增强同步可靠性。

leanConsensus测试网Devnet 4引入递归签名聚合（leanMultisig），虽降低验证开销，但大幅增加聚合时间，导致节点错过出块和最终性延迟。团队通过将聚合移至后台异步任务（750ms截止时间）并将编译目标改为x86-64-v3，使聚合时间降低约3倍，恢复节点性能。文章详细分析了问题根因和优化方法，并给出实测数据。

本文详细介绍了leanConsensus协议中的3SF-mini（3槽最终性，精简版）最终性机制，旨在实现比以太坊Casper FFG更快的区块最终性。它通过引入“可证明槽位”概念和自适应回退策略，确保即使在网络不稳定时也能有效聚合投票，加速共识恢复。文章还对比了3SF-mini与Casper FFG的主要差异及其在ethlambda中的实现。

本文介绍了基于 Rust 语言的 Actor 框架 Spawned，该框架深受 Erlang/OTP 的 gen_server 启发。它旨在简化 Rust 的并发编程，通过宏定义协议并允许开发者编写纯顺序逻辑的业务代码，由框架自动处理消息路由和生命周期，有效解决了传统 Rust 并发中锁竞争、Arc/Mutex 复杂性以及异步编程的痛点。

本文介绍了一个名为 libssz 的全新 Rust 库，旨在为以太坊共识层和执行层提供快速且支持 no_std 环境的 SSZ（Simple Serialize）序列化和 Merkle 化功能。它通过优化编码、解码及 Merkle 化过程，显著提升了性能，并解决了现有库在 no_std 兼容性方面的不足，支持 EIP-8025 等新的以太坊提案。