Розробка rollup-рішень (Optimistic/ZK) під ключ

Ми розробляємо кастомні rollup-рішення на базі OP Stack, Arbitrum Orbit або ZK Stack — від концепції до mainnet. Клієнти часто стикаються з дилемою: який стек обрати? Optimistic Rollup дає повну EVM-сумісність і низьку складність, але фінальність транзакцій на L1 займає до 7 днів через період оскарження (challenge window). ZK Rollup забезпечує фінальність за хвилини, але proof generation вимагає GPU-кластерів і розтягує бюджет. Наш досвід показує: правильний вибір архітектури економить місяці розробки та сотні тисяч доларів.

Наша команда має 10+ років досвіду в блокчейн-розробці та реалізувала понад 15 rollup-проектів для DeFi, геймінгу та інфраструктури. Ми допоможемо визначитись: оцінимо навантаження, вимоги до безпеки та DA, і запропонуємо оптимальний стек. Зв'яжіться з нами для первинної консультації — оцінимо ваш проект.

Який rollup стек обрати: Optimistic чи ZK?

Optimistic Rollup вважає транзакції коректними за замовчуванням. Якщо хтось вважає транзакцію шахрайською — він подає fraud proof протягом challenge window (зазвичай 7 днів). Якщо fraud proof прийнято — транзакція скасовується, challenger отримує винагороду, sequencer втрачає stake.

ZK Rollup публікує разом з пакетом транзакцій криптографічний доказ коректності (validity proof). L1 верифікує proof через смарт-контракт. Якщо proof пройшов перевірку — транзакції гарантовано коректні без довіри до sequencer.

Для більшості application-specific rollup завдань вибір — OP Stack або Arbitrum Orbit. ZK стек виправданий якщо: потрібна швидка finality, специфічні privacy вимоги, або rollup для кастомної ZK логіки.

Що входить в розробку rollup під ключ?

• Аудит вимог та вибір стеку — аналіз навантаження, визначення DA (calldata, EIP-4844 blobs, зовнішні DA) та рівня децентралізації.
• Архітектура та проектування — схема взаємодії L1/L2, дизайн мостів, вибір sequencer (централізований на старті з escape hatch).
• Розгортання testnet — локальний devnet через kurtosis, налаштування RPC, explorer (Blockscout).
• Деплой L1 контрактів — налаштування DisputeGameFactory, OptimismPortal, L1CrossDomainMessenger (для OP Stack) та їх верифікація.
• Налаштування L2 інфраструктури — sequencer, batcher, proposer, моніторинг (Grafana/Prometheus).
• Інтеграція мостів — кастомні або стандартні (ThirdWeb, Connext).
• Безпека — аудит контрактів, налаштування dispute window, bug bounty програма.
• Запуск mainnet — поступова міграція, моніторинг, документація для операторів.

OP Stack: розгортання Optimistic Rollup

OP Stack — фреймворк від Optimism для створення власних L2/L3 ланцюжків (superchain). Документація OP Stack.

Як розгорнути OP Stack rollup за 5 кроків

1. Встановіть kurtosis та налаштуйте локальний devnet.
2. Створіть конфігураційний файл з network_id та додатковими сервісами.
3. Запустіть devnet та протестуйте базові транзакції.
4. Деплойте L1 контракти через forge script.
5. Налаштуйте L2 інфраструктуру та мости.

Компоненти OP Stack

L1 (Ethereum) ← → op-batcher (публікує tx дані в L1) op-proposer (публікує state roots в L1) L2: op-geth (modified geth, execution engine) op-node (consensus/derivation layer, читає L1 дані) 

Вимоги для development/testnet

L1 нода (або Sepolia RPC endpoint від Alchemy/Infura) L2 сервер: 8 CPU, 16 GB RAM, 500 GB SSD 

Деплой OP Stack через optimism-package

# Встановлення kurtosis (orchestration tool) curl -s https://raw.githubusercontent.com/kurtosis-tech/kurtosis/main/install.sh | bash # Запуск повного OP Stack локально kurtosis run github.com/ethpandaops/optimism-package \ --args-file local-config.yaml 

Конфігурація local-config.yaml:

optimism_package: chains: - participants: - el_type: op-geth cl_type: op-node network_params: network_id: "42069" seconds_per_slot: 2 name: "my-rollup" additional_services: - blockscout # explorer - prometheus_grafana 

Production деплой: L1 контракти

git clone https://github.com/ethereum-optimism/optimism cd optimism pnpm install pnpm build export L1_RPC_URL="https://eth-sepolia.g.alchemy.com/v2/YOUR_KEY" export PRIVATE_KEY="0x..." cd packages/contracts-bedrock forge script scripts/Deploy.s.sol:Deploy \ --rpc-url $L1_RPC_URL \ --private-key $PRIVATE_KEY \ --broadcast \ --verify 

Після деплою зберігається deployments/ з адресами контрактів — вони потрібні для конфігурації L2.

Arbitrum Orbit: альтернатива для L2/L3

Arbitrum Orbit дозволяє створити L2 (відносно Ethereum) або L3 (відносно Arbitrum One/Nova) ланцюжок. Встановлення через orbit-setup-script (налаштування chain ID, owner, validators). Orbit дає вибір: AnyTrust (доступність даних через DAC committee, дешевше) або Rollup (дані на L1, безпечніше).

ZK Rollup: ZK Stack (zkSync)

Для ZK rollup використовується ZK Stack від Matter Labs. Ініціалізація через zkstack CLI, потім створення ланцюга та деплой L1 контрактів. У production режимі потрібен реальний prover (Boojum) з GPU (A100/H100).

Чому ZK rollup дорожчий? Вартість proof generation

Для ZK rollup production deployment найбільш витратний компонент — prover. Варіанти:

• Власний prover кластер — GPU: 1x NVIDIA A100 80GB → ~100–200 TPS; CPU: 64-core AMD EPYC → в 10–20x повільніше.
• Outsourced proving — Gevulot, Lagrange, Fermah (proof marketplace).
• Validium режим — дані off-chain в DAC, дешевше, але нижча security.

Вартість розробки кастомного rollup залежить від стеку та обсягу робіт — зв'яжіться з нами для точної оцінки.

Data Availability: вибір між calldata, blobs та зовнішніми DA

Rollup повинен публікувати transaction data так, щоб будь-хто міг перерахувати state. Варіанти:

• Ethereum calldata — максимальна безпека, найвища вартість. Після EIP-4844 (blobs) дешевше в 10–100x.
• EIP-4844 Blobs — з Dencun upgrade rollup публікують дані як blob-транзакції. Blobs зберігаються 18 днів, коштують на порядок дешевше calldata.
• Celestia / EigenDA / Avail — зовнішні DA шари. Ще дешевше, але вимагають довіри до окремої мережі.

Для нового rollup: використовувати EIP-4844 blobs як DA — оптимальний баланс вартості та безпеки на найближчі роки.

Sequencer: централізація та кроки до decentralization

Всі production rollup сьогодні мають centralized sequencer — це чесний компроміс з продуктивністю. Поточний стан:

• Arbitrum — працює над BoLD (Bounded Liquidity Delay) для permissionless validation.
• Optimism — Bedrock + fault proofs (Cannon), рухається до decentralised sequencer.
• zkSync — централізований sequencer, roadmap до shared sequencing.

Для кастомного rollup: centralized sequencer на старті — нормально, головне — escape hatch механізм (можливість виведення коштів без згоди sequencer через L1 напряму).

Етапи розробки

Реалістичний термін від початку до production mainnet: 2–4 місяці для Optimistic (OP Stack/Orbit), 4–6+ місяців для ZK з реальними proof.

Моніторинг та операційна безпека

const l1Block = await l1Provider.getBlockNumber() const latestBatch = await l2Bridge.latestBatchIndex() // Якщо розрив зростає — batcher не публікує дані const pendingWithdrawals = await portal.pendingWithdrawals() if (pendingWithdrawals > THRESHOLD) { alert('Withdrawal queue growing, check proposer') } 

Для production rollup обов'язковий 24/7 моніторинг з алертами: стан sequencer, batcher lag, proposer health, bridge balance, та dispute window для Optimistic rollup.