От нуля до ZK Concept Bites #5: Сжатие В нашем последнем Concept Bite мы говорили о том, когда свойство "ноль знаний" действительно имеет значение для конфиденциальности. Но конфиденциальность — это лишь одна из двух суперсил ZK. Другая, сжатие, — это то, что Brevis использует почти в каждой интеграции, которую мы выпускаем. 🚀 Сжатие означает, что доказательство значительно меньше, чем вычисление, которое оно подтверждает. Обработайте 100,000 транзакций, и полученное доказательство будет всего лишь несколько килобайт. Проверьте выполнение полного блока Ethereum, и доказательство поместится в один вызов в сети. Размер доказательства остается примерно постоянным, независимо от того, насколько тяжелой была исходная нагрузка. Вот где становится интересно. Генерация доказательства на самом деле стоит больше, чем просто выполнение самого вычисления, потому что доказатель должен выполнять дополнительные криптографические операции поверх сырого выполнения. Но проверка этого доказательства стоит почти ничего по сравнению с этим. Отношение выглядит так: Доказательство > Выполнение >> Проверка. Эта структура затрат именно то, что нужно блокчейнам. Сегодня каждая транзакция Ethereum повторно выполняется сотнями тысяч валидаторов независимо, та же работа повторяется по всей сети. С помощью сжатых доказательств одна сторона выполняет тяжелую работу и производит компактное доказательство. Все остальные просто проверяют его. Сеть переходит от "каждый делает все" к "вычислить один раз, проверить везде." 📜 Вот почему Brevis может предлагать такие вещи, как запросы исторических данных для VIP-уровней сборов PancakeSwap или распределение миллиардов токенов вознаграждений для Linea, не увеличивая затраты на газ. Вычисление происходит вне сети, где это дешево. Доказательство попадает в сеть, где проверка фиксирована и доступна, независимо от того, сколько данных было обработано за кулисами. Сжатие также является причиной, по которой реальное время доказательства блоков Ethereum в Pico Prism вообще работает. Доказательство выполнения целого блока и сжатие его в нечто, что смарт-контракт может проверить за миллисекунды, было бы бессмысленно, если бы само доказательство было таким же большим, как данные блока. Соотношение сжатия — это то, что делает всю модель жизнеспособной. Читать Часть 2: