Madara 利用Substrate 框架並集成Cairo VM 來執行Cairo 程序和Starknet 智能合約，從而增強Cairo VM。
精選速覽
-
Madara 是一種高性能Starknet 排序器，可提供創建定制化和高效應用鏈的能力。
-
通過使用Substrate 框架，Madara 增強了Cairo VM 的性能，促成了可證明的、安全又靈活的程序。
-
實施Madara 有諸多好處，如可擴展的基礎設施、高吞吐量以及對應用程序的前所未有的控制。
-
Madara 的獨特功能包括支持潛在的鏈上隱私、流暢的跨鏈互操作性以及強大的執行。
-
Madara 正在區塊鏈領域為dApp 開發鋪平道路，提供經濟高效、可擴展和可定制的解決方案。
簡介
想像一下，如果你可以根據自己的應用程序的獨特需求定制一個區塊鏈— 這正是應用鏈所提供的功能。應用鍊是針對應用程序定制的區塊鏈，它為開發者提供了靈活性，來微調鏈的各個方面以滿足其應用程序的需求，例如選擇不同的哈希函數或自定義共識算法。最棒的是，建立在強大的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 應用鏈考慮其他鏈的狀態和流動性。
準備好見證一個新時代吧，由Madara 開啟Starknet 王國的無限可能！
