Всем анимэ, пацаны! В эфире MMS! И нет, это не клик-бейт заголовок для привлечения молодого поколения. Это новый секвенсор в экосистеме Starknet, который предлагает непревзойденную производительность и масштабируемость для поддержки вашей цепочки Validity Rollup.
Введение
Madara - сеть, которая основана на субстрате и использует виртуальную машину (ВМ) Cairo + блокировщик для выполнения программ Cairo и смарт-контрактов Starknet. Она использует возможности данной ВМ, чтобы сделать выполнение любой программы 100% доказуемым. Таким образом проверяющий узел или целая группа подобных узлов могут в конечном итоге “мониторить” блоки, созданные цепочкой, и генерировать доказательства. По этому можно сказать, что Мадара-чейн технически может располагаться на любом L1/L2.
Ну и стоит отметить широту возможностей. Вы можете использовать свой собственный согласованный протокол, собственную функцию хэширования, свою схему подписи и схему хранения... По сути, нет ограничений на то, что вы можете делать, и все же это будет доказуемо, таким образом наследуя безопасность цепи, на которую вы решите создавать свою цепочку: будь то Starknet или Ethereum напрямую.
Как работает?
Думаем стоит начать с самого стека Мадары.
Как говорилось ранее, работает все это на ВМ Cairo, которая поддерживается Starkware и LambdaClass в Rust. Cairo (процессорное алгебраическое промежуточное представление) — это язык программирования для написания доказательств для программ, где одна сторона может доказать другой, что определенное вычисление было выполнено правильно. Здесь знакомимся с деталями.
“В настоящее время проводятся эксперименты по настройке виртуальной машины Cairo путем изменения, например, размера поля на Goldilocks, что может привести к значительному увеличению производительности.”
В качестве свертки достоверности любое состояние Madara-chain должно быть построено исключительно на уровне расчетов.
Сама сеть Мадара не делает никаких предположений относительно выбранного слоя расположения (развертывания). Если мы возьмем в качестве примера L3, то он будет регулярно отправлять доказательства в Starknet для партии блоков L3. Срок урегулирования может вводить в заблуждение, важно в конечном итоге сделать разницу между soft и hard finality (гибким и жесткий конечным результатом).
Как только достигнут жесткий конечный результат, что означает, что транзакция была подтверждена и подтверждена на уровне расчетов, тогда она "укладывается" в ядре всей этой системы. Гибкий результат, в конечном счете, направлен на улучшение взаимодействия с пользователем, однако мы увидим, что, придав децентрализации слой последовательности, мы можем добиться достаточно сильного и устойчивого гибкого результата.
Про управление и последовательность работы…
Основным инструментом для управления в сети Мадара будет Snapshot X, т.к данная сетевая система управления, построена исключительно на доказательствах хранения. Так же изучаются другие механизмы управления, такие как собственный governance pallet (он же собственная платформа управления субстратом). Учитывая то, о чем мы познакомились выше, одной из основных ценностей Мадары является управление в сети. И все это похоже на стремление к системе управления как у экосистем Cosmos и Polkadot. Что конечно же не может не радовать!
Говоря о последовательности, то здесь стоит упомянуть широту возможностей, т.к настроить последовательность каждый может индивидуально под себя в зависимости от нужд. Например, это может быть простая FCFS, PGA или более сложные схемы, такие как Narwhall & Bullshark или HotStuff. Расписывать про каждую систему не будем, просто советуем прогуглить и ознакомиться.
Порядок транзакций очень важен для обеспечения хорошей защиты ВМ и обеспечения справедливого порядка транзакций. Хотя в некоторых случаях, таких как цепочки для конкретных приложений, могут быть реализованы зашифрованные мемпулы (необработанные транзакции, которые пока не попали в блок), обеспечивающие справедливый порядок.
Мадара по умолчанию является децентрализованным секвенсором и несколько узлов могут присоединяться к сети, а консенсус по умолчанию — GRANDPA и Babe*, тот, который используется в основном в PolkaDot. Команда считает, что, хотя централизованные секвенсоры на данный момент являются отраслевым стандартом, децентрализация уровня секвенирования имеет первостепенное значение для создания реальных систем, устойчивых к цензуре.
“GRANDPA - механизм завершенности, используемый в Polkadot. В протоколе GRANDPA правило самой длинной цепочки просто гласит, что лучшая цепочка — это самая длинная цепочка.
BABE (blind assignment of blockchain extension) - протокол создания блоков, при котором “управленцы” выигрывают слоты на основе проверяемой случайной функции (VRF), а не методом кругового выбора. Выигравший орган участия может выбрать цепочку и отправить для нее новый блок.”
Дорожная карта и что происходит сейчас?
Команда активно работает над своей тестовой сетью под названием “Sharingan”. Ну как же еще она могла называться).
Sharingan — это эфемерная тестовая сеть для Starknet, где все узлы, участвующие в сети, являются экземплярами Madara. В этой тестовой сети Starknet тестируется децентрализованно, где узлы работают на основе консенсуса, чтобы определить, какой блок следующим будет добавлен в цепочку.
Но есть и узлы, которые участвуют только в хранении данных, не участвуя в консенсусе.
Даже являясь секвенсором Starknet, есть различия на два типа узлов в Шарингане:
- Мадара как sequencer-участник консенсуса.
- Мадара как full node, для сохранения данных.
В остальной части руководства секвенсора мы будем ссылаться на экземпляр Madara, участвующий в консенсусе, и на экземпляр-ноду, используемый для сохранения данных.
Цель Sharingan — начать децентрализованное тестирование Starknet, а также предоставить всем доступ для участия и тестирования сети Starknet.
Говоря про Roadmap, тут все просто: команда планирует масштабироваться, реализовывать все необходимые функции, наладить интеграцию с различными Rollup сервисами и многое другое.
Ресурсы проекта:
Twitter: https://twitter.com/MadaraStarknet
Telegram: https://t.me/MadaraStarknet
Документация: https://docs.madara.zone/
Резюмируем
Работа в экосистеме Starknet вещь достаточно интересная и не самая простая на наш взгляд. И развитие app-chain в рамках этой системы определенно очень перспективная ниша. Мы желаем команде успехов в их начинаниях и поддерживаем всеми нашими теневыми клонами! А перейдя по ссылке вы можете глянуть наш гайд по установке ноды! И пусть Мадара станет хокаге в этой деревне скрытой в блокчейне!
Ссылки на наши ресурсы и каналы:
Email для обратной связи — [email protected]
Адреса для донатов на чашечку кофе, чтобы годного контента становилось только больше:
0x02d3C829462267d02F61FcB0bc56f117fF4D8da3 (BSC\ETH)
evmos1qtfus22xyfnaqtmpljctc4h3zll5mrdrd7yy4y (Evmos)
umee1n9as9tet92z4n8dkntpu4h3luk7savjwl6gman (Umee)
cosmos1n9as9tet92z4n8dkntpu4h3luk7savjwdv4yep (Cosmos)