# Madara：高性能Starknet排序器，个性化应用链的基石！ By [Untitled](https://paragraph.com/@0x6fd923ac58f9092683c8cf4e17790d2a41b6e7bc) · 2023-11-01 --- 想象一下，如果你可以根据自己的应用程序的独特需求定制一个区块链 — 这正是应用链所提供的功能。应用链是针对应用程序定制的区块链，它为开发者提供了灵活性，来微调链的各个方面以满足其应用程序的需求，例如选择不同的哈希函数或自定义共识算法。最棒的是，建立在强大的 L1 或 L2 上的应用链，并继承 L1 或 L2 的安全性，为开发者提供了两全其美的解决方案。 Madara 是一款颠覆性的排序器，兼具灵活性和闪电般的性能。排序器是负责执行交易并将其分组成批次的实体。作为启动属于你自己的 Starknet 应用链的入口，Madara 以前所未有的方式为 Starknet 生态系统中的实验开辟了广阔的可能性。 在我们深入探讨 Madara 如何赋予 Starknet 应用链强大功能之前，我们有必要先回答一个问题：为什么开发者会选择在 Starknet 上构建应用链，而不是直接使用Starknet 有效性 Rollup？有人可能会好奇，Starknet 是否已经足够应对大多数场景。 先来了解一下为何应用链会成为 Starknet 生态系统中一种吸引人的扩展方式。 ### **为什么选择应用链** 由 StarkWare 探索团队（也被称为Keep Starknet Strange）开发的 Madara，是为实现 StarkWare 分形扩展的愿景而设计的。开发者选择建立 Starknet 应用链（或称为 L3 层）而非直接依赖 Starknet 的原因有很多。 #### **吞吐量** 在现有区块链基础设施的可扩展性方面，应用开发者面临着重大挑战。可扩展性包含两个关键点：高速度和低费用。通过将每一层的成本降低千倍，开发者可以显著降低从 L1 到 L3 的整体成本，最高可达百万倍。吞吐量不会受到第三方应用程序活动的影响，因为应用程序配备了专用的区块链，不会与其争夺资源，从而确保了始终如一的流畅体验。 #### **定制化** Starknet 和 Ethereum 等通用链采取了多种措施，确保每个人都能使用网络，从而导致环境受限。通过应用链，开发者可以微调其应用程序和基础设施的各方面，创建定制化解决方案。如果你不喜欢 Cairo VM 的某个功能，你可以在你的应用链中移除它。 #### **创新** 应用链的可定制化还使开发者能够使用目前在 Starknet 等环境中不可用或有风险的功能。应用链赋予所有团队自主权，使他们可以自由编写并授权任何他们需要的代码提示。这使应用链得以解锁许多用例，例如可以在不泄露私人信息的情况下实施链上 KYC。 ### **Madara 对应用链堆栈的影响** 接下来，我们来了解下驱动应用链的各个层之间的相互作用，以及 Madara 在其中所扮演的角色。 * 执行：执行层定义了区块的执行和状态差异的生成。Madara 具备灵活性，可在两个执行包（StarkWare 的blockifier和 LambdaClass 的starknet\_in\_rust）之间切换。无论选择哪种包，底层框架都使用 Cairo VM。Cairo 语言有助于创建可证明程序，从而能够演示正确的计算执行。 * 结算：作为有效性 Rollup，Madara 应用链的状态可以仅通过检查其结算层来重建。通过在 Starknet L2 上更频繁地结算，L3 应用链可以实现更快的硬终结性，而排序层的去中心化，可以实现更强大的软终结性。因此，结算在这两个方面（硬性和软性终结性）都得到了增强。 * 排序：Madara 负责排序过程，该过程可以根据应用程序的需要进行更改，无论是简单的 FCFS、PGA 还是更复杂的 Narwhall & Bullshark 方案。某些应用链可以选择部署加密内存池来确保公正的排序，并减轻 MEV 的影响。 * 数据可用性：数据可用性保证完整的状态树始终可访问，让用户获得信心，即使 Madara 出现中断，他们也可以证明其资金的所有权。Madara 将为开发者提供一系列数据可用性（DA）方案供其选择。 * 治理：每个 Madara 应用链可以选择其治理模型。Snapshot X提供了一个依赖存储证明的完全链上治理系统。其他治理机制也尚在探索中，例如原生的 Substrate 治理托盘。链上治理是 Madara 的核心价值。 ### **进入应用链：Madara** Madara 利用 Substrate 框架并集成 Cairo VM 来执行 Cairo 程序和 Starknet 智能合约，从而增强 Cairo VM。Substrate 是一个以灵活性而闻名的开源 Rust 框架，用于构建可定制的区块链。与此同时，Cairo VM 则是专门为高效生成程序执行的有效性证明而设计的。通过采用状态跟踪以及智能合约来验证 L2 上的证明，应用链确保了与 Starknet 的安全集成。由此，使得 Madara 能够利用 Cairo 的强大能力来实现程序执行的可证明性。 Substrate 框架的内在模块化特性让开发者能够轻松定制应用链。没有强加的假设，允许你将你自己的共识协议、哈希函数、签名方案、存储布局等集成到你的应用中，同时还能利用 Cairo 生成证明。在保持可证明的同时，开发者可以自由地做任何事情而不受限，并且继承了底层链（无论是 Starknet 还是以太坊）的安全性。 起初，Madara 会与 Starknet 高度相似，从而实现 Starknet 生态系统内智能合约的可组合性。随着 Starknet 与 Herodotus 集成以利用存储证明来实现互操作性，未来还有更大的计划。存储证明的集成还将使 Madara 应用链考虑其他链的状态和流动性。 --- *Originally published on [Untitled](https://paragraph.com/@0x6fd923ac58f9092683c8cf4e17790d2a41b6e7bc/madara-starknet)*