本文介绍了 Starknet 的去中心化方案，包括引入原生代币和建立新的基金会。Starknet 代币用于治理，支付网络费用和参与质押。已经铸造了 100 亿个代币并开始分配。Starknet 基金会的使命是维护 Starknet 作为一个公共产品。Starknet 通过 STARKs 技术实现以太坊的扩展，同时保持其核心原则。

本文介绍了L3层（应用特定层）及其在区块链技术中相对于L2层的优势。由于以太坊交易成本高，L2层将成为以太坊的结算层，而L3层则提供了如超高可扩展性、技术堆栈的更好控制及隐私保护等适应应用需求的功能。L3利用有效性证明和递归结构，显著减少交易费用。文章讨论了L3的主要优势，包括更好的性能控制、便捷的跨层互操作性以及作为创新测试网络的潜力，同时强调了StarkEx将被迁移到L3的计划。

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

本文介绍了存储证明的概念及其在区块链中的应用，特别是在增强或替代预言机方面的潜力。存储证明允许跨链验证特定状态的存在和有效性，无需信任第三方。文章探讨了存储证明的用例，包括跨链信息访问、简化的跨链投票系统、替代跨链桥以及增强账户抽象的用户体验，并讨论了存储证明如何与预言机进行对比，以及如何在某些情况下替代或增强预言机的功能，最后探讨了在Starknet上使用存储证明增强预言机的可行性。

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

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

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

本文深入探讨了以太坊第二层（L2）扩展方案中的欺诈证明（Fraud Proofs）和有效性证明（Validity Proofs）的区别，分析了它们各自的优势和劣势，并讨论了它们在应对51%攻击时的表现。

Cairo是首个用于生成STARK证明的一般计算的生产级平台，具有图灵完备性和高效性。本文介绍了Cairo的必要性、创新能力和扩展效率，并讨论了其开发工具的未来计划。Cairo可以提供高可扩展性和低Gas成本，非常适合DeversiFi、Immutable和dYdX等项目。

本文是STARK数学系列的第三篇，深入探讨了如何通过多项式约束的组合，从执行轨迹中构造低度多项式，并展示其在验证过程中的应用。作者介绍了误差纠正码在提高验证器查询效率中的作用，并通过简单的布尔执行轨迹和斐波那契数列示例说明了相关原理，最后讨论了多列多约束情况的处理。文章在理论和实践中都有深度和详实的分析，是理解STARKs的重要资源。