Почему роллапам нужен уровень доступности данных

Ethereum давно ищет решение проблемы масштабируемости, и роллапы стали основным подходом. Но их работа зависит от надежного уровня доступности данных (DA) в Ethereum.

Иллюзия целостности выполнения

ZK и оптимистичные роллапы гарантируют целостность выполнения, но для вывода средств необходима полная история состояний. Оптимистичные роллапы требуют наблюдателей, а ZK — криптографических доказательств, но оба нуждаются в DA.

EIP-4844: Улучшение DA в Ethereum

Сейчас роллапы используют дорогой calldata. EIP-4844 вводит «транзакции с блобами» — дешевые единицы хранения для DA. Преимущества:

• Экономия: Блоб-данные на 80% дешевле calldata.
• Отдельный рынок газа: Блобы имеют свою систему расчета комиссий.
• Подготовка к будущему: Основа для полного Danksharding.

Каждый блок может содержать до 3 блобов (380 КБ). Это не окончательное решение, но значительный шаг вперед.

Реализация Scroll: Проверка блобов в цепи

В Scroll мы создали прототип проверки обязательств по блобам внутри цепи. Сложность в том, что Ethereum использует кривые BLS12-381, а наши цепи — BN254. Решение включает:

1. Выборку точек полинома блобов.
2. Проверку согласованности с леммой Шварца-Циппеля.
3. Принятие вычислительных затрат (~28M ячеек).

Результат: ~139 секунд на доказательство на M1 MacBook.

Перспективы

EIP-4844 запущен с форком Cancun-Deneb, но для полного масштабирования нужен Danksharding. Пока роллапы будут использовать блобы и calldata или идти на компромиссы с альтернативными DA.