Чому роллапам потрібні шари доступності даних

Історія масштабування Ethereum нагадує криптографічну версію ‘Нескінченної історії’. Після років дискусій спільнота обрала роллапи як головне рішення для блокчейн-трилеми. Але є нюанс: більшість роллапів потребують від Ethereum лише одного – бути надійним шаром доступності даних (DA).

Ілюзія цілісності виконання

ZK та оптимістичні роллапи обіцяють цілісність виконання (що ваші смарт-контракти не будуть обманювати). Але є секрет: самі докази виконання не гарантують, що ви зможете отримати свої кошти, якщо оператори діятимуть недобросовісно. Для цього потрібен повний історія стану – звідси й вимога DA.

EIP-4844: Оновлення DA для Ethereum

Зараз роллапи використовують дорогі calldata для DA. EIP-4844 вводить ‘транзакції з blob-даними’ – дешеві одиниці зберігання, спеціально призначені для DA. Ось чому це важливо:

• Економія витрат: Blob-дані на 80% дешевші за calldata.
• Окремий ринок gas: Blob-дані мають власний ринок комісій, що ізолює L2 від завантаженості L1.
• Підготовка до майбутнього: Створює інфраструктуру для повного Danksharding.

Реалізація Scroll: Перевірка blob-даних у схемах

У нашому zkEVM у Scroll ми створили прототип для перевірки blob-даних у схемах. Виклик? Ethereum використовує криві BLS12-381, а наші схеми працюють на BN254. Наше рішення:

1. Вибір випадкових точок на поліномі blob.
2. Перевірка узгодженості за допомогою леми Шварца-Циппеля.
3. Обчислювальні витрати на операції в інших полях (~28M advice cells).

Результат? Близько 139 секунд на доказ на M1 MacBook – непогано для забезпечення математичної впевненості у доступності даних.

Дорога вперед

Поки EIP-4844 активний після форку Cancun-Deneb, справжнє масштабування вимагатиме Danksharding. До того часу роллапи балансуватимуть між blob-даними та calldata.