Что такое технология роллапов (Rollups) и как она помогает масштабировать Ethereum?

Главное «Роллапы» (Rollups) — основная технология для протоколов второго уровня для Ethereum. Во многих роллап-решениях применяется метод доказательства с нулевым разглашением. Такие технологии объединены в группу под названием ZK-Rollups.Использование роллапов позволяет обеспечить высокую приватность транзакций и масштабировать основную сеть Ethereum: множество транзакций объединяется в единый пакет, который подтверждается в блокчейне первого уровня.В экосистеме Ethereum cуществует несколько популярных протоколов второго уровня на основе ZK: StarkNet, zkSync, Loopring, Polygon Miden и другие. Существует также отдельная технология Optimistic Rollups, которая используется в L2-платформах Arbitrum One и Optimism.

Как работает доказательство с нулевым подтверждением? Метод доказательства с нулевым разглашением (Zero-knowledge proof, ZKP) сформулировали ученые Шафи Голдвассер и Сильвио Микали в 1985 году в статье «Сложность знаний интерактивных систем доказательств». Они предложили способ доказательства достоверности сообщения без раскрытия его деталей.

https://forklog.com/cryptorium/chto-takoe-dokazatelstvo-s-nulevym-razglasheniem-zero-knowledge-proof Для этого нужно сгенерировать специальное «подтверждение», с помощью которого проверяющий может удостовериться в правильности исходных данных. Отправителю необходимо выполнить ряд вычислений, которые будут верными, если он обладает необходимыми знаниями. Проверяющий знает значение правильного ответа, что позволяет подтвердить достоверность владения информацией. Таким образом, обе стороны имеют только ограниченные данные о содержании сообщения.

Для демонстрации метода рассмотрим ситуацию, в которой дальтонику, не различающему цвета, демонстрируют два шара. Один из них