В последнее время, поскольку спрос на технологию доказательства с нулевым разглашением (ZKP) постепенно растет, все больше и больше проектов требуют соответствующих вычислительных ресурсов для доказательства, поэтому было выведено новое модульное поле — Shared Provers, которое будет подробно обсуждаться в этой статье. источники спроса и существующие проекты.
Какую проблему пытается решить сеть общих проверяющих?
Преимущество решения ZK Rollup заключается в значительном масштабировании скорости транзакций, перемещении вычислений транзакций за пределы цепочки для более быстрой обработки, а также проверке доказательств с нулевым разглашением (ZK-доказательства) на Ethereum для окончательности. Разделение вычислений и проверок максимизирует скорость транзакций, поэтому технология доказательства с нулевым разглашением также считается важным ключом к развитию блокчейна.
Создайте доказательство с нулевым разглашением, вычислив строку ZK для отправки в основную сеть для проверки (источник).
Однако создание доказательств ZK требует высокой вычислительной мощности. На этом этапе затраты на узлы необходимо будет увеличить, а эффективность снизится. Централизованные пруверы снизят производительность и увеличат затраты на газ для пользователей в часы пиковой нагрузки сети, поэтому совместное использование уровня прувера может стать хорошим способом решения этой проблемы.
Введение в общую сеть аттестаторов
Различия в расположении прувера и сортировщика
Хотя у некоторых проектов есть планы на будущее, в настоящее время накопительные пакеты, основанные на доказательствах с нулевым разглашением, включая zkSync, Starknet и Scroll, используют свои собственные независимые средства проверки и секвенсоры для обработки транзакций, представленных пользователями. В настоящее время последних существует множество с развитием децентрализованных технологий. и общих сетях, пруверы получили относительно мало внимания со стороны рынка.
Схема операционной архитектуры zkSync (источник данных)
Сеть общих доказательств также называется уровнем агрегирования доказательств. Ее основная задача — децентрализовать процесс расчета доказательств с нулевым разглашением для повышения эффективности. Общий сортировщик передает работу по сортировке транзакций децентрализованной сети. Хотя оба они связаны с эффективностью и безопасностью накопительных пакетов, они выполняют разные функции.
Рекомендуемое чтение: Мнение | Децентрализация сортировщиков в накопителях принесет больше экологических возможностей. Причина рекомендации: в этой статье объясняются технические и экономические трудности децентрализации сортировщиков и рассматриваются возможности, которые может принести децентрализация сортировщиков. Вы можете прочитать его вместе с этой статьей, чтобы узнать больше о различиях и использовании сортировщиков и пруверов.
Процесс работы сети общего прувера
При использовании общего уровня проверки идеальный поток операций транзакции выглядит следующим образом:
Объединения или другие запрашивающие стороны подают запросы на сертификацию.
Механизм сопоставления автоматически выбирает один или несколько пруверов.
Этот доказывающий генерирует доказательство для удовлетворения запроса.
Если в проверке участвуют несколько испытателей, доказательства будут объединены.
Отправьте окончательное доказательство на уровень 1 для проверки.
Преимущество сети совместного доказывания
Совместная сеть проверки может передать на аутсорсинг ресурсы для проверки, необходимые Rollups, позволяя другим профессиональным поставщикам в сети помогать в расчетах и генерировании, достигая большей эффективности и оптимизируя затраты за счет профессионального разделения труда.
Общая сеть проверочных устройств может разделить требования к доказательствам с большой вычислительной нагрузкой между несколькими проверочными устройствами в соответствии с архитектурой, что еще больше повышает эффективность. С другой стороны, также можно интегрировать пакеты требований к доказательству в одно доказательство, сокращая при этом стоимость вычислений и цепочки, так что накопительные пакеты с меньшими требованиями могут разделить затраты с другими проектами.
Идеальная сеть совместного тестирования не требует доверия и может использоваться как часть модульной архитектуры для предоставления вычислительных ресурсов для различных проектов. Она может помочь командам, которым нужна вычислительная поддержка с нулевым разглашением, но у которых нет соответствующего оборудования и возможностей разработки для ее быстрого создания. . продукт.
(Arweave запускает децентрализованную вычислительную сеть для создания инновационной вычислительной среды со смарт-контрактами)
Введение в проект общей сети сертификаторов
Небра
Nebra — это универсальный проект уровня агрегирования доказательств с нулевым разглашением, который упаковывает и группирует требования нескольких служб, основанных на доказательствах с нулевым разглашением, для снижения затрат на доказательство и проверку. Однако в настоящее время проект по-прежнему представляет собой централизованную структуру и стремится к децентрализации в будущем.
Цель Nebra — интегрировать несколько приложений zk для пакетной генерации доказательств (источник).
Безопасность Nebra гарантируется посредством механизмов. Nebra имеет механизм, аналогичный существующим аварийным люкам уровня 2. Если проверяющий подвергает цензуре содержимое транзакции или задерживает расчет и отправку доказательства, проект, использующий службу, может обойти проверяющий и принудительно выполнить расчет доказательства на уровне 1.
В настоящее время у Nebra есть открытая тестовая сеть.
Доступен Нексус
Nexus — это новый проект в рамках проекта уровня децентрализованной доступности данных Avail. Он предоставляет услуги вычислений и секвенирования с нулевым разглашением для проектов Rollups с особыми потребностями для завершения экосистемы Avail и максимизации потенциального рынка.
Проекты, желающие использовать Avail, могут выбирать модули Nexus в соответствии со своими потребностями (источник данных).
Nexus регулярно отправляет совокупные доказательства в Ethereum и Avail DA для проверки.
Агглайер
AggLayer — это уровень агрегации, разработанный командой Polygon. Его цель — обеспечить ликвидность для всех сетей блокчейна с помощью единой технологии мостов и создать общий проверочный механизм для агрегирования доказательств с нулевым разглашением из всех цепочек для расчета в основную сеть Ethereum с проверкой.
Сети общих проверочных устройств станут новым рубежом для модульности
Текущая концепция промышленной модульности обычно фокусируется на уровне исполнения, уровне консенсуса, уровне расчетов и уровне доступности данных (DA). Однако по мере развития технологий Rollup и доказательств с нулевым разглашением спрос на вычисления доказательств с нулевым разглашением постепенно увеличивается, и сети совместного доказывания могут стать новой важной областью в будущем.
Однако он также может превратиться в сервис уровня агрегации, который интегрирует сервисы секвенирования и проверки, как продукт, созданный Nexus.
Но независимо от того, как классифицируется отрасль, спрос на вычисления для доказательств с нулевым разглашением, несомненно, станет растущей рыночной возможностью.
В этой статье представлен общий уровень проверки. Почему он стал важным краеугольным камнем модульной разработки? Впервые появилось в новостях сети ABMedia.
