Автор оригинала: Delphi Digital
Оригинальный сборник: Луффи, Foresight News
Принято считать, что модульная теория состоит из четырех уровней: DA (доступность данных), консенсус, исполнение и урегулирование. Однако в модульную теорию может быть интегрирован новый уровень — совместное доказательство.
Может ли это быть недостающим элементом эффективной и масштабируемой проверки? Совместное использование доказательств, агрегирование доказательств и рынки доказательств меняют среду доказательств с нулевым разглашением. Вы можете узнать все, что вам нужно знать, в нашем последнем отчете.
Ниже приводится краткое изложение ключевых моментов отчета.
Краткий обзор zk Rollup
Решение zk Rollup масштабирует транзакции Ethereum, перемещая транзакции вне цепочки для более быстрой обработки, обеспечивая при этом жесткую окончательность поверх Ethereum и проверку с помощью zkproofs (доказательства с нулевым разглашением).
zk доказательство: быстро проверить, медленно сгенерировать
Несмотря на то, что доказательство ZK является мощным с точки зрения конфиденциальности и масштабирования, его создание на Ethereum может оказаться дорогостоящим и медленным.
Высокие затраты на подтверждение будут ограничивать применение zk. Новые подходы, такие как агрегирование доказательств и рынки доказательств, направлены на устранение этих ограничений.
цепочка поставок сертификатора
Общий секвенсор обеспечивает высокую пропускную способность для транзакций между блокчейнами. Однако на самом деле они ничего не доказывают. В будущем они могут быть интегрированы в общую сеть проверки, чтобы делегировать эту задачу.
Сегодня Rollup сталкивается с проблемой дорогостоящих отдельных отправок доказательств с нулевым разглашением.
Сеть Prover Network предлагает решение: единый рынок, где различные приложения zk могут передавать создание доказательств специализированным поставщикам услуг проверки, тем самым увеличивая затраты и эффективность.
Общие подтверждающие могут значительно улучшить ситуацию для приложений, которым требуется поддержка аттестации zk, но не хватает собственных ресурсов zkVM или разработки схем.
В настоящее время Rollup предоставляет отдельные доказательства zk, что приводит к высоким затратам на газ в часы пик.
Сеть проверяющих теперь стремится передать создание доказательств специализированным поставщикам оборудования для повышения эффективности.
В сети с несколькими объединениями, подключенными к сети проверяющих, жизненный цикл транзакции работает следующим образом:
Rollup отправляет запрос на сертификацию.
Механизм сопоставления выбирает проверяющего.
Доказывающий удовлетворяет просьбу.
Соберите доказательства вместе.
Доказывающая сторона передает окончательное доказательство в L1 для проверки.
Амортизированные затраты на проверку
Proof Singularity относится к различным технологиям, предназначенным для снижения стоимости доказательств проверки в сети.
Агрегация доказательств — один из таких методов, который сжимает несколько действительных доказательств в одно доказательство, проверяющее их все.
Эта «пакетная проверка» снижает затраты на газ по сравнению с проверкой каждого доказательства по отдельности.
zk Стоимость проверки приложения
Высокие затраты на проверку и время проверки приложений zk в конечном итоге будут переложены на пользователей.
За последние несколько лет приложения zk (в первую очередь Rollup) потратили почти 30 миллионов долларов на проверку газа и публикацию доказательств в сети.
Обзор протокола агрегирования доказательств
Небра УПА
Nebra UPA позволяет приложениям zk объединять множество аттестаций для снижения затрат на проверку, и они утверждают, что поддерживают ~10 аттестаций в секунду в тестовой сети. Их доказательство в настоящее время централизовано, но в будущем планируется включить несанкционированное доказательство.
Они имеют механизм принудительного включения, аналогичный существующим спасательным капсулам L2. Если проверяющий подвергает цензуре или задерживает доказательство, приложения zk могут обойти проверяющий и принудительно выполнить расчет доказательства на L1.
Выровненный слой
Aligned Layer — это универсальный уровень проверки zk Ethereum, защищенный EigenLayer AVS. Рестейкеры предоставляют пользователям мягкую окончательность посредством агрегирования доказательств и отдельных коммитов Ethereum. По умолчанию используется DA EigenDA, но можно выбрать и другие уровни DA, например Celestia или Avail.
Агглайер
AggLayer от Polygon — это нейтральная инфраструктура для безопасного межсетевого взаимодействия. Он направлен на объединение независимых сетей блокчейнов в рамках межцепочного моста, обеспечивая совместимость без ущерба для суверенитета блокчейна.
Система предназначена для объединения доказательств во всех связанных сводных пакетах, а затем отправки уникального доказательства, содержащего дерево Меркла каждого отдельного представленного доказательства.
Для этого не требуется конкретная виртуальная машина или среда выполнения.
Блокчейны могут свободно выбирать свои собственные токены Gas.
Оно не обязательно должно подчиняться совместному управлению.
Под капотом инфраструктура, которая объединяет все это, — это кросс-чейн мост LxLy, который стандартизирует общий протокол межсетевого обмена сообщениями, позволяющий Rollup взаимодействовать друг с другом и с Ethereum, сохраняя при этом суверенитет.
Краткое объяснение того, как работает LxLy
Каждая цепочка отслеживает переводы вывода средств в дереве Меркла (дерево выхода).
Все деревья выходов объединены в глобальное дерево выходов, общее для всех цепочек.
Обновлены локальные и глобальные деревья, позволяющие проводить проверку и рассчитывать чистый вывод средств.
Кроме того, у Agglayer есть общий межсетевой мост между подключенными накопителями, который упрощает поток активов между L1 и L2. Активы обеспечены контрактом L1 и не требуют упаковки или блокировки/чеканки.
Традиционно фреймворки полагались на одного внутреннего сертификатора, что создавало риск цензуры и проблем с работоспособностью. Сеть пруверов может начинаться как централизованная и со временем постепенно децентрализоваться.
Децентрализация рынка пруверов все еще остается открытым вопросом, но некоторые подходы изучаются:
Конкурс доказательств: побеждает самый быстрый проверяющий, что повышает эффективность, но приводит к потере вычислений (затраты перекладываются на пользователя).
Доказательный майнинг: как и в PoW-майнинге, случайные числа используются для предотвращения того, что победитель получает все (по-прежнему существуют потери вычислений). Аппаратное ускорение в ASIC SNARK обещает снизить затраты.
