Сегодня мы поговорим о цепочке Merlin, проекте Bitcoin второго уровня, который был запущен вчера. Мы уже говорили о его деятельности по стейкингу раньше, поэтому друзья, которые выполнили задание вчера, также получили раздачу, потому что это все равно было очень полезно. . Поскольку объем TVL Merlin в настоящее время составляет 3 миллиарда долларов США, что намного превышает другие проекты биткойн-уровня 2, поэтому сегодня мы посмотрим, в чем технические сильные стороны Merlin и какая цена является более подходящей?
Обзор
Цепочка Merin — это решение биткойн-уровня 2, разработанное командой Bitmap Jech (ранее Recursiverse). Интегрированная сеть ZK-Rollup, децентрализованная сеть Oracle, доступность данных и модуль защиты от мошенничества в BTC. Merlin Chain стремится расширить возможности собственных активов, протоколов и продуктов Биткойна через свою сеть второго уровня. Она поддерживает различные протоколы Биткойна, такие как BRC-20, BRC-420, Atomics, Pipe и т. д. Merin Chain также совместима с EVM, работает с низкими комиссиями и высокой масштабируемостью.
Merlin Chain использует доказательства с нулевым разглашением, передаваемые в Биткойн для проверки обязательств, обеспечивая расширенную поддержку сети Биткойн. Это позволяет претендентам представлять доказательства мошенничества по спорным вопросам, используя надежный механизм консенсуса Биткойна для обеспечения безопасности сети Merlin Chain. Это обеспечивает безопасную, практичную, комплексную и экономичную сетевую среду для пользователей внутри экосистемы.
Архитектура
Инфраструктура Merlin Chain построена на технологии Polygon ZK, обеспечивая децентрализованную сеть Oracle через Celestia для обеспечения доступности данных, а ее вычислительная мощность поддерживается децентрализованной вычислительной сетью ZK Lumoz для вычислений с нулевым разглашением.
Merlin Chain предоставляет ведущее решение для масштабирования Биткойна с нулевым разглашением (ZK), которое имеет следующие преимущества:
- Безопасность: наследует безопасность Биткойна, обеспечивая дополнительные преимущества в пакетном масштабировании L2.
- Совместимость с EVM: поддерживает большинство существующих смарт-контрактов, инструментов разработчика и кошельков, обеспечивая бесперебойную совместимость.
- Низкая стоимость: используйте ZKproof в сочетании с zkSNARK, чтобы сократить потребление пространства на уровне L1 и оптимизировать транзакционные издержки для пользователей.
- Высокая производительность: быстрый сетевой детерминизм благодаря частым проверкам достоверности и максимальная масштабируемость благодаря рекурсивным STARK.
Генерация доказательств с нулевым разглашением и проверка обязательств
ZK-L2 компании Merlin Chain использует технологию Polygon CDK, а доказательство с нулевым разглашением обеспечивается децентрализованной вычислительной сетью ZK Lumoz.
Генерация доказательства
Подобно другим цепочкам Polygon CDK, цепочка Merlin обрабатывает генерацию доказательств и проверку транзакций с помощью компонента zkProver, который представляет собой генератор доказательств с нулевым разглашением. Все правила действительных транзакций реализованы и применяются в zkProver.
zkProver выполняет сложные математические вычисления в форме полиномов и языка ассемблера, которые затем проверяются на смарт-контракте. Эти правила можно рассматривать как ограничения, которым должны следовать транзакции, чтобы изменить дерево состояний или дерево выхода.
Взаимодействие с узлами и базой данных (БД)
zkProver в основном взаимодействует с двумя компонентами: узлами и базами данных. Ниже приведена блок-схема, которая наглядно объясняет этот процесс.
Как показано на блок-схеме выше, все взаимодействие разделено на четыре этапа.
1 → Узел отправляет содержимое дерева Меркла в базу данных и сохраняет его там
2 → Затем узел отправляет входную транзакцию в zkProver.
3 → zkProver обращается к базе данных для получения информации, необходимой для проверяемого доказательства транзакций, отправленных узлом. Эта информация включает корень Меркла, связанные одноуровневые ключи и хэши.
4 → Затем zkProver генерирует доказательства транзакции и отправляет эти доказательства обратно на узел.
Государственный аппарат
zkProver использует модульную конструкцию. За исключением нескольких компонентов, он в основном состоит из парка конечных автоматов. Всего он имеет 13 конечных автоматов.
главный конечный автомат
Вспомогательный конечный автомат → Двоичная SM, память SM, память SM, арифметическая SM, функция Кечака SM, PoseidonG SM
Вспомогательный конечный автомат → Fill-PG SM, Fill-KK SM, поле передачи битов SM, выравнивание памяти SM, Байт4 SM, ROM SM
Благодаря модульной конструкции zkProver главный конечный автомат может делегировать как можно больше задач другим специализированным конечным автоматам. Это значительно повышает эффективность основного СМ.
Вспомогательный конечный автомат
Первичный исполнительный механизм SM напрямую инструктирует каждый вторичный конечный автомат, отправляя соответствующие инструкции (называемые «действиями»), как показано на рисунке ниже.
Компиляция с нулевым знанием
Являясь языком ассемблера, язык ассемблера с нулевым разглашением (или zkASM) специально разработан для сопоставления инструкций в основном конечном автомате zkProver с другими конечными автоматами. Для конечных автоматов с прошивкой zkASM является интерпретатором прошивки.
Указанный ассемблерный код генерируется из кода zkASM с использованием инструкций основного конечного автомата, определяющих, как данный исполнитель SM должен выполнять вычисления. Исполнитель строго следует логике и соглашениям кода zkASM, что упрощает проверку вычислений.
язык полиномиальной идентичности
Язык полиномиальной идентификации (или PIL) разработан специально для zkProver. Почти все конечные автоматы используют полиномы для выражения своих вычислений. Следовательно, переходы состояний в конечных автоматах должны удовлетворять вычислению конкретных полиномиальных тождеств.
Polygon zkEVM создает наиболее эффективное решение трех проблем конфиденциальности, безопасности и масштабируемости в блокчейне. В основе лежит эффективная схема обязательств с нулевым разглашением. Безусловно, наиболее надежной и эффективной схемой обязательств является полиномиальная схема обязательств.
Докажите правильность исполнения
Конечный автомат zkProver предназначен для выполнения программ и обеспечения их правильного выполнения.
Таким образом, каждый вспомогательный точный автомат содержит свой собственный исполнитель и программу PIL, с помощью которой можно проверить, правильно ли выполняются все инструкции, отправленные основным исполнителем SM.
Компоненты zkProver включают следующие четыре части.
-Актуатор или главный исполнитель конечного автомата
-Рекурсивный компонент STARK
-Библиотека CIRCOM
-Зк-СНАРК прувер
Короче говоря, zkProver использует эти четыре компонента для создания проверяемых доказательств. Следовательно, ограничения, которым должна удовлетворять каждая предлагаемая партия, представляют собой полиномиальные ограничения или полиномиальные тождества. Все допустимые пакеты должны удовлетворять определенным полиномиальным ограничениям.
Привод
Исполнитель или главный исполнитель конечного автомата управляет выполнением zkEVM. Именно здесь для интерпретации байт-кода EVM используется новый ассемблерный язык с нулевым разглашением (или zkASM), специально разработанный командой Polygon zkEVM.
В качестве входных данных он принимает транзакции, старые и новые состояния, ChainID Sequencer и т. д. Привод также нуждается
PIL, список полиномов, список регистров и ПЗУ, хранит и выполняет список команд.
Настройки исполнителя должны удовлетворять полиномиальным ограничениям для каждого допустимого пакета транзакций. Другой язык, специально разработанный командой, называемый языком полиномиальной идентичности (или PIL), используется для кодирования всех полиномиальных ограничений.
Исполнитель выполняет все инструкции на оборудовании PIL и генерирует зафиксированный полином. Это цикл точного автомата или список всех состояний. Он также генерирует некоторые общие данные, которые являются частью входных данных для валидатора zk-SNARK.
Децентрализованная сеть Oracle
В архитектуре L2 Merlin Chain узлы последовательности собирают и группируют транзакции, а также генерируют сжатые данные транзакций, а ZK устанавливает корни и доказательства через zkEVM. Децентрализованная сеть оракулов компилирует эти данные L2 и загружает их в корневую часть основной сети Биткойн, делая их общедоступными для всей сети.
Рабочий процесс Merlin Chain можно резюмировать следующим образом: ZK L2 собирает и группирует транзакции, затем zkProver генерирует доказательства. В то же время необработанные данные транзакций, деревья Меркла, статус Биткойна и другие данные агрегируются для формирования совместных доказательств и синхронизируются с сетью Oracle.
Получив эти данные L2, сеть Oracle выполняет компиляцию схемы, отправляя сжатые данные и обязательства в основной корень основной сети Биткойн, делая эти данные публично проверяемыми и доступными для всех участников.
Узлы Oracle играют важную роль в Merlin Chain. Они несут ответственность не только за проверку доказательств с нулевым разглашением в цепочке Merlin, но и за загрузку данных уровня 2 (L2) в основной корень основной сети Биткойн.
Окончательный расчет ЗКП:
Узлы Oracle помогают агрегаторам доказательств в подготовке и отправке доказательств с нулевым разглашением (ZKP) в корень блоков Биткойн. Это доказательство подтверждает достоверность пакетной транзакции и обновляет состояние цепочки на уровне 2, не раскрывая деталей.
Децентрализованная проверка:
Будучи децентрализованным объектом, сеть узлов Oracle обеспечивает совместную проверку доступности данных (DA) и доказательства zk. Это означает, что каждый узел самостоятельно участвует в процессе проверки, повышая безопасность и децентрализацию всей системы.
Узлы Oracle не только участвуют в проверке и подтверждении транзакций, но также взаимодействуют с основной сетью Биткойн, обеспечивая плавную интеграцию и безопасность решений уровня 2 с сетью Биткойн. Этот дизайн расширяет возможности Merlin Chain как эффективной, безопасной и децентрализованной блокчейн-платформы.
Механизм разбивки узлов Oracle
В системе ставок с несколькими токенами Merlin Chain механизм ставок является ключевым компонентом в обеспечении безопасности сети, мотивации участников и обеспечении децентрализации. Этот механизм позволяет пользователям участвовать в процессе управления и проверки данных Merlin Chain, размещая различные криптоактивы или прокси-серверы на существующих узлах Oracle.
Безопасность и прозрачность активов
Чтобы защитить активы, заложенные пользователями, система использует технологию мультиподписи и холодного хранения для обеспечения безопасности активов. Все процессы размещения ставок и вознаграждений открыты и прозрачны, и пользователи могут в любое время проверить статус своих ставок и ожидаемую прибыль. Кроме того, использование смарт-контрактов обеспечивает неизменность и автоматизацию процесса ставок, что еще больше повышает доверие к системе.
Награды за ставки
Вознаграждение за стейкинг узлов Oracle в основном состоит из двух частей: вознаграждение за блок и комиссия за транзакцию. Награды за блоки — это токены Merl, выпущенные с определенным уровнем инфляции, распределяемые в зависимости от веса ставки узла и производительности сети. Комиссии за транзакции представляют собой токены BTC, и процент от каждой транзакции в цепочке Merlin берется из комиссии за транзакцию.
Вознаграждения за стейкинг будут распределяться в зависимости от типа и суммы заложенных активов. Стейкеры BTC получат 40% вознаграждений, стейкеры Merl также получат 40% вознаграждений, а оставшиеся 20% вознаграждений будут распределены между стейкерами других основных активов (таких как BRC20).
Чтобы обеспечить справедливость при распределении вознаграждений, мы будем использовать средневзвешенный алгоритм, основанный на рыночной капитализации и объявленной сумме. Алгоритм будет учитывать рыночную капитализацию и ликвидность различных активов, а также сумму ставки каждого узла Oracle, чтобы рассчитать вознаграждение, которое должен получить каждый узел.
Меры безопасности
Выбор и устранение узла
Выбор узлов Oracle будет основан на ряде критериев, включая сумму залога, продолжительность онлайн-соединения, вероятность успешной проверки и т. д. Система будет регулярно оценивать узлы Oracle и устранять плохо работающие узлы. Новые узлы будут выбираться на основе их производительности и оценки сообщества.
Процесс перехода от ZKP к сети BTC
Децентрализованная сеть Oracle сочетает в себе доступность данных (DA) и проверку с помощью zk. Конкретный процесс можно разбить следующим образом:
Формирование партии:
Транзакции пользователей собираются сортировщиком и группируются в пакеты.
Пакетная проверка:
После формирования пакета он проверяется, а данные пакета и его хеш-значение передаются на узел Oracle.
Проверка и хранение данных:
Каждый узел Oracle независимо проверяет пакетные данные и сохраняет проверенные хэши в локальной базе данных для использования в будущем.
Генерация подписи:
Каждый узел Oracle генерирует подпись для хэша пакета, чтобы подтвердить целостность и подлинность пакета.
Общайтесь с биткойнами:
Секвенсор собирает подписи членов оракула и исходные хэши пакетов и отправляет их в главный корень сети Биткойн.
Проверка пороговой подписи биткойнов:
Секвенсор сверяет отправленную подпись с действительным списком членов сети Oracle и подтверждает, что для хэша пакета было предоставлено достаточное одобрение.
Селестия: общедоступный уровень DA
Merlin Chain будет использовать Celestia в качестве уровня доступности данных, чтобы гарантировать, что данные блоков будут доказуемо выпущены, чтобы каждый мог понять и сохранить состояние Merlin Chain.
Через Celestia Merlin Chain позволяет любому получить доступ к историческим данным, чтобы новые узлы Rollup могли восстанавливать последнее состояние, воспроизводя исторические блоки. После того как данные публикуются в Celestia и гарантированно становятся доступными, накопительные пакеты и приложения несут ответственность за хранение исторических данных. В частности, когда узлы получают новый блок, добавленный в цепочку, они проверяют доступность данных. Узлы попытаются загрузить все данные транзакций для нового блока, чтобы проверить доступность. Если узел может загрузить все данные транзакции, доступность данных успешно проверена, что доказывает, что данные блока действительно были опубликованы в сети.
Будущие обновления: механизм защиты от мошенничества в сети Биткойн
Бета-сеть Merlin Chain опирается на децентрализованную сеть Oracle для обеспечения доступности данных ZK-L2 (DA) и проверки с нулевым разглашением (ZKP). Однако из-за неполноты сети Биткойн по Тьюрингу невозможно провести проверку доказательства с нулевым разглашением непосредственно в основной сети Биткойн. Таким образом, традиционные методы проверки доказательств с нулевым разглашением в сетях блокчейнов первого уровня (как видно из решения ZK-Rollup) не применимы к Биткойну.
Merlin Chain решает эту проблему, используя Taproot для записи агрегированных доказательств с нулевым разглашением и объединения данных в основную сеть Биткойн. Этот процесс гарантирует, что данные ZK-Rollup привязаны к Биткойну и остаются неизменными. Однако само по себе это не может гарантировать достоверность и правильность транзакций в ZK-Rollup, а также не может полностью использовать мощный механизм консенсуса Биткойна для обеспечения безопасности ZK-Rollup уровня 2.
В будущих обновлениях Merlin Chain планирует внедрить механизм защиты от мошенничества в цепочке Биткойн: узлы в децентрализованной сети Oracle должны заранее заложить BTC в сети Биткойн, что составляет основу механизма проверки в цепочке Биткойн. Пользователи могут инициировать задачи ZK-Rollup на основе сжатых данных транзакций, корней состояния ZK и доказательств ZK в основной сети Биткойн. Если существует несоответствие между данными доказательства вызова и доказательством, пользователи могут потребовать предварительно размещенные активы в основной сети Биткойн, и ZK-Rollup вернется к последнему проверенному состоянию.
Merlin Chain использует механизм защиты от мошенничества в цепочке Биткойн, чтобы гарантировать правильность данных и ZKP, передаваемых децентрализованной сетью Oracle. По сравнению с оптимистичным объединением, основная сеть Биткойн больше не выполняет проверку мошенничества по всему объему транзакций, а фокусируется на проверке безопасности корня состояния ZK и доказательства ZK. Это значительно увеличивает скорость.
Токен-экономика
Общее количество токенов составляет 2 100 000 000, из которых 245 700 000 в настоящее время находятся в обращении, с уровнем обращения 11,7%. Текущая цена валюты составляет примерно 1,1 доллара США, а общий объем FDV достиг 2,2 миллиарда долларов США. К сожалению, раздачи токенов не обнаружено.
В заключение отметим, что этот проект действительно опережает другие уровни 2 BTC с точки зрения технологий, экологии и общего TVL, особенно TVL, который говорит сам за себя (3 миллиарда долларов США), а arb составляет всего 2,6 миллиарда по сравнению с другими уровнями BTC 2. , например, stacksTVL, он составляет всего 100 миллионов, тогда как FDV stacks в настоящее время имеет 4 миллиарда долларов США. Общая рыночная стоимость лучших проектов evm Layer2 составляет 8-10 миллиардов FDV, так что с этой точки зрения Merlin на самом деле все еще находится в недооцененном диапазоне.