Определение
Доказательство достоверности — это криптографическое доказательство, которое математически демонстрирует корректность пакета переходов состояний (транзакций) без необходимости повторного выполнения этих транзакций проверяющим. В контексте масштабируемости блокчейна доказательства достоверности являются основной технологией, лежащей в основе ZK-Rollups (роллапов с нулевым разглашением), где тысячи транзакций выполняются вне блокчейна, сжимаются в одно доказательство и отправляются на базовый уровень (обычно Ethereum) для проверки. Ключевое свойство доказательства достоверности заключается в том, что его легко проверить с вычислительной точки зрения, но сложно сгенерировать — проверяющий на Ethereum может подтвердить корректность доказательства за миллисекунды, в то время как доказывающий может потратить минуты или часы на его вычисление. Два основных типа доказательств достоверности, используемых в блокчейне, — это zk-SNARKs (Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge) и zk-STARKs (Zero-Knowledge Scalable Transparent Arguments of Knowledge). Доказательства действительности обеспечивают немедленную окончательность: как только доказательство проверено и принято на базовом уровне, соответствующие транзакции безвозвратно подтверждаются. Это отличается от доказательств мошенничества (используемых оптимистичными роллапами), которые предполагают действительность транзакций и оспаривают их только в случае обнаружения мошенничества в течение периода оспаривания. Аспект «нулевого знания» означает, что доказательства могут проверять вычисления, не раскрывая базовые данные транзакций, что позволяет создавать приложения, обеспечивающие конфиденциальность. Доказательства действительности считаются одной из наиболее перспективных технологий для масштабирования блокчейнов, сохраняя при этом гарантии безопасности базового уровня 1.
Происхождение и история
| Время | События |
| 1985 | Голдвассер, Микали и Ракофф вводят концепцию доказательств с нулевым разглашением в своей основополагающей статье «Сложность знаний в интерактивных системах доказательств». |
| 1992 | Теоретические основы для кратких доказательств закладываются с помощью теоремы о вероятностно проверяемых доказательствах (PCP). |
| 2012 | Битански и др. дают формальное определение SNARK (Succinct Non-Interactive Arguments of Knowledge — краткие неинтерактивные аргументы знания). |
| 2016 | Zcash запускается как первая крупная криптовалюта, использующая zk-SNARKs для частных транзакций. |
| 2018 | Эли Бен-Сассон и его команда из StarkWare представляют zk-STARKs — прозрачные механизмы установления соединения, обеспечивающие устойчивость к квантовым атакам и доказательства достоверности. |
| 2019 | Возникает концепция ZK-Rollups: использование доказательств достоверности для масштабирования Ethereum путем проверки пакетных вычислений вне блокчейна. |
| 2020 | Loopring и zkSync запускают предварительные реализации ZK-Rollup в основной сети Ethereum для перевода токенов. |
| 2021-2023 | StarkNet (использующая STARKs) и zkSync Era (использующая SNARKs) запускают универсальные ZK-Rollups с поддержкой смарт-контрактов. |
| 2023 | Запущены Polygon zkEVM, Scroll и Linea, что делает возможным создание эквивалентных EVM ZK-Rollups. |
| 2024-2025 | Доказательства достоверности выходят за рамки простого агрегирования данных и включают в себя межцепочечную проверку, подтверждающую вычисления в разных блокчейнах. |
«Доказательства достоверности позволяют нам свести недели вычислений к одному мгновенно проверяемому математическому утверждению. Это будущее масштабируемости блокчейна». — Эли Бен-Сассон, соучредитель StarkWare.
Как это работает
«Доказательство действительности в ZK-Rollup ===============================
Вне блокчейна (Rollup Sequencer / Prover) ┌──────────────────────────────────────────┐ │ │ │ 1. Сбор транзакций (TX1…TX5000)│ │ │ │ 2. Выполнение всех транзакций │ │ State_old ──► State_new │ │ │ │ 3. Генерация доказательства действительности │ │ ┌──────────────────────┐ │ │ │ ПРОВЕРЯЮЩИЙ (тяжелая работа) │ │ │ │ │ │ │ │ Входы: │ │ │ │ – State_old │ │ │ │ – Transactions │ │ │ │ – State_new │ │ │ │ │ │ │ │ Выходы: │ │ │ │ π (доказательство) │ │ │ │ ~200-500 байт │ │ │ └──────────────────────┘ │ │ │ │ 4. Отправить в L1: {State_new, π} │ └───────────────────────────────────────┘ │ ▼ ON-CHAIN (Ethereum L1) ┌────────────────────────────────────────┐ │ │ │ 5. Проверка доказательства │ │ ┌───────────────────────┐ │ │ │ ПРОВЕРЯЮЩИЙ (быстрый) работа) │ │ │ │ │ │ │ │ Проверка: π доказывает, что │ │ │ │ State_old + TXs = │ │ │ │ State_new правильно │ │ │ │ │ │ │ │ Стоимость: ~200K-500K газа │ │ │ │ Время: миллисекунды │ │ │ └─────────────────────┘ │ │ │ │ 6. Если действительно → Принять состояние_новое │ │ ОКОНЧАТЕЛЬНОСТЬ НЕМЕДЛЕННАЯ │ └──────────────────────────────────────┘
Доказательство действительности против доказательства мошенничества:
Подтверждение действительности (ZK-Rollup) ─────────────────────────── Пакет транзакций ──► Подтвердить правильность ──► Отправить подтверждение ──► Немедленная окончательная обработка Время: Генерация подтверждения (~10-30 мин) + подтверждение L1
Защита от мошенничества (оптимистичный сводный отчет) ───────────────────────────────── Пакет транзакций ──► Предполагается правильность ──► 7-дневный период проверки ──► Время окончательности: 7 дней (если не будет оспорено)
| Характеристика | ZK-SNARKs | zk-STARK |
| Размер пробы | Очень маленький размер (~200 байт) | Больший размер (~50-200 КБ) |
| Время проверки | Очень быстро (~10 мс) | Быстро (~50-100 мс) |
| Время проверки | От среднего до высокого | Высокий |
| Надежная установка | Обязательный (церемония) | Не требуется (прозрачный) |
| Квантовое сопротивление | Нет (основывается на эллиптических кривых) | Да (на основе хеширования) |
| Использован | zkSync, Polygon zkEVM, Scroll | StarkNet, StarkEx |
| Математический фундамент | Пары эллиптических кривых | Хэш-функции, протокол FRI |
Простыми словами
- Математический рецептПредставьте, что вы собрали пазл из 10 000 деталей. Вместо того чтобы просить кого-то проверить правильность сборки, собрав весь пазл заново (повторив все действия), вы вручаете ему небольшой чек, который математически доказывает, что пазл собран. Этот чек — доказательство его подлинности, крошечное, но неопровержимое.
- Сжать тысячи в одноДоказательство действительности сжимает проверку тысяч транзакций в одно небольшое доказательство. Эфириум Проверка может быть выполнена за одну операцию. Вместо того чтобы обрабатывать 5,000 транзакций по отдельности, Ethereum проверяет одно доказательство и доверяет тому, что все 5,000 были верны.
- Доказать, не показываяСвойство «нулевого знания» означает, что вы можете доказать правильность вычислений, не раскрывая фактических данных. Например, вы можете доказать, что у вас достаточно средств для совершения транзакции, не раскрывая точный баланс — как доказать, что вам больше 21 года, не указывая дату рождения.
- Мгновенная окончательность против периода ожиданияВ случае с доказательствами действительности, как только доказательство подтверждено в сети Ethereum, транзакции немедленно завершаются. Это отличается от оптимистичных роллапов, где необходимо ждать 7 дней для проверки. Доказательства действительности заменяют доверие математическими расчетами.
- Сложно создать, легко проверитьСоздание доказательства действительности требует значительных вычислительных ресурсов (мощные серверы, обработка занимает от нескольких минут до нескольких часов). Но проверка доказательства предельно проста — смарт-контракт Ethereum может проверить его за доли секунды. Именно эта асимметрия делает технологию мощной.
Примеры из реального мира
| Сценарий | Реализация | Результат |
| ZK-Rollup Scaleing | zkSync Era обрабатывает транзакции Ethereum вне блокчейна и отправляет подтверждения действительности в основную сеть Ethereum. | Пользователи платят в 5-10 раз меньше комиссий, чем в сети Ethereum L1, при этом получая гарантии безопасности Ethereum, основанные на математических доказательствах. |
| Частные транзакции | Zcash использует zk-SNARKs для подтверждения действительности транзакций без раскрытия отправителя, получателя или суммы. | Полностью конфиденциальные криптовалютные транзакции, которые, тем не менее, могут быть проверены сетевыми узлами, решают проблему компромисса между конфиденциальностью и прозрачностью. |
| Кросс-цепные мосты | Succinct Labs и Polymer используют доказательства достоверности для проверки состояния одного блокчейна в другом. | Децентрализованная межцепочечная связь без использования мультиподписей или комитетов — доказательство математически гарантирует состояние исходной цепочки. |
| Децентрализованная идентификация | Пользователи предоставляют подтверждающие документы, удостоверяющие их соответствие определенным критериям (возраст, диапазон кредитного рейтинга), не раскрывая при этом личные данные. | KYC с сохранением конфиденциальности и проверка личности, отвечающая требованиям соответствия без раскрытия конфиденциальной информации. |
Преимущества
| Преимущества | Описание |
| Немедленная завершенность | Сделки считаются завершенными сразу после проверки подтверждения на уровне L1 — нет 7-дневного периода проверки, как в случае с Optimistic Rollups. |
| Математическая безопасность | Безопасность основывается на математических расчетах (криптографических предположениях), а не на экономических стимулах или допущениях честного большинства. |
| Сжатие данных | Доказательства достоверности позволяют проверять вычисления без необходимости получения проверяющим всех базовых данных транзакции, что обеспечивает чрезвычайно высокую степень сжатия. |
| Возможность обеспечения конфиденциальности | Право собственности с нулевым разглашением позволяет совершать частные сделки и выборочно раскрывать информацию — доказывать истинность чего-либо, не раскрывая причин. |
| Масштабируемость | Одно доказательство может подтвердить миллионы переходов состояний, что теоретически обеспечивает неограниченную пропускную способность вне блокчейна. |
Недостатки и риски
| Снижение | Описание |
| Централизация доказательств | Для генерации доказательств достоверности требуется дорогостоящее специализированное оборудование, что приводит к централизации узлов проверки. |
| Вычислительная стоимость | Генерация доказательств требует чрезвычайно больших ресурсов, что приводит к увеличению задержек и инфраструктурных издержек для операторов ролл-аппинга. |
| Доверенная настройка (SNARKs) | Для работы zk-SNARK требуется одноразовая процедура установления доверенного соединения; в случае взлома могут быть незаметно сгенерированы поддельные подтверждения. |
| Сложность и аудиторский риск | Схемы ЗК и системы доказательств математически сложны, что затрудняет аудит и увеличивает риск обнаружения скрытых ошибок. |
| Проблемы совместимости EVM | Создание доказательств достоверности для произвольных EVM Выполнение технически сложно; многие ZK-Rollups пока не полностью эквивалентны EVM. |
Советы по управлению рисками:
- При использовании платформ ZK-Rollup убедитесь, что система подтверждения прошла несколько независимых проверок безопасности.
- Уточните, использует ли накопительное обновление SNARK (требуется доверенная настройка) или STARK (прозрачное, без доверенной настройки).
- Контроль за децентрализацией системы проверки — наличие единого проверяющего субъекта создает риски цензуры и нарушения работоспособности.
- Следует учитывать, что технология ZK быстро развивается; ранние реализации могут иметь ограничения, которые будут устранены в более поздних версиях.
FAQ
В: В чем разница между подтверждением действительности и подтверждением мошенничества?
А: Доказательство действительности математически подтверждает корректность выполнения пакета транзакций до его принятия. Доказательство мошенничества предполагает корректность пакета и предоставляет любому лицу 7 дней на предоставление доказательств мошенничества. Доказательства действительности обеспечивают мгновенную окончательную обработку, но требуют больших вычислительных затрат. Доказательства мошенничества дешевле, но требуют длительного периода ожидания и полагаются на то, что хотя бы одна честная сторона будет контролировать цепочку транзакций.
В: Являются ли доказательства достоверности тем же самым, что и доказательства с нулевым разглашением?
А: Не совсем. Все доказательства с нулевым разглашением являются доказательствами корректности (они доказывают правильность вычислений), но не все доказательства корректности являются доказательствами с нулевым разглашением. Свойство «нулевого разглашения» конкретно означает, что доказательство ничего не раскрывает об исходных данных, кроме того факта, что утверждение истинно. Доказательство корректности может подтвердить правильность, при этом раскрывая данные транзакции.
В: Почему для zk-SNARK требуется настройка доверенного сервера, а для zk-STARK — нет?
A: zk-SNARKs основаны на криптографии на эллиптических кривых, которая требует генерации секретных параметров во время первоначальной «церемонии». Если кто-либо сохранит эти секретные параметры, он сможет подделать доказательства. Многосторонние вычислительные церемонии снижают этот риск. zk-STARKs используют хеш-функции и алгебраические методы, которые не требуют никаких секретных параметров, что делает их «прозрачными» — не требуется никаких предположений о доверии.
В: Сколько времени занимает создание подтверждения действительности?
A: Время генерации доказательства зависит от системы и размера пакета. Для ZK-Rollup, обрабатывающего несколько тысяч транзакций, генерация доказательства обычно занимает 5-30 минут при использовании специализированного оборудования GPU или FPGA. Ведутся активные исследования по сокращению этого времени до секунд за счет улучшения алгоритмов и использования специализированных аппаратных ускорителей.
В: Можно ли применять доказательства действительности вне блокчейна?
А: Да. Доказательства достоверности (в частности, доказательства с нулевым разглашением) находят применение в проверке личности (доказательство возраста без раскрытия даты рождения), обеспечении целостности цепочки поставок (доказательство подлинности продукции без раскрытия коммерческой тайны), системах голосования (доказательство правильности подсчета голосов без раскрытия самого голоса) и машинном обучении (доказательство правильности обучения модели на достоверных данных).
Источники
- Голдвассер, Микали, Ракофф — «Сложность знаний в интерактивных системах доказательств» (1985)
- Бен-Сассон и др. — «Масштабируемая, прозрачная и постквантовая безопасная вычислительная целостность» (статья zk-STARKs, 2018 г.)
- Фонд Ethereum — План развития, ориентированный на роллапы, и спецификации доказательств действительности.
- Виталик Бутерин — «Неполное руководство по скручиванию сигарет» (2021)
- L2Beat — Анализ системы безопасности и доказательства ZK-Rollup
Совет от UPay: При выборе между решениями второго уровня (Layer 2 ) роллапы на основе подтверждения действительности (ZK-Rollups) обеспечивают более быстрый вывод средств обратно в Ethereum по сравнению с оптимистичными роллапами, которые требуют 7-дневного периода проверки. Если вы часто перемещаете активы между уровнями L1 и L2, мгновенная окончательность подтверждений действительности может значительно сократить время ожидания и повысить эффективность использования капитала.
Предупреждение: Данная информация предназначена исключительно для образовательных целей и не является финансовой консультацией. Всегда проводите собственное исследование (DYOR) и консультируйтесь с квалифицированными финансовыми консультантами, прежде чем принимать инвестиционные решения.
UPay — Создание криптоэнциклопедии
