Ethrex 是一个由 LambdaClass 开发的以太坊 L1 执行客户端和 L2 客户端，从一开始就原生支持Based Rollup。Ethrex 注重简单性和最小化，致力于提供更易于维护和调试的代码库，并计划在 Devconnect 上展示其用例，目标是推进以太坊的发展。

Lambda 宣布与 Nous Research 合作开发 Psyche，这是一个去中心化的人工智能训练网络，旨在允许任何人使用闲置的计算资源来贡献模型训练，从而使AI开发更加开放、高效和可验证。Psyche 使用 Rust 编写，通过 Solana 区块链协调多个设备上的训练运行，并使用 DisTrO 技术减少节点间的数据交换量。

本文介绍了 Iroh，一个用于轻松建立可靠p2p连接的分布式系统工具包，它包含用于建立直接连接、移动数据、同步状态和可插拔应用程序级协议的工具。Iroh 的目标是让用户更容易地构建分布式系统，并解决了许多技术挑战。文章还包含对Iroh团队成员的采访，深入探讨了 Iroh 的设计理念、Quic协议的使用、以及与其他P2P技术的对比。

ethrex 是一个支持以太坊 L1 和 L2 的 Rust 执行客户端。它采用了简洁和高效的设计哲学，以减少复杂性并提高可维护性。该项目提供详细的本地网络设置、开发环境搭建和测试方式，并包含对安全问题的重视。

本文介绍了ethrex L2 CLI的使用，包括安装方法、可用命令及其示例。内容详尽，涵盖CLI的配置、堆栈管理和钱包交互等功能，并提供相关操作的示例动画。

该文章深入探讨了GKR协议，这是一个用于高效验证算术电路的交互式证明协议。文章通过示例详细说明了协议的步骤，包括如何使用多项式扩展和sum-check等技术，使资源有限的验证者能够验证计算的正确性。这一协议不仅阐明了交互式证明的重要性，还为更先进的密码学应用奠定了基础。

本文讨论了Pod协议，这是一种新型共识机制，通过消除副本间通信，实现了一轮往返的最佳延迟（约200毫秒）。尽管其属性弱于完全顺序广播，Pod仍然在拜占庭副本面前保持审查抵抗和责任性，并且实现了低延迟，适用于支付、拍卖和去中心化数据存储等多种应用。

Starkware发现Cairo VM中存在一个关键问题，该问题可能导致程序在VM上成功执行但违反AIR约束，已通过PR修复并发布更新。

本文讨论了 rStar-Math 的引入及其在数学任务上如何使小型语言模型超越大型模型的技术，例如通过代码增强的链式思维与自我进化策略。这种方法显著提高了小型语言模型的推理能力，在多个基准测试上取得了优异的成绩，展现了小型模型在数学推理领域的潜力。

3MI Labs、Aligned 和 LambdaClass 合作在 Succinct 的 SP1 zkVM 中发现了两个安全漏洞，这些漏洞可以组合起来执行利用，从而生成错误的证明。在严重的情况下，这可能导致资金损失。这些漏洞的根本原因是代码库的复杂性、缺乏清晰的文档以及对安全性的关注不足。该文章还提供了漏洞的利用方法和可能的缓解措施。