1/ Манта Пасифик

Manta Pacific — это решение Ethereum Layer 2, разработанное для приложений ZK. Это модульный уровень 2, построенный на Ethereum и получивший финансирование на сумму более 60 миллионов долларов от таких организаций, как Polychain, Binance Labs, CoinFund и SevenX Ventures.

Manta Pacific в настоящее время основана на специальной архитектуре OP Stack от Caldera, что делает ее почти на 100% совместимой с Ethereum EVM. Это позволяет существующим разработчикам экосистемы Ethereum беспрепятственно переносить свои приложения в Manta Pacific.

Manta Pacific перемещает уровень доступности данных с Ethereum на Celestia, что делает его первым уровнем 2, использующим Celestia в качестве уровня доступности данных.

Manta также включает схемы ZK в Manta Pacific. Разработчики могут легко вызывать функции ZK с помощью всего нескольких строк кода через SDK и API, что позволяет интегрировать ZK с существующими DApp-приложениями или разрабатывать новые приложения ZK.

2/ Модульность

Модульность относится к дизайну продукта и архитектурному мышлению, которые распространены в Web2 и традиционных отраслях. Например, производители смартфонов выбирают поставщиков экранов, чипов, Wi-Fi, Bluetooth и т. д., а затем используют контрактных производителей для сборки, что значительно повышает эффективность и снижает затраты, а не производит все компоненты самостоятельно.

Обычно блокчейн можно разбить на уровень консенсуса, уровень расчетов, уровень доступности данных и уровень исполнения.

Основная сеть Ethereum отвечает за окончательный консенсус и расчеты, а проекты уровня доступности данных включают Celestia, EigenDA, Polygon Avail и другие. Обычные уровни Ethereum 2 — это проекты уровня исполнения.

1. Модульность означает настройку и большую возможность компоновки. Проекты могут идти на компромиссы в зависимости от своих потребностей, например, доверять безопасность сети Ethereum, добиваясь при этом низких или даже нулевых комиссий за газ и сверхвысоких скоростей транзакций.

2. Модульность позволяет проектам строить свою цепочку на основе проверенных технических стеков, таких как Polygon CDK или OP Stack, без построения всей инфраструктуры с нуля.

3/ Модульность Manta Pacific

Модульная конструкция Manta включает в себя два аспекта:

1. Manta Pacific использует зрелые технологические стеки, такие как OP Stack и Polygon CDK, для реализации своей модульной архитектуры.

В отличие от других решений уровня 2, Manta Pacific не создавала свою инфраструктуру с нуля, а вместо этого использовала существующий зрелый технологический стек OP Stack.

Если бы Manta была недавно созданным брендом смартфонов, использование OP Stack было бы похоже на прямое использование цепочки поставок и технологической архитектуры iPhone.

Преимущество этого подхода в том, что Optimism — это проект, проверенный медвежьим рынком, а его технологический стек OP Stack также прошел долгосрочное рыночное тестирование и является очень зрелым. Manta Pacific может напрямую стоять на плечах гигантов, во многом унаследовав существующие безопасность и технические преимущества OP Stack.

Более того, он обеспечивает полную совместимость с EVM, что позволяет разработчикам легко переносить существующие DApps в Manta Pacific. Что еще более важно, Манта может больше сосредоточиться на строительстве экосистемы и расширении проектов. На сегодняшний день Manta Pacific проверила более 810 смарт-контрактов в своей цепочке с более чем 200 экосистемными проектами.

2. Manta Pacific использует Celestia в качестве уровня доступности данных, то есть безопасность доступности данных частично гарантируется как основной сетью Ethereum, так и Celestia. Если узлы секвенсора публикуют подлинные данные, соответствующие данные можно найти как в основной сети Ethereum, так и в Celestia.

Секвенсор Manta Pacific определяет высоту блока для публикации больших двоичных объектов в Ethereum. Если большой двоичный объект не находится на этой высоте, транзакция недействительна.

Секвенсор публикует данные: транзакцию в папку «Входящие», закодированную из трех частей: номер версии (0x02), высоту блока (0xa4aa050000000000) и обязательство BLOB-объекта (оставшаяся часть). Указывая высоту, узлы знают, где искать.

Например, 0xa4aa050000000000 — это кодировка высоты блока с прямым порядком байтов, преобразованная в блок 371364. Тот же блок можно найти по адресу https://celenium.io/block/371364.

Блок содержит блок в пространстве имен Manta Pacific. Полные данные можно найти:

Если секвенсор публикует фальсифицированные данные, узлы не смогут найти фиксацию на указанной высоте блока.

3. Собственные схемы ZK компании Manta имеют модульную конструкцию, благодаря чему функциональные возможности ZK встроены в Manta Pacific. Разработчики могут полностью вызывать и реализовывать функции и возможности ZK в Manta Pacific, что отличает его от других накопительных пакетов ZK или zkEVM. Разработчики также могут легко вызывать схемы ZK для объединения функций ZK с приложениями.

При взаимодействии ZK Rollup пользователи торгуют внутри ZK Rollup, а секвенатор Rollup действует как проверяющий, устанавливая последовательность пользовательских транзакций, сжимая, упаковывая и генерируя доказательства ZK. Смарт-контракты основной сети Ethereum выступают в качестве верификаторов, проверяя правильность доказательства ZK и тем самым проверяя правильность транзакций, которые он представляет.

Смарт-контракту основной сети не требуется выполнять сложную проверку транзакций ZK Rollup, и одно доказательство ZK может отражать правильность большего количества информации о транзакциях, обеспечивая масштабируемость и улучшая способность основной сети Ethereum подтверждать транзакции.

Для сравнения, пользователи Manta Pacific выступают в роли проверяющих, генерируя доказательства ZK локально при отправке транзакций. Ончейн-коллаторы выступают в качестве верификаторов, проверяя доказательства ZK. Проверенные транзакции затем сжимаются секвенсором и отправляются в основную сеть Ethereum. На уровне 2 Manta Pacific завершает создание и проверку ZK, полностью реализуя функции ZK.

4/ В СТЕКЕ

OP Stack — это модульный стек технологий блокчейна с открытым исходным кодом, запущенный командой Optimism и предназначенный для предоставления высокомасштабируемых и совместимых блокчейн-решений. OP Stack имеет модульную конструкцию, при этом каждый модуль реализует определенный уровень стека и подключается через четко определенные API. Это позволяет разработчикам легко модифицировать существующие модули или создавать новые, поддерживая различные типы приложений и инноваций блокчейна.

Цель OP Stack — выйти за рамки традиционных одноцепочечных или многоцепочечных моделей и продвигать структуру, состоящую из высокоинтегрированных цепочек, известную как Superchain. Суперчейн, разделяя форматы сообщений, позволяет различным цепочкам легко взаимодействовать без специальных адаптеров для каждой цепочки. Он также поддерживает возможность атомарной компоновки между цепочками, когда несколько операционных цепочек совместно используют набор секвенсоров, обеспечивая взаимодействие между цепочками на атомном уровне.

5/ Уровень доступности данных (уровень DA)

Уровень доступности данных гарантирует, что все данные в сети блокчейна, особенно данные уровня 2, могут быть общедоступны и проверены. Уровень доступности данных позволяет любому участнику получать эти данные для проверки состояния сети и достоверности транзакций, обеспечивая решающую гарантию прозрачности и безопасности блокчейна.

6/ Селестия

Celestia предоставляет подключаемый уровень доступности данных и консенсуса, основанный на консенсусе Cosmos Tendermint и Cosmos SDK, совместимый с цепочками EVM и цепочками приложений Cosmos. Эти цепочки могут напрямую использовать Celestia в качестве уровня доступности данных, при этом блочные данные хранятся, доступны и проверяются через Celestia. Celestia также поддерживает собственные накопительные пакеты, позволяя создавать на них конструкции уровня 2, но не поддерживает смарт-контракты.

Накопительные пакеты интегрируются с Celestia путем запуска узлов Celestia. Celestia получает информацию о транзакциях Rollup, заказывает транзакции через консенсус Tendermint, но не выполняет и не проверяет правильность транзакций. Он упаковывает, упорядочивает, транслирует транзакции и обеспечивает безопасность и доступность данных посредством стирающего кодирования и выборки доступности данных (DAS).

7/ Цепи ЗК

В доказательствах с нулевым разглашением «схемы» — это способ представления сложных алгоритмов и функций. Здесь схемы относятся не к традиционным электронным схемам, а к математической или логической структуре.

В контексте доказательств с нулевым разглашением схемы часто используются для описания или определения конкретной проблемы или утверждения.

Основные функции цепей:

1. Описание проблемы: Схемы могут описывать или определять конкретную проблему или утверждение. Например, доказывающему может потребоваться доказать, что он знает входные данные, удовлетворяющие конкретной схеме.

2. Конфиденциальность деталей: используя схемы, проверяющий может доказать, что им известна информация, которая удовлетворяет условиям схемы, не раскрывая конкретного содержания этой информации.

3. Верифицируемость: схемы предоставляют верификатору возможность проверить правильность доказательства, не зная конкретных входных данных, используемых доказывающим.

4. Универсальность и возможность повторного использования. После определения схемы можно использовать для решения различных задач и сценариев. Вот почему некоторые платформы ZKP поддерживают так называемые «универсальные» схемы, способные описывать и решать различные задачи.

Таким образом, схемы в доказательствах с нулевым разглашением действуют как мост, соединяющий утверждения, которые доказывающий хочет доказать, с необходимостью проверяющего проверить это утверждение, не раскрывая никакой информации, кроме самого утверждения. Схемы используются для определения доказываемых вычислений. Для каждого конкретного приложения требуются свои собственные схемы. Различные сервисы (такие как zkEVM, ZKML, ZK Oracle, ZK Bridge, а также различные проверки консенсуса и состояния) требуют разных схем.

8/ Универсальные схемы ZK от Manta Pacific

Manta Pacific — это решение уровня 2, разработанное специально для приложений ZK (нулевого знания), предлагающее почти полную совместимость со средой Ethereum EVM (виртуальной машиной Ethereum) и языком программирования Solidity. Недавно Manta Pacific выпустила Universal ZK Circuits 2.0, библиотеку ZK, ориентированную на разработчиков, которая позволяет интегрировать контракты с поддержкой ZK в существующие смарт-контракты Solidity и dApps с помощью всего лишь нескольких строк кода.

Универсальные схемы ZK предоставляют разработчикам Solidity ZK как услугу. В настоящее время он включает в себя существующую схему MantaPay от Manta Network, схему zkShuffle и схемы ZK из проекта Semaphore Ethereum Foundation.

Используя Universal Circuits в Manta Pacific, разработчики могут легко развертывать приложения ZK, основанные на EVM. Они также могут вызывать контракты с поддержкой ZK для своих существующих смарт-контрактов Solidity и dApps через расширенные API.

Например, разработчик, создающий приложение для карточной игры в цепочке, может использовать схему zkShuffle для реализации децентрализованного перетасовки и раздачи карт. Практическим примером упрощенной разработки приложений ZK с помощью Manta Universal Circuits является zkHoldem.

До появления Universal Circuits создание zkShuffle и подобных приложений ZK требовало ручного построения схем и преобразований между языками программирования, такими как Rust и Solidity. Однако с появлением универсальных схем Manta эта сложность значительно уменьшилась.

Благодаря универсальным схемам Manta Pacific создание приложений ZK стало более простым и эффективным.