В этой статье речь пойдет о роллапах — самой популярной категории решений второго уровня (L2) для Ethereum, таких как Optimism, Arbitrum, zkSync, Base, Blast и др. И хотя мы будем для удобства употреблять термины «роллап» и «L2» параллельно, сразу же подчеркнем, что это не одно и то же.
L2 — это любое решение, которое позволяет оптимизировать работу с конкретным блокчейном (L1) — сэкономить время и деньги, запускать даппы, которые L1 по техническим причинам не поддерживает, и т.п. Например, Lightning Network — это L2 для Биткойн, который оптимизирует платежи; Polygon, кстати, тоже в свое время запускался как L2 для Ethereum.
Роллап (от англ. «Roll up» — «сворачивать») — это особый тип L2-чейнов, которые «сворачивают» наборы транзакций и в таком свернутом виде отправляют их на Ethereum (или другой L1). Их преимущество — сравнительно высокая скорость и низкие комиссии по сравнению с L1.
В общем виде роллап работает так:
- Роллап обрабатывает и подтверждает транзакции пользователей, как любой другой блокчейн. Когда транзакций набирается достаточно, информация о них собирается в «сверток», который отправляется (вроде посылки) в сеть Ethereum и регистрируется там на блокчейне.
- Таким образом, транзакции с роллапа в том или ином виде попадают на основной блокчейн, хотя в остальном роллап работает совершенно независимо от L1, имеет собственную экосистему даппов и т.п.
Главная трудность разработки роллапов заключается в том, чтобы доказать, что все транзакции в «свертке» — достоверные (ведь валидаторы L1 их не проверяли). Решение зависит от типа роллапа:
1. Оптимистический роллап просто предполагает, что все транзакции, отправленные на Ethereum, валидны. При этом у заинтересованных участников есть неделя с момента поступления «свертка», чтобы оспорить любую транзакцию в нем. По этой причине транзакции оптимистических роллапов финализируются на L1 только через 7 дней, хотя для обычных пользователей это представляет собой проблему только при отправке криптовалюты с роллапа на Ethereum (вы получите ваш ЕТН на L1 лишь через неделю). К этому типу относятся большинство популярных роллапов: Arbitrum, Optimism, Base и др.
2. ZK-роллапы генерируют особые криптографические доказательства, которые позволяют L1 удостовериться в валидности транзакций, не проверяя их. Отсюда термин «zero knowledge (“нулевое знание”): проверяющей системе ничего не нужно знать о том, что она проверяет, — доказательства достаточно. При этом содержимое транзакции финализируется сразу же после поступления на L1, без всяких семидневных окон.
3. К типу ZK-роллапов относятся такие L2, как zkSync и Polygon zkEVM. Ряд экспертов, включая Виталика Бутерина, считают, что будущее именно за этой технологией, хотя генерация ZK-доказательств — трудоемкий и дорогостоящий процесс.