Validium: что это такое, чем отличается от ZK-роллапа и почему Immutable X и Sorare хранили данные вне Ethereum

4 недели назад Комментарии к записи Validium: что это такое, чем отличается от ZK-роллапа и почему Immutable X и Sorare хранили данные вне Ethereum отключены

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

Коротко о главном

  • Термин ввела StarkWare в 2020 году для режима работы движка StarkEx: доказательства на Ethereum, данные — снаружи.
  • От ZK-роллапа validium отличается только местом хранения данных: в роллапе они публикуются в L1 (calldata или блобы), в валидиуме — у комитета.
  • Данные защищает Data Availability Committee (DAC): подписанты обязуются хранить данные и выдавать их по запросу пользователей и операторов.
  • Классические примеры: Immutable X и Sorare (NFT и игры), dYdX на StarkEx до перехода на собственную цепь, DeversiFi (Bitfinex L2).
  • L2BEAT выделяет validium в отдельную категорию с более низким уровнем безопасности, чем у роллапов: ключевой риск — сокрытие данных.
  • После EIP-4844 и апгрейда Fusaka публикация данных в блобах подешевела, и часть проектов вернулась к роллап-режиму.

Что такое validium и где он в классификации L2

Решения второго слоя различаются двумя параметрами: как доказывается корректность состояния (fraud proofs или validity proofs) и где хранятся данные (в L1 или снаружи). Комбинации дают четыре класса: optimistic rollup, ZK-rollup, optimium (OP Stack с внешними данными) и validium.

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

Класс L2 Доказательства Данные Компромисс
Optimistic rollup Fraud proofs В L1 (calldata/блобы) Неделя на вывод средств
ZK-rollup Validity proofs (SNARK/STARK) В L1 Дороже, но максимум гарантий
Validium Validity proofs Вне L1 (DAC) Дёшево, но доверие к комитету
Optimium Fraud proofs Вне L1 Дёшево, доверие к комитету + задержка вывода

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

Как работает validium шаг за шагом

StarkEx дополнительно предлагает режим Volition: пользователь выбирает для каждой конкретной транзакции, публиковать ли данные в L1 (роллап-режим, дороже и безопаснее) или оставить в валидиуме (дешевле).

  1. Секвенсор принимает транзакции и формирует пакеты (batches).
  2. Для пакета генерируется доказательство корректности нового состояния — STARK или SNARK.
  3. В L1 публикуются корень состояния и доказательство; смарт-контракт его проверяет.
  4. Сами данные передаются комитету доступности данных (DAC), который подписывает обязательство хранить их.
  5. Пользователь может запросить данные и самостоятельно восстановить состояние, а при их сокрытии — воспользоваться механизмом принудительного выхода.

Комитет доступности данных (DAC)

  • Кто входит. Независимые организации: ноды, аудиторы, инфраструктурные провайдеры, иногда сам эмитент.
  • Что подписывают. Обязательство хранить данные определённый период и выдавать их по запросу.
  • Что при сбое. Если данные скрыты, пользователи не могут самостоятельно восстановить состояние и вывести средства без помощи оператора — это главный риск модели.
  • Механизмы защиты. Escape hatch и forced exit: возможность потребовать вывод напрямую у контракта L1 при бездействии секвенсора.

Примеры и эволюция рынка

Первая волна валидиумов — приложения StarkEx: Immutable X для NFT и игр, Sorare для коллекционных карточек, dYdX для деривативов и DeversiFi (позже Bitfinex L2). Им нужна была максимальная пропускная способность при минимальной цене операции, а данные имели ценность в основном для самих пользователей.

dYdX в 2023 году ушёл с Ethereum на собственную цепь в экосистеме Cosmos, а после появления блобов (EIP-4844) и PeerDAS стоимость публикации данных в L1 резко снизилась. В результате новые проекты чаще выбирают роллап-режим: Immutable развивает zkEVM-роллап на Polygon CDK, а валидиумы остаются нишевым решением для очень дешёвых и массовых операций.

Когда validium оправдан, а когда нет

  • Оправдан: NFT и игры с миллионами мелких операций, где стоимость транзакции критичнее гарантий вывода.
  • Оправдан: биржевые стаканы, где публикация данных в L1 раскрывает позиции и провоцирует фронтраннинг.
  • Оправдан: приложения с требованиями конфиденциальности или комплаенса к данным.
  • Не оправдан: DeFi с крупными средствами пользователей — при сокрытии данных вывести активы без оператора невозможно.
  • Не оправдан: проекты, которым важна максимальная оценка безопасности у аналитиков (L2BEAT) и доверие институционалов.

Риски validium

Ключевой риск — data withholding: комитет или оператор не выдают данные, и пользователи теряют возможность самостоятельно доказать своё состояние. Второй — цензура: секвенсор и DAC могут отказывать в обслуживании. Третий — операционный: безопасность зависит от небольшого числа подписантов, которых часто назначает сам проект.

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

Преимущества Ограничения и риски
Транзакции заметно дешевле, чем в ZK-роллапе: данные не публикуются в L1 Доверие к комитету доступности данных (DAC)
Корректность состояния подтверждается криптографически (STARK/SNARK) При сокрытии данных вывод средств зависит от оператора
Высокая пропускная способность для NFT, игр и биржевых стаканов Более низкая оценка безопасности у аналитиков (L2BEAT)
Данные не раскрываются публично — меньше фронтраннинга Меньшая устойчивость к цензуре, чем у роллапов
Режим Volition позволяет выбирать уровень гарантий по каждой операции После EIP-4844 преимущество в цене сократилось
Сравнение трёх популярных L2 по источнику гарантий: криптография, данные и время вывода.

Параметр Validium ZK-rollup Optimistic rollup
Доказательства Validity proofs в L1 Validity proofs в L1 Fraud proofs (оспоримый период)
Данные транзакций Вне L1, у комитета (DAC) В L1: calldata или блобы В L1: calldata или блобы
Стоимость операции Самая низкая Средняя (зависит от цены блобов) Средняя
Вывод средств Быстрый, но зависит от данных Быстрый после доказательства До недели (период оспаривания)
Главный риск Сокрытие данных комитетом Ошибка в схеме доказательств Цензура в период оспаривания
Примеры Immutable X, Sorare, StarkEx-валидиумы Starknet, zkSync, Scroll, Linea Arbitrum, Base, Optimism

Частые вопросы

Что такое validium простыми словами?

+

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

Чем validium отличается от ZK-роллапа?

+

Только местом хранения данных. В ZK-роллапе данные публикуются в L1 (в calldata или блобах), поэтому любой может восстановить состояние и вывести средства. В валидиуме данные у комитета, и при их сокрытии вывод зависит от оператора.

Что такое DAC и почему он важен?

+

Data Availability Committee — группа подписантов, обязующихся хранить данные и выдавать их по запросу. От добросовестности DAC зависит, сможет ли пользователь самостоятельно доказать своё состояние и вывести активы.

Какие проекты использовали validium?

+

Immutable X и Sorare на StarkEx — для NFT и игр, dYdX — для деривативов (позже перешёл на собственную цепь в Cosmos), DeversiFi/Bitfinex L2. Часть проектов предлагает режим Volition, где пользователь выбирает валидиум или роллап для каждой операции.

Актуален ли validium после удешевления блобов?

+

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

Итог

Validium — это L2-решение, которое публикует в базовом слое только ZK-доказательства и корень состояния, а данные транзакций хранит вне цепи под ответственность комитета доступности данных. Модель придумала StarkWare для StarkEx, её использовали Immutable X, Sorare и dYdX, но после удешевления блобов в Ethereum часть проектов вернулась к роллап-режиму.

Связанные термины

Теги по теме

Источники и полезные ссылки