ZK-Rollups: агрегация и проверка транзакций

ZK-Rollups, используемые в ZKBase, являются решением для масштабирования Layer-2, которое позволяет уменьшить нагрузку на Ethereum Layer-1, путем упаковки нескольких офчейн-транзакций в один пакет для верификации. Эти транзакции обрабатываются офчейн, чтобы снизить нагрузку данных главной сети. Для обеспечения верификации транзакций без раскрытия конкретных деталей ZK-Rollups используют доказательства с нулевым разглашением (ZKP).

Как только внебиржевая транзакция будет упакована и проверена, сгенерированное подтверждение будет отправлено на уровень 1 Ethereum. Основная сеть будет проверять это подтверждение, чтобы гарантировать правильную обработку этих транзакций без необходимости повторного выполнения каждой транзакции по отдельности. Такая архитектура существенно сокращает объем данных, хранимых на цепи, и значительно увеличивает пропускную способность транзакций, делая ZK-роллапы эффективными при обработке большого количества транзакций, сохраняя при этом безопасность механизма согласия Ethereum.

Система доказательства знаний Plonk

Plonk («Перестановки над базисами Лагранжа для экуменических неинтерактивных аргументов знания») — это система, которая генерирует краткие криптографические доказательства, которые проверяют правильность пакетов транзакций. Система предназначена для обработки сложности нескольких транзакций без значительного увеличения вычислительных требований. На практике Plonk используется для генерации доказательств, подтверждающих валидность переходов состояний в ZK-Rollups.

Эти переходы состояний могут включать передачу токенов, обновление баланса счета или выполнение других смарт-контрактов. После генерации доказательства оно отправляется на верификацию на уровень 1 Ethereum. Эффективность Plonk заключается в его способности значительно снизить вычислительные затраты на генерацию доказательств, что является важным фактором для обеспечения безопасности при расширении применения блокчейна.

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

Автономные вычисления с серверами уровня 2

Цепное вычисление является важной частью сервера ZKBase Layer-2, который обрабатывает большую часть транзакций вне базового уровня Ethereum. Сервер Layer-2 отвечает за упаковку транзакций, выполнение их вне цепи и отправку криптографических доказательств этих транзакций только на основную сеть Ethereum. Обработка большей части вычислительной нагрузки вне цепи значительно снижает затраты на газ, необходимые для операций в цепи.

Архитектура ZKBase включает в себя несколько ключевых компонентов, таких как оффчейн пул памяти для хранения неподтвержденных транзакций и менеджер состояния для поддержания баланса счета и состояния в среде Layer-2. Эти компоненты сотрудничают, чтобы обеспечить эффективную обработку транзакций серверами Layer-2 и избежать затопления основной сети Ethereum большим объемом данных. После обработки транзакции сервер генерирует доказательство корректности, которое затем отправляется на главную сеть Ethereum. Благодаря крайне малому объему данных в доказательстве, газовая плата на цепи существенно снижается, обеспечивая пользователям более выгодный опыт торговли.

Система обеспечивает криптографические гарантии, предоставленные нулевым разглашением, чтобы при передаче вычислительных задач на серверы уровня 2 сохранить безопасность и точность.

высокие технологии

• ZK-роллапы пакетируют и проверяют несколько транзакций вне цепи, а затем отправляют криптографическое доказательство в Ethereum.
• Система доказательства Plonk генерирует компактные криптографические доказательства, проверяющие транзакции без необходимости повторного выполнения.
• ZKBase использует серверы Layer-2 вне цепи для обработки транзакций, что значительно снижает комиссию за Gas в цепи.
• Менеджер состояний и пул памяти управляют состоянием учетных записей и очередью транзакций вне цепи.
• Proof of validity ensures that off-chain state transitions are correctly applied to Ethereum, maintaining security and reducing computational burden.