ZK-Rollup

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

本文介绍了StarkWare正在开发的StarkNet，一个基于STARK技术的无权限L2 ZK-Rollup，旨在实现以太坊的安全性和可扩展性。文章详细讲述了项目的四个发展阶段，从基础设施的建设到单一应用及多应用的支持，最后到去中心化的Rollup，使开发者能够在StarkNet上构建和部署自己的应用，同时保持高效的交易处理能力和较低的成本。

本文深入探索了以太坊在协议设计中如何平衡最小化与务实的封装（enshrinement）功能。讨论了封装的好处和风险，以及在何种情况下应该对协议增加新特性以增强效率和功能，而不影响去中心化和灵活性。文章还提出了在进行协议更改时的选择性、逐步的方法，以维持以太坊的核心原则。

文章详细介绍了零知识以太坊虚拟机（zkEVM），其定义、工作原理、架构及与以太坊智能合约的兼容性，并探讨了zkEVM在提高以太坊扩展性与安全性方面的重要性。此外，比较了不同类型的zkEVM及其各自的实现方式。

Starknet Alpha 2 发布了多个新特性，包括支持智能合约之间的可组合性，以及新的本地测试框架。该版本还进行了多项性能改进，如引入梅克尔-帕特里夏树和高效的位操作内置功能。此外，Starknet 生态系统正在不断增长，OpenZeppelin 和 Nethermind 团队参与了标准合约和 EVM 到 Cairo 的编译器开发，预计将推动更多应用的开发。

本文介绍了StarkNet Alpha 1的新特性，包括L1与L2的交互和链上数据可用性。这些功能提升了StarkNet作为以太坊L2网络的性能与可扩展性，允许开发者在两个层次之间无缝通信，并优化了状态更新的数据处理。文章还提到StarkNet操作系统的发布及其生态系统的蓬勃发展，展望未来的合约可组合性。

本文介绍了Warp，一个能够将Ethereum的Solidity合约转译为StarkNet的Cairo合约的工具。文章详细解释了Warp与StarkNet的关系及其在以太坊扩展中扮演的重要角色，并提供了ERC20合约在StarkNet上部署的例子和操作步骤，同时列出了未来的开发路线图。

StarkNet Planets Alpha在测试网发布，标志着向无许可ZK-Rollup迈出的第一步。开发者可以在StarkNet上自由部署智能合约，而该平台将支持通用计算和状态验证。尽管Alpha版本缺少某些关键功能（如L1与L2交互及合约间可组合性），但未来将逐步推出这些功能，最终目标是实现Ethereum主网的可扩展L2 dApps开发。

本文对 StarkNet 的重要组成部分进行了基础介绍，主要阐述了 StarkNet OS、Sequencer、Prover & Verifier 和 L1 Core Contract 的工作原理，同时探讨了去中心化与性能瓶颈等话题。文章希望读者对 ZK-Rollup 和相关关键概念有基本了解，并为深入研究提供参考。

本文介绍了zkEVM，一种EVM兼容的zk-Rollup方案，旨在解决当前zk-Rollup在通用DApp构建和可组合性方面的挑战。zkEVM通过生成EVM验证的zk证明，使得现有的以太坊应用可以轻松迁移到zk-Rollup上，同时详细讨论了zkEVM的设计挑战以及当前技术背景下实现zkEVM的可行性，并阐述了从头开始构建zkEVM的高级思路和关键技术。

Scroll 是一个新的 Layer-2 解决方案，旨在提供无限的可扩展性、极快的确认延迟、完全的去中心化和无需信任的隐私。它通过构建在 zk-Rollup 和高性能的链下分布式系统之上来实现这一点，并进行了一些关键改进，包括新的分层零知识证明系统架构、Layer 2上的 DApp 的一种新交互模型和一个新的Layer 2 挖矿机制。

本文介绍了StarkNet, zkSync, Polygon Zero等流行的零知识rollup（ZK-rollup）区块链，它们通过在链下执行交易并将其作为单个交易提交到以太坊主链，从而提高可扩展性和安全性。文章还列举了dYdX, Sorare, Immutable等使用ZK-rollup技术的项目，它们在降低成本和改善用户体验方面取得了显著进展。

本文介绍了以太坊Layer2扩展方案，重点讲解了ZK-rollup。

该项目旨在分析和模拟zk-rollup网络中Prover的选择、管理和激励机制。通过对现有方法和激励措施的评估，找出潜在的低效、漏洞和改进机会。项目将建立经济模型和仿真环境，提出Prover选择和激励的优化策略，从而提高网络的性能、安全性和可扩展性。

Aztec Labs 宣布了其 Sequencer Selection Request for Proposals (RFP) 的获胜方案 —— “Fernet”。