ZK Rollups: как работает технология будущего блокчейнов
ZK-доказательства — магия криптографии. Вы доказываете, что знаете пароль, не называя его. И эта магия уже масштабирует Ethereum. Объясняем на пальцах — без PhD в математике.
Обновлено: 15 декабря 2024 г.
Что такое ZK-доказательства
Zero-Knowledge Proof (ZK-доказательство) — криптографический метод, позволяющий доказать что-то, не раскрывая само знание:
Аналогия: Представьте закрытую комнату с секретным паролем. ZK-доказательство позволяет вам доказать, что вы знаете пароль, не называя его.
В блокчейне: - Вместо проверки каждой транзакции по отдельности, ZK rollup создаёт математическое доказательство корректности ВСЕХ транзакций - Ethereum L1 проверяет одно доказательство вместо тысяч транзакций - Это экспоненциально снижает нагрузку на основную сеть
Два основных типа ZK-доказательств: zk-SNARKs (меньше, быстрее верифицировать) и zk-STARKs (не требуют trusted setup, квантово-устойчивы).
ZK vs Optimistic Rollups
Сравнение двух подходов к масштабированию:
Optimistic Rollups (Arbitrum, Base): - Транзакции считаются валидными «оптимистично» - 7-дневный период для оспаривания (challenge period) - Вывод средств на L1 занимает ~7 дней - Проще в реализации, более развитая экосистема
ZK Rollups (zkSync, StarkNet): - Математическое доказательство валидности каждого батча - Мгновенная финализация (минуты, не дни) - Вывод на L1 за минуты-часы - Сложнее в реализации, но мощнее
ZK Rollups технически превосходят Optimistic, но пока отстают по экосистеме и совместимости с EVM.
Ключевые ZK проекты
- zkSync Era — ZK rollup от Matter Labs, полная EVM-совместимость
- StarkNet — ZK rollup от StarkWare, собственный язык Cairo
- Scroll — ZK rollup с фокусом на EVM-эквивалентность
- Polygon zkEVM — ZK от Polygon, часть Polygon 2.0
- Linea — ZK rollup от Consensys (создатели MetaMask)
Все эти проекты находятся на разных стадиях децентрализации и зрелости. zkSync и StarkNet лидируют по TVL и активности.
Инвестиционный потенциал
ZK технология — долгосрочная ставка:
- ZK аирдропы — zkSync, StarkNet, Scroll, Linea раздали/планируют токены
- ZK инфраструктура — проекты, строящие инструменты для ZK экосистемы
- Privacy — ZK-доказательства для приватных транзакций
Riski: технология сложная, adoption медленнее чем у Optimistic. Но долгосрочно ZK считается стандартом масштабирования.
MetriClan отслеживает метрики ZK rollups: TVL, транзакции, уникальные адреса для определения момента перелома adoption.