DA Challenge

Что такое DA Challenge?

DA Challenge (Data Availability Challenge, проверка доступности данных) — это механизм в криптоиндустрии, который позволяет пользователям или операторам узлов оспорить доступность данных, лежащих в основе блока, пакета или коммита роллапа.

Проще говоря, DA Challenge ставит один вопрос: если секвенсор или поставщик данных утверждает, что данные транзакций существуют, действительно ли другие участники могут получить их и проверить состояние сети?

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

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

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

В спецификации Alt-DA OP Stack описан контракт Data Availability Challenge. В течение установленного периода пользователи могут оспорить коммит, а хранители данных — урегулировать спор, предоставив необходимые данные.

DA Challenge особенно важен для систем, использующих альтернативную доступность данных, также называемую Alt-DA, поскольку данные транзакций могут храниться вне основного уровня расчетов.

Этот механизм также важен для систем, похожих на Plasma, оптимиев, архитектур в стиле validium и роллапов, в которых снижение затрат на данные сопровождается дополнительными допущениями доверия.

DA Challenge не делает любую масштабируемую систему столь же безопасной, как публикация всех данных непосредственно в высокозащищенном базовом слое.

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

Почему DA Challenge важен в криптоиндустрии

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

В документации Ethereum о доступности данных объясняется, что пользователи должны быть уверены: данные, необходимые для проверки блока, доступны участникам сети.

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

Если секвенсор публикует корень состояния или коммит, но скрывает лежащие в его основе данные, пользователи могут не суметь проверить корректность состояния.

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

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

В документации Ethereum об оптимистичных роллапах объясняется, что доступность данных необходима, поскольку без доступа к данным о состоянии участники не могут создать доказательства мошенничества.

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

В системах Alt-DA DA Challenge — один из способов обеспечить подотчетность, когда данные хранятся вне основного уровня расчетов.

Поэтому DA Challenge — не просто техническая деталь для разработчиков.

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

Как работает DA Challenge

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

Коммитом может быть хеш, ссылка на blob, корень Merkle, сертификат уровня доступности данных или другое компактное представление данных.

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

Если пользователь, узел или наблюдатель не может получить исходные данные, он может инициировать DA Challenge.

В дизайне Alt-DA для OP Stack спор направляется в контракт Layer 1 DataAvailabilityChallenge в течение установленного периода оспаривания.

После начала проверки у другой стороны есть период для урегулирования спора: она должна предоставить недостающие данные или подтвердить корректность коммита.

Если данные успешно предоставлены, спор разрешается, и цепочка может продолжить использовать коммит.

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

Этот процесс побуждает поставщиков данных и секвенсоров обеспечивать доступность данных.

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

DA Challenge и доступность данных

Доступность данных — это общая гарантия того, что данные, необходимые для проверки блока, пакета или обновления состояния, опубликованы и могут быть получены.

DA Challenge — конкретный механизм проверки, оспаривания или обеспечения этой гарантии.

Это различие важно.

Доступность данных — цель.

DA Challenge — один из инструментов ее защиты в ситуациях, когда доступность данных вызывает сомнения.

Роллап, который публикует все данные транзакций непосредственно в calldata или blobs Ethereum, может в большей степени полагаться на гарантии доступности данных Ethereum.

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

DA Challenge помогает устранить этот разрыв, позволяя пользователям оспаривать коммиты, которые невозможно преобразовать в реальные данные.

Однако надежность такой проверки зависит от конкретного дизайна.

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

Надежная система оспаривания должна быть без разрешений, достаточно доступной по стоимости для добросовестных участников, устойчивой к атакам типа «отказ в обслуживании» и четко связанной с финальностью роллапа.

DA Challenge и доказательство мошенничества

DA Challenge — не то же самое, что доказательство мошенничества.

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

DA Challenge оспаривает доступность данных, необходимых для проверки этого результата.

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

Если данные транзакций недоступны, участник может даже не суметь создать доказательство мошенничества.

Это означает, что доступность данных является предварительным условием для многих систем доказательства мошенничества.

DA Challenge направлен на решение проблемы отсутствующих данных — еще до того, как система сможет определить, корректно ли было выполнено исполнение.

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

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

DA Challenge вместо этого требует от секвенсора или поставщика данных раскрыть их либо столкнуться с последствиями.

Поэтому DA Challenge и доказательства мошенничества связаны, но являются отдельными составляющими безопасности роллапа.

DA Challenge и период оспаривания

Термин DA Challenge можно спутать с общим периодом оспаривания, используемым в оптимистичных роллапах.

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

DA Challenge имеет более узкое значение, поскольку касается доступности данных.

В конфигурации OP Stack для режима Alt-DA предусмотрены такие поля, как DAChallengeWindow, DAResolveWindow, DABondSize и DAChallengeProxy, указанные в конфигурации развертывания роллапа.

DAChallengeWindow — это интервал блоков, в течение которого можно оспорить доступность коммита данных.

DAResolveWindow — интервал блоков, в течение которого спор о доступности данных можно урегулировать.

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

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

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

DA Challenge и Alt-DA

Alt-DA означает альтернативную доступность данных.

Обычно так называют хранение данных транзакций роллапа не в основной цепочке расчетов.

В объяснении режима Alt-DA OP Stack говорится, что этот режим позволяет цепочкам OP Stack подключать различные уровни доступности данных, чтобы снизить затраты на данные.

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

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

В той же документации OP Stack предупреждает, что у режима Alt-DA больше допущений доверия, чем у простого размещения данных в Ethereum Layer 1.

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

Например, если секвенсор публикует коммит в Layer 1, но не обеспечивает доступ к исходным данным через поставщика DA, добросовестный узел может инициировать проверку.

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

Это повышает безопасность Alt-DA, но не устраняет все риски.

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

DA Challenge и blobs Ethereum

Ethereum внедрил транзакции с blob-данными в рамках EIP-4844, также известного как Proto-Danksharding.

В официальной спецификации EIP-4844 сказано, что транзакции с blob-данными позволяют масштабировать доступность данных Ethereum простым и совместимым с будущими обновлениями способом.

Blobs позволяют роллапам дешевле публиковать данные транзакций в Ethereum по сравнению с прежними решениями, активно использовавшими calldata.

В документации Ethereum о Dencun объясняется, что обновление Dencun активировало Proto-Danksharding и добавило временные blobs данных для удешевления хранения данных роллапов.

Узлы Ethereum обычно хранят данные blobs ограниченное время, а не бессрочно.

Это не то же самое, что система оспаривания Alt-DA, но она относится к той же более широкой теме доступности данных.

Роллапы, использующие blobs Ethereum, полагаются на гарантии доступности на уровне протокола Ethereum в течение периода доступности этих blobs.

Роллапы, использующие внешние уровни доступности данных, могут применять DA Challenge, DA-мосты, доказательства выборочного получения данных или другие механизмы для обеспечения доступности данных.

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

DA Challenge особенно актуален, когда система не может просто полагаться на встроенную доступность blob-данных Ethereum.

DA Challenge и атаки с удержанием данных

Атака с удержанием данных происходит, когда сторона публикует коммит данных, но не раскрывает сами данные.

Это один из основных рисков, на устранение которых направлен DA Challenge.

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

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

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

DA Challenge создает публичный механизм оспаривания.

Участник, инициирующий оспаривание, заявляет, что данные за коммитом недоступны.

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

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

Это не делает удержание данных невозможным, но повышает заметность и стоимость такой атаки.

Эффективность механизма зависит от того, следят ли участники за сетью, доступно ли оспаривание по стоимости и корректно ли протокол реагирует, когда спор не урегулирован.

DA Challenge и финальность роллапа

Финальность роллапа может быть сложнее, если доступность данных зависит от внешних систем.

Блок может казаться безопасным из-за опубликованного коммита, но это не всегда означает, что исходные данные защищены навсегда.

В спецификации Alt-DA OP Stack объясняется, что блоки, созданные на основе входных данных с коммитами, могут иметь статус safe, но при сбое поставщика DA все равно могут быть реорганизованы. Поэтому для более надежных гарантий пользователям следует ориентироваться на статус finalized.

Это различие важно для пользователей и приложений.

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

Приложениям не следует считать, что каждый недавно сформированный блок обладает такой же финальностью.

Кошелькам, мостам и DeFi-протоколам может потребоваться дождаться окончания соответствующего окна DA Challenge и выполнения правил финальности, прежде чем считать операции необратимыми.

Простой вывод для пользователей: у более быстрых и дешевых сетей могут быть более сложные допущения о финальности.

Система DA Challenge может защищать пользователей, но только если пользователи и приложения понимают различия между состояниями pending, safe и finalized.

Залог в DA Challenge

Во многих системах DA Challenge используется залог, чтобы предотвращать спам и атаки типа «отказ в обслуживании».

Залог — это сумма средств, которую участник должен внести при запуске проверки.

Залог удерживает пользователей от необоснованного оспаривания каждого коммита.

В спецификации Alt-DA OP Stack сказано, что контракт Data Availability Challenge может предусматривать обязательный платеж-залог, чтобы оспаривание обходилось как минимум не дешевле отправки данных в блокчейн для урегулирования спора.

Такой подход призван не дать злоумышленникам дешево заваливать систему фиктивными спорами.

Однако залог создает компромисс.

Если залог слишком мал, система может быть уязвима для спама.

Если залог слишком велик, добросовестные участники могут не суметь оспорить недоступность данных.

Система DA Challenge должна находить баланс между экономической безопасностью и доступностью.

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

Урегулирование DA Challenge

Урегулирование — это процесс ответа на DA Challenge.

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

Затем контракт может проверить, соответствуют ли отправленные данные исходному коммиту.

Если данные совпадают, спор урегулирован.

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

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

Например, система может применить DA-мост, сертификат, аттестацию, доказательство корректности или доказательство с нулевым разглашением, чтобы показать, что нужные данные были доступны в другом слое.

В статье о ZK DA Bridge Eclipse описан дизайн, в котором доказательство доступности данных отделено от доказательств мошенничества и обрабатывается отдельной подсистемой DA Challenge.

Это показывает, как архитектура DA Challenge может быть модульной.

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

DA Challenge и наблюдатели

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

DA Challenge во многом зависит от наблюдателей: кто-то должен заметить недоступность данных и инициировать проверку.

Если никто не следит за сетью, механизм оспаривания может существовать, но не работать на практике.

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

В публикации Ethereum Research Universal Plasma and DA challenges обсуждаются важность и стоимость добросовестных участников, оспаривающих доступность данных в системах, похожих на Plasma.

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

Надежная система DA Challenge должна позволять следить за цепочкой более чем одной стороне.

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

Для пользователей важно не только то, существует ли контракт DA Challenge.

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

DA Challenge и секвенсоры

Секвенсор — компонент, который упорядочивает транзакции и формирует пакеты во многих системах роллапов.

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

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

Добросовестный секвенсор обеспечивает доступность данных через предусмотренный уровень DA или сервер.

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

DA Challenge позволяет проверить такое поведение.

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

Это может помешать цепочке продолжить работу, опираясь на недоступные данные.

Однако DA Challenge не устраняет все риски, связанные с секвенсорами.

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

DA Challenge и комитеты доступности данных

В некоторых масштабируемых системах используется комитет доступности данных (Data Availability Committee, DAC).

DAC — это группа участников, которая обязуется хранить или предоставлять данные транзакций.

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

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

DA Challenge может служить одним из способов привлечь DAC или поставщика данных к ответственности.

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

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

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

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

DA Challenge и validium

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

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

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

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

DA Challenge может помочь системам в стиле validium, предоставив механизм оспаривания отсутствующих данных.

При этом данные все равно остаются вне блокчейна.

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

Пользователям важно понимать, что validium, оптимии, сети, похожие на Plasma, и роллапы Alt-DA могут обеспечивать доступность данных по-разному.

Одного названия недостаточно.

Главный вопрос — как обеспечивается доступность данных и что происходит, если они недоступны.

DA Challenge и оптимии

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

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

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

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

DA Challenge призван обнаружить эту проблему до того, как отсутствие данных подорвет безопасность роллапа.

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

Низкие комиссии могут быть привлекательны, но их следует сопоставлять с риском недоступности данных, допущениями в отношении мостов, стимулами для оспаривания и особенностями финальности.

DA Challenge и системы, похожие на Plasma

Системы, похожие на Plasma, хранят больше данных вне блокчейна и защищают пользователей с помощью вывода средств, оспаривания или доказательств.

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

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

В обсуждении универсальной Plasma и DA Challenge на Ethereum Research отмечается, что такие системы могут требовать присутствия как минимум одного активного участника, готового оспаривать недоступность данных в любой момент.

Требование постоянного мониторинга важно для безопасности пользователей.

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

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

Поэтому DA Challenge рассматривают и как технический, и как экономический механизм.

Система должна быть технически корректной и экономически доступной.

DA Challenge и вывод средств пользователями

Доступность данных может влиять на вывод средств.

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

Это одна из причин, по которым DA Challenge важен для защиты пользователей.

DA Challenge может помешать роллапу или системе, похожей на Plasma, финализировать недоступные данные, из-за которых вывод средств станет небезопасным.

Однако конкретное влияние на вывод средств зависит от архитектуры цепочки.

Некоторые системы могут разрешать аварийный выход.

Некоторые могут выполнить реорганизацию начиная с коммита с недоступными данными.

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

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

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

DA Challenge и реорганизации L2

Реорганизация, или реорг, происходит, когда цепочка заменяет часть ранее принятой истории другой канонической историей.

В системе DA Challenge неурегулированный спор может привести к тому, что роллап отклонит блоки, созданные на основе недоступных данных, или выполнит их реорганизацию.

В спецификации Alt-DA OP Stack объясняется, что после истечения срока неурегулированного спора каноническая цепочка L2 может быть реорганизована начиная с первого блока, созданного на основе оспариваемых входных данных.

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

Однако реорганизации могут затрагивать и приложения, и пользователей.

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

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

Поэтому кошелькам, мостам, обозревателям и разработчикам важно хорошо понимать, как работает DA Challenge.

Использование DA Challenge позволяет снизить затраты на данные, но модель финальности такой цепочки может быть сложнее, чем ожидают пользователи.

DA Challenge и риск атак типа «отказ в обслуживании»

Систему DA Challenge можно атаковать, если инициировать споры слишком дешево или если их урегулирование обходится слишком дорого.

Злоумышленник может рассылать спам-оспаривания, вынуждая поставщиков данных, секвенсоры или контракты тратить ресурсы.

Поэтому важны залог и затраты на урегулирование.

В спецификации Alt-DA OP Stack рассматривается обязательный залог, который уплачивается для снижения риска атак типа «отказ в обслуживании».

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

Установить размер залога сложно, поскольку комиссии в блокчейне со временем меняются.

При росте комиссий залог, который раньше был разумным, может стать слишком маленьким или слишком большим.

Если для урегулирования спора требуется отправить большой объем calldata, в периоды высоких комиссий это может оказаться дорого.

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

В данном случае безопасность зависит не только от криптографии.

Важно также, чтобы экономическая модель работала в условиях стресса.

DA Challenge и расходы в блокчейне

DA Challenge может повлечь расходы в блокчейне, поскольку оспаривание и его урегулирование могут требовать транзакций в Layer 1.

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

Поэтому некоторые системы исследуют DA-мосты, сертификаты или доказательства с нулевым разглашением, чтобы снизить затраты на урегулирование в блокчейне.

В проекте Eclipse ZK DA Bridge рассматривается использование систем доказательств для снижения затрат на проверку доступности данных между системами.

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

Публикация всех данных непосредственно в защищенном базовом слое обходится дорого.

Публикация только коммитов дешевле, но создает необходимость в механизмах оспаривания, доказательствах или мостах.

Бесплатных решений не существует.

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

DA Challenge и выборочная проверка доступности данных

Выборочная проверка доступности данных, обычно называемая DAS, — еще один способ убедиться в доступности данных, не требуя от каждого узла загружать их целиком.

В дорожной карте Danksharding Ethereum объясняется, что для эффективной проверки blob-данных валидаторам нужна выборочная проверка доступности данных.

DAS и DA Challenge связаны, но это не одно и то же.

DAS помогает участникам проверять доступность с помощью случайной выборки.

DA Challenge — это процедура оспаривания, которая запускается, когда данные кажутся недоступными или их невозможно получить.

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

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

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

При грамотной реализации оба механизма помогают повысить безопасность масштабирования.

Преимущества DA Challenge

Первое преимущество DA Challenge — подотчетность.

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

Второе преимущество — повышение безопасности роллапа.

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

Третье преимущество — масштабирование с меньшими затратами.

DA Challenge может поддерживать архитектуры Alt-DA, которые снижают стоимость публикации данных и при этом предусматривают механизм разрешения споров.

Четвертое преимущество — модульность.

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

Пятое преимущество — повышение прозрачности.

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

Шестое преимущество — защита пользователей.

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

Риски DA Challenge

Первый риск — отсутствие наблюдателей.

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

Второй риск — высокая стоимость оспаривания.

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

Третий риск — спам или атака типа «отказ в обслуживании».

Если оспаривание слишком дешевое, злоумышленники могут завалить систему ложными спорами.

Четвертый риск — зависимость от внешних данных.

Если система зависит от внешнего слоя доступности данных, DA Challenge может не устранить полностью допущения доверия, связанные с этим слоем.

Пятый риск — сложная финальность.

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

Шестой риск — статус реализации.

Некоторые документы могут описывать запланированные или экспериментальные функции DA Challenge, которые доступны не во всех цепочках.

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

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

Как пользователям оценить систему DA Challenge

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

Затем нужно проверить, действует ли в сети механизм DA Challenge или только планируется его внедрение.

Следует проверить продолжительность окна оспаривания и окна урегулирования.

Нужно выяснить, кто может инициировать оспаривание.

Следует проверить, требуется ли для оспаривания залог и каков его размер.

Нужно выяснить, что происходит после урегулирования спора.

Следует проверить, что происходит, если срок оспаривания истекает без урегулирования.

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

Следует проверить, дожидаются ли кошельки, мосты и приложения нужного уровня финальности.

Нужно выяснить, следят ли независимые наблюдатели или операторы узлов за сетью на практике.

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

Что разработчикам нужно знать о DA Challenge

Разработчикам следует рассматривать DA Challenge как часть модели безопасности приложения.

Если DApp работает в сети с Alt-DA, разработчику необходимо понимать гарантии доступности данных этой сети.

Мостам следует уделять особое внимание, поскольку сообщения моста могут зависеть от финальности исходной цепочки.

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

Игра или социальное приложение могут допускать более гибкие требования к финальности, чем рынок кредитования с крупными суммами.

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

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

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

Допущения о доступности данных следует учитывать при развертывании, раскрытии рисков и проектировании интерфейса для пользователей.

Распространенные заблуждения о DA Challenge

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

Это не так.

Механизм касается только доступности данных за коммитом.

Другое заблуждение — что DA Challenge и доказательство мошенничества означают одно и то же.

Доказательство мошенничества оспаривает корректность исполнения, тогда как DA Challenge оспаривает доступность данных.

Третье заблуждение: любая цепочка с DA Challenge столь же безопасна, как цепочка, публикующая все данные в Ethereum.

Это неверно, поскольку системы Alt-DA сохраняют дополнительные допущения доверия, связанные со слоем доступности данных, мостом, процедурой оспаривания и наблюдателями.

Четвертое заблуждение — что доступность данных означает их постоянное хранение.

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

Пятое заблуждение — что пользователям не нужно обращать внимание на DA Challenge.

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

DA Challenge и долговременное хранение данных

DA Challenge — не система долгосрочного архивного хранения.

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

В документации Ethereum о стратегиях хранения данных блокчейна объясняется, что доступность данных и возможность получить исторические данные — разные понятия.

Это различие важно для роллапов и сетей Alt-DA.

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

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

Сам по себе DA Challenge не всегда решает проблему долгосрочного доступа к данным.

Разработчикам следует отдельно планировать хранение истории.

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

DA Challenge и поисковый запрос AEO

Пользователи, которые ищут информацию о DA Challenge, обычно хотят разобраться в рисках доступности данных в роллапах, системах Alt-DA и модульных блокчейнах.

Краткий ответ: DA Challenge — это механизм оспаривания доступности данных роллапа, лежащих за коммитом.

Подробный ответ: DA Challenge помогает защищать пользователей, когда цепочка публикует коммиты данных, а не все данные непосредственно в базовом слое.

К связанным терминам относятся доступность данных, Alt-DA, роллап, секвенсор, доказательство мошенничества, validium, оптимий, атака с удержанием данных, окно оспаривания, окно урегулирования и выборочная проверка доступности данных.

Понимание DA Challenge помогает пользователям сравнивать безопасность разных систем Layer 2 и модульных блокчейнов.

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

DA Challenge важен, потому что масштабирование блокчейна больше не сводится только к ускорению исполнения.

Не менее важно, чтобы данные, лежащие в основе исполнения, оставались доступными для проверки.

FAQ

Что означает DA Challenge?

DA Challenge означает Data Availability Challenge — механизм оспаривания доступности данных за коммитом блокчейна или роллапа.

Почему DA Challenge важен?

DA Challenge важен, поскольку пользователям и узлам нужны данные транзакций, чтобы проверять состояние роллапа, создавать доказательства мошенничества и безопасно взаимодействовать с сетью.

DA Challenge — это то же самое, что доказательство мошенничества?

Нет. DA Challenge касается доступности данных, а доказательство мошенничества оспаривает корректность перехода состояния или вычислений.

Кто может инициировать DA Challenge?

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

Что такое окно DA Challenge?

Окно DA Challenge — это период времени или интервал блоков, в течение которого можно оспорить коммит данных.

Что такое окно урегулирования DA Challenge?

Окно урегулирования DA Challenge — период времени или интервал блоков, в течение которого необходимо предоставить недостающие данные или доказательство, чтобы урегулировать спор.

Что произойдет, если DA Challenge не будет урегулирован?

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

Делает ли DA Challenge системы Alt-DA безрисковыми?

Нет. DA Challenge может снизить риск, но системы Alt-DA по-прежнему опираются на дополнительные допущения, связанные со слоем доступности данных, мостом, наблюдателями, экономической моделью и реализацией.

Что такое залог для DA Challenge?

Залог для DA Challenge — это средства, вносимые участником, который инициирует оспаривание. Он предназначен для сдерживания спама и удорожания необоснованных споров.

Может ли DA Challenge повлиять на вывод средств?

Да. DA Challenge может повлиять на вывод средств, если из-за отсутствия данных пользователи или приложения не могут проверить состояние цепочки, необходимое для безопасного выхода.

Активен ли DA Challenge во всех роллапах?

Нет. Поддержка DA Challenge зависит от архитектуры сети, используемого стека, конфигурации и текущего статуса реализации.

Что пользователям следует проверить перед использованием сети с DA Challenge?

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

Заключение

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

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

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

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

Преимущество такого подхода — возможность масштабирования с меньшими затратами благодаря дополнительному механизму разрешения споров.

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

DA Challenge не следует путать с доказательством мошенничества, общим периодом оспаривания или постоянным хранением данных.

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

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

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

По мере того как масштабирование криптосетей будет все активнее опираться на роллапы, blobs, Alt-DA, модульные блокчейны и выборочную проверку доступности данных, DA Challenge останется важным понятием для понимания безопасности Layer 2 и систем исполнения вне блокчейна.