Битва за масштабування Layer-2: оптимістичний Rollup проти нульових знань Rollup, хто ж стане майбутнім?

Блокчейн заблокований став хронічною хворобою. Ethereum, з газовими витратами у десятки доларів, відлякує роздрібних інвесторів, тому рішення Layer-2 для масштабування стали на часі. Серед них найбільш популярні два напрямки — оптимістичний Rollup та нульове знання Rollup (zk Rollup) — які ведуть запеклу боротьбу за домінування.

Як працюють два варіанти

Просто кажучи, Rollup — це “упакування”: зібрати велику кількість транзакцій для обробки поза ланцюгом, а в кінці лише повернути стиснуті результати на основний ланцюг. Перевага полягає в тому, що пропускна здатність може зрости в 10-100 разів, а витрати на газ суттєво зменшаться.

Але логіка верифікації двох варіантів абсолютно різна:

Логіка оптимістичного Rollup: спочатку припустимо, що всі транзакції вірні (це і є “оптимістичний” підхід), чекаючи, щоб хтось оскаржив. Якщо трейдер виявляє помилку, протягом “періоду перевірки” (зазвичай 7 днів) він може подати заперечення, і протокол повторно виконає транзакцію та покарає злочинця. Ця система трохи нагадує “презумпцію невинуватості, поки не буде доказів обвинувачення”.

Логіка нульових знань Rollup: під час подання кожної партії транзакцій оператор одночасно генерує математичне підтвердження (підтвердження нульових знань), яке доводить “Я перевірив, що ці транзакції є правильними”, не розкриваючи конкретний зміст транзакцій. Верифікатору достатньо перевірити це підтвердження, щоб бути впевненим у дійсності транзакцій.

Де основні відмінності

Фінальність угоди: zk Rollup стає остаточним одразу після підтвердження перевірки, користувач може миттєво вивести кошти. Оптимістичний Rollup повинен чекати закінчення 7-денного періоду підтвердження, щоб на 100% бути впевненим, що виведення коштів може зайняти дуже багато часу — це найбільша різниця в досвіді користувачів.

Обсяг даних на ланцюзі: Оптимістичний Rollup повинен записати всі дані транзакцій на ланцюг для перевірки, займаючи цінний простір у блоці. zk Rollup потребує записати лише одну стиснуту нульову доказ, обсяг даних може зменшитися в десятки разів, газові витрати, відповідно, будуть дешевшими.

Безпекове припущення: Оптимістичний Rollup покладається на припущення “принаймні один чесний учасник спостерігає за мережею” — якщо ніхто не виявить злочинних дій, погані угоди пройдуть. Безпека zk Rollup походить з самої математики, оператори не можуть здійснити зло, користувачам не потрібно хвилюватися про зраду.

Технічна складність: оптимістичний Rollup має просту логіку, яка вже була перевірена в таких проектах, як Arbitrum, Optimism тощо. zk Rollup передбачає складну криптографію, високу вартість обчислень, і наразі швидко оптимізується (zkSync, Starkware тощо працюють над цим).

Чому всі ще використовують

Оптимістичний Rollup, завдяки ранньому запуску, зрілій технології та найповнішій екосистемі, наразі все ще має перевагу в TVL. Але zk Rollup, завдяки більш швидкому фіналізації угод і нижчому газу, приваблює велику кількість високочастотних трейдерів та користувачів, чутливих до витрат.

Майбутня структура, ймовірно, буде співіснуванням: різні сценарії застосування обиратимуть різні рішення. Для платежів і транзакцій zk прагне швидкості та вартості, а для складних контрактних взаємодій використовується оптимістичний підхід, оскільки екосистема є більш зрілою.

Мінімум: жоден з варіантів не є ідеальним, битва за масштабування Блокчейн тільки почалася.