Обзор Linea и zkEVM
Linea — это L2-цепочка по модели zk-роллап, которая обрабатывает большинство транзакций вне цепочки, а затем отправляет проверенные доказательства на основную сеть Ethereum.
Linea использует доказательства нулевого разглашения для проверки подлинности транзакций L2 без раскрытия деталей транзакций.
Сеть Linea высокая совместимость с Ethereum: EVM-эквивалентна, поддерживает большинство операций, поэтому существующие контракты на Solidity легко переносятся на Linea без значительных изменений.
Linea является zkEVM типа 2, что эквивалентно настоящему EVM, но использует zk-доказательства для обеспечения корректности.
Как работает техника
1. Сбор транзакций (Sequencing)
Транзакции от пользователей собираются секвенсером, упорядочиваются в ‘пакет’ и создают блок L2, определяя новое состояние цепи L2.
2. Обработка вне цепи (Off-chain execution)
Транзакции выполняются вне цепи для вычисления нового состояния, создавая следы выполнения.
Выполнение вне цепи помогает снизить затраты по сравнению с обработкой каждой транзакции узлом Ethereum mainnet.
3. Генерация доказательства (zk-Proof generation)
Использование zk-SNARK для создания доказательства того, что транзакции в пакете были выполнены правильно.
Linea использует механизм рекурсивного ‘proof stack’ для оптимизации производительности, объединяя несколько подпроцессов в одно доказательство.
Имеет механизм сжатия данных для уменьшения размера данных, которые необходимо загрузить на Ethereum, при этом доказательство может быть распаковано при проверке.
4. Проверка в цепи (On-chain verification)
Доказательство и новое состояние отправляются в смарт-контракт на Ethereum.
Контракт для проверки доказательства: если оно действительно, новое состояние принимается, сеть L2 завершает пакет.
Ethereum mainnet требует только проверки доказательства, не зная подробностей транзакции, экономя газ.
5. Безопасность & стоимость
Не нужно ждать ‘период проверки мошенничества’, как в оптимистичных роллапах, вывод средств быстрее.
Низкие газовые сборы благодаря пакетной обработке нескольких транзакций и сжатых данных.
Сочетание zk-SNARK и сетевого шифрования для обеспечения корректности и устойчивости к квантовым атакам.
6. Дружелюбие к разработчикам
Эквивалентность EVM позволяет разработчикам Ethereum переносить контракты в Linea без необходимости изменения кода.
Поддержка знакомых инструментов разработчиков, таких как MetaMask, Truffle, Infura.
План децентрализации секвенсера и провера в будущем.
Выдающееся преимущество Linea zkEVM
Скорость & высокая производительность благодаря обработке вне цепи.
Низкая стоимость транзакций по сравнению с Ethereum mainnet.
Высокая безопасность с помощью zk-SNARK + сетевого шифрования.
Знакомый опыт разработки, легкость переноса контрактов Ethereum.
Вывод средств быстрее и безопаснее, чем у оптимистичных роллапов.
Имеет высокий потенциал децентрализации в будущем.
