Оригинал от Delphi Digital

Оригинальная подборка: Луффи, Foresight News

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

Может ли это быть недостающим элементом эффективной, масштабируемой валидации? Рынки совместного доказательства, агрегации доказательств и доказательств меняют ландшафт zk-SNARKs. Вы можете узнать все, что вам нужно знать, в нашем последнем отчете.

Ниже приводится краткое изложение 👇 основных выводов отчета

Краткий обзор zk Rollup

Решение zk Rollup может масштабировать размер транзакции Ethereum, перемещая транзакции вне блокчейна для более быстрой обработки, обеспечивая при этом жесткий детерминизм поверх Ethereum и проверяя с помощью доказательств zk (zk-SNARKs).

zk proof: быстрая проверка, медленная генерация

В то время как доказательства zk являются мощными с точки зрения конфиденциальности и масштабирования, создание доказательств на Ethereum может быть дорогостоящим и медленным.

Высокая стоимость аттестации ограничивает zk apps. Новые подходы, такие как аттестация, агрегация и торговые площадки для проверки, направлены на устранение этих ограничений.

Блокчейн поставок Protender

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

Сегодня роллапы сталкиваются с проблемой дорогостоящих отдельных отправок zk-SNARKs.

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

Общие аттестаторы могут значительно улучшить ситуацию для приложений, которым требуется поддержка zk-proof, но не хватает собственных ресурсов для разработки zkVM или схем.

В настоящее время роллапы отправляют отдельные подтверждения zk, что приводит к высоким затратам на газ в часы пик.

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

В сети с самыми длинными роллапами, подключенной к сети проверки, жизненный цикл транзакции работает следующим образом:

• Роллап отправляет запрос на аттестацию.
• Механизм соответствия выбирает прувера.
• Сертифицирующий орган удовлетворяет запрос.
• Агрегированные доказательства.
• Доказательство представляет окончательную аттестацию в L1 для проверки.

Распределить стоимость валидации

Доказательство сингулярности относится к различным методам, предназначенным для Падение в блокчейне доказательство валидации затрат.

Агрегирование доказательств — это один из таких методов, который сжимает самые длинные действительные доказательства в одно доказательство, которое проверяет все доказательства.

Такая «пакетная проверка» может Падение Газ затраты по сравнению с проверкой каждого доказательства по отдельности.

Стоимость zk App Prover

Высокая стоимость проверки и время проверки приложений ZK в конечном итоге ложатся на пользователя.

За последние несколько лет zk-приложения (в основном Rollups) потратили почти 30 миллионов долларов в Газ на проверку и публикацию доказательств в блокчейне.

Профиль протокола агрегации доказательств

Небра УПА

Nebra UPA позволяет zk apps объединять лонг доказательства, чтобы Падение стоимость проверки, и они утверждают, что поддержка около 10 доказательств в секунду на Тестовая сеть. Их сертифицирующие органы в настоящее время централизованы, но планируют внедрить их позже без необходимости подтверждения разрешения.

Они имеют механизм принудительного включения, аналогичный существующим спасательным капсулам L2. Если проверяющий просматривает или задерживает задержку доказательства, приложение zk может обойти проверяющее и принудительно применить расчет доказательства на L1.

Выровненный слой

Aligned Layer — это универсальный уровень проверки zk Ethereum, защищенный EigenLayer AVS. Restakers предоставляет пользователям мягкую завершенность за счет агрегации доказательств и единичных коммитов Ethereum. По умолчанию используется DA EigenDA, но вы также можете выбрать другие слои DA, такие как Celestia или Avail.

AggLayer

AggLayer от Polygon — это нейтральная инфраструктура для безопасного кроссчейн-взаимодействия. Он направлен на объединение независимых сетей Блокчейн под единым кросс-чейн мост, облегчая функциональную совместимость без ущерба для Блокчейн суверенитета.

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

• Для этого не требуется специальная виртуальная машина или среда выполнения
• Блокчейн свободен в выборе собственного Газ Токен
• Он не обязательно должен быть предметом совместного управления.

Под капотом инфраструктура, которая объединяет все это, представляет собой кроссчейн-мосты LxLy, которые стандартизируют общий протокол обмена сообщениями кросс-чейн, чтобы роллапы могли общаться друг с другом и с Ethereum, сохраняя при этом суверенитет.

Краткое объяснение 👇 того, как работает LxLy

• Каждая цепочка отслеживает переводы вывода средств в дереве Меркла (дереве выхода).
• Все деревья выхода объединяются в глобальное дерево выхода, которое является общим кроссчейном
• Обновлены локальные и глобальные деревья для проверки и расчета чистого вывода.

Кроме того, Agglayer имеет общий кросс-чейн мост между подключенными роллапы, что упрощает поток активов между L1 и L2. Активы обеспечены в контракте L1 без обертывания или блокировки/минтинга.

Традиционно фреймворки полагались на одного внутреннего проверщика, рискуя столкнуться с цензурой и проблемами с живостью. Сеть доказателей может начинаться централизованно и постепенно децентрализация с течением времени.

Децентрализация рынка пруверов пока остается открытым вопросом, но некоторые подходы изучаются:

• Соревнование в доказательствах: побеждает тот, кто быстрее всех доказывает, что повышает эффективность, но тратит впустую вычисления (затраты перекладываются на пользователей).
• Доказательство Майнинг: Как и в PoW Майнинг, случайные числа используются, чтобы предотвратить получение победителем всего (вычислительные потери все еще существуют). Ожидается, что аппаратное ускорение в ASIC SNARK приведет к падению затрат.