Набор инструментов для разработки цепей (CDK), разработанный Polygon, предлагает разработчикам низкозатратный вариант ZK-Validium, но этот выбор также влечет за собой некоторые потенциальные риски. Это решение переносит доверие к доступности данных с математических гарантий уровня L1 на экономическую игру вне блокчейна комитета по доступности данных (DAC).

Это изменение вызывает ключевой вопрос: каковы будут последствия для сети, если DAC Validium столкнется с серьезными проблемами, такими как массовая хакерская атака, сбой системы или злонамеренный сговор?

Анализ показывает, что в этом случае вся L2 цепочка может оказаться в "замороженном" состоянии. Хотя активы пользователей не будут непосредственно украдены — благодаря тому, что нулевые знания на уровне L1 продолжают защищать корректность вычислений, эти активы не смогут быть перемещены и будут навсегда заблокированы на уровне L2. Это связано с тем, что пользователи не могут сгенерировать необходимые доказательства выхода, которые требуют данные о Меркле, хранящиеся в DAC.

Более важно, повлияет ли такая заморозка одной цепи на более широкую экосистему, особенно на агрегирующий уровень (AggLayer)? Будет ли агрегатор бесконечно ждать, пока замороженная цепь Validium подаст доказательство L2, когда он пытается построить агрегированную партию? Если агрегирующий уровень окажется в таком состоянии бесконечного ожидания, это может привести к остановке процесса расчетов всех цепей CDK на уровне L1.

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