Madara: наріжний камінь високопродуктивного ланцюжка персоналізованих програм секвенсора Starknet

Madara використовує фреймворк Substrate та інтегрує Cairo VM для виконання програм Cairo та розумних контрактів Starknet, покращуючи таким чином Cairo VM.

Рекомендовані короткі факти

• Madara — це високопродуктивний секвенсор Starknet, який надає можливість створювати індивідуальні та ефективні ланцюжки додатків.
• Madara покращує продуктивність Cairo VM завдяки використанню фреймворку Substrate, створюючи надійно безпечні та гнучкі програми.
• Впровадження Madara має багато переваг, таких як масштабована інфраструктура, висока пропускна здатність і безпрецедентний контроль над програмами.
• Унікальні функції Madara включають підтримку потенційної конфіденційності в ланцюжку, плавну взаємодію між ланцюжками та надійне виконання.
• Madara прокладає шлях до розробки dApp у просторі блокчейну, надаючи економічно ефективні, масштабовані та настроювані рішення.

Вступ

Уявіть, якби ви могли адаптувати блокчейн до унікальних потреб вашої програми — це саме те, що надає Lisk. Lisk — це спеціальний блокчейн для конкретної програми, який надає розробникам гнучкість для тонкого налаштування аспектів ланцюга відповідно до потреб їхньої програми, наприклад, вибору іншої хеш-функції або спеціального алгоритму консенсусу. Найкраще те, що ланцюжок програм, побудований на потужному рівні L1 або L2 і успадковує безпеку рівня L1 або L2, надає розробникам найкраще з обох світів.

Madara — це кардинальний секвенсор, який поєднує в собі гнучкість і блискавичну продуктивність. Секвенсер — це суб’єкт, який відповідає за виконання транзакцій і групування їх у пакети. Будучи точкою входу для запуску власного Starknet AppChain, Madara відкриває широкі можливості для експериментів в екосистемі Starknet, як ніколи раніше.

Перш ніж ми заглибимося в те, як Madara наділяє ланцюжки додатків Starknet потужними функціями, нам потрібно відповісти на запитання: чому розробники вирішують створювати ланцюжки додатків на Starknet замість безпосереднього використання ефективного зведення Starknet? Хтось може задатися питанням, чи достатньо Starknet для більшості сценаріїв.

Давайте спочатку зрозуміємо, чому Lisk є привабливим способом розширення екосистеми Starknet.

Чому варто вибрати Application Chain

Madara, розроблена командою StarkWare Discovery Team (також відомою як Keep Starknet Strange), була розроблена, щоб реалізувати бачення StarkWare щодо фрактального розширення. Є багато причин, чому розробники обирають створення ланцюжка програм Starknet (або рівня L3) замість того, щоб безпосередньо покладатися на Starknet.

Пропускна здатність

Розробники додатків стикаються зі значними проблемами, коли мова заходить про масштабованість існуючої інфраструктури блокчейн. Масштабованість складається з двох ключових моментів: висока швидкість і низька вартість. Зменшивши вартість кожного рівня в тисячу разів, розробники можуть значно зменшити загальну вартість від L1 до L3 майже в мільйон разів. Пропускна здатність не залежить від активності сторонніх програм, оскільки програма оснащена спеціальним блокчейном і не конкурує з нею за ресурси, забезпечуючи безперебійну роботу.

Налаштування

Універсальні мережі, такі як Starknet і Ethereum, вжили різноманітних заходів, щоб гарантувати, що кожен може користуватися мережею, що призвело до обмеженого середовища. За допомогою Lisk розробники можуть точно налаштовувати аспекти своїх програм та інфраструктури для створення індивідуальних рішень. Якщо вам не подобається певна функція Cairo VM, ви можете видалити її в ланцюжку програм.

Інновації

Можливість налаштування Lisk також дозволяє розробникам використовувати функції, які наразі недоступні або ризиковані в таких середовищах, як Starknet. Lisk надає автономію всім командам, дозволяючи їм вільно писати та авторизувати будь-які потрібні підказки коду. Це дозволяє Lisk розблокувати багато варіантів використання, наприклад увімкнути KYC у ланцюзі без розкриття особистої інформації.

Вплив Madara на стек Lisk

Далі розглянемо взаємодію між різними рівнями, які керують ланцюжком додатків, і роль Madara в ньому.

• Виконання: Рівень виконання визначає виконання блоків і генерацію відмінностей стану. Madara має гнучкість для перемикання між двома пакетами виконання (blockifier для StarkWare та starknet_in_rust для LambdaClass). Незалежно від того, який пакет вибрано, основна структура використовує Cairo VM. Мова Cairo полегшує створення перевірених програм, уможливлюючи демонстрацію правильного виконання обчислень.
• Розрахунок: у зведеному пакеті перевірки стан ланцюжка додатків 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 спеціально розроблена для ефективної генерації доказів дійсності виконання програми. Lisk забезпечує безпечну інтеграцію зі Starknet, використовуючи відстеження стану та розумні контракти для перевірки доказів на L2. У результаті Madara може скористатися потужними можливостями Cairo для досягнення перевіреного виконання програми.

Внутрішня модульність інфраструктури Substrate дозволяє розробникам легко налаштовувати ланцюжки додатків. Жодних припущень не нав’язується, що дозволяє інтегрувати ваші власні протоколи консенсусу, хеш-функції, схеми підписів, макети сховищ тощо у вашу програму, водночас використовуючи Cairo для створення доказів. Розробники можуть вільно робити все, що завгодно, без обмежень, залишаючись доказовими, і успадковують безпеку основного ланцюга (чи то Starknet, чи Ethereum).

Спочатку Madara буде дуже схожий на Starknet, забезпечуючи можливість компонування смарт-контрактів в екосистемі Starknet. Є ще більші плани на майбутнє, оскільки Starknet інтегрується з Herodotus для використання підтвердження зберігання для сумісності. Інтеграція підтвердження зберігання також дозволить ланцюжку додатків Madara враховувати стан і ліквідність інших ланцюжків.

Будьте готові стати свідками нової ери, коли Madara відкриває можливості королівства Starknet!