Деплой смарт-контрактів у zkSync: специфіка, інструменти, поради

Наші інженери часто бачать, як розробники переносять EVM-контракти на zkSync без змін — і отримують сюрпризи: CREATE2 не працює, газ летить у 3 рази вище очікуваного, а верифікація падає через несумісність байткоду. У цій статті розберемо, як деплоїти смарт-контракти в zkSync Era правильно: з урахуванням zksolc, EraVM, Native Account Abstraction та двовимірної газової моделі.

Проблеми, які вирішуємо

Несумісність байткоду. zksolc генерує EraVM bytecode, а не EVM. Якщо не вказати factory dependencies, CREATE (і CREATE2) просто не спрацюють — потрібно заздалегідь оголосити всі контракти, що створюються з коду. Газова модель. У zkSync діє двовимірний газ: звичайний gas за виконання та gasPerPubdata за публікацію даних у L1. При деплої важкого контракту (наприклад, з великими конструкторами) підсумкова вартість може виявитися в 2–3 рази вищою, ніж на Ethereum Mainnet, якщо не оптимізувати payload. Відсутність документації. Багато хто не знає про Native Account Abstraction і втрачає можливість впровадити смарт-акаунти з кастомною валідацією прямо на рівні протоколу, без окремого entrypoint.

Якщо ви зіткнулися з цими проблемами, зв'яжіться з нами — ми допоможемо.

Як ми це робимо

Використовуємо перевірений стек: Hardhat з плагіном @matterlabs/hardhat-zksync (для складних проектів) або Foundry-zksync (для швидких прототипів). Конфігурацію налаштовуємо під специфіку проекту — режими оптимізації zksolc (size/speed/balanced) впливають на розмір контракту до 40% і на витрати газу до 50%. Нижче порівняння інструментів:

Foundry-zksync, за нашими вимірами, деплоїть контракти в 2–3 рази швидше за рахунок прямої відправки транзакцій, але Hardhat дає більш детальний контроль над factory dependencies та верифікацією.

Що таке zksolc і чому він важливий?

Компілятор zksolc перетворює Solidity у байткод для кастомної віртуальної машини EraVM. Це означає:

• Стандартні патерни (CREATE2 для детермінованого деплою) вимагають явного зазначення factory dependencies. Без них деплой впаде з помилкою ContractDeployedWithoutFactoryDep.
• Опкод SELFDESTRUCT не знищує контракт — zkSync слідує EIP-6049 і повертає помилку.
• PUSH0 може не підтримуватися в старих версіях zksolc, що ламає контракти з pragma ^0.8.19. У таких випадках використовуємо pragma ^0.8.13 або додаємо fallback.

Як деплоїти через Hardhat?

Встановіть плагін і налаштуйте конфігурацію:

// hardhat.config.ts
import { HardhatUserConfig } from 'hardhat/config'
import '@matterlabs/hardhat-zksync'

const config: HardhatUserConfig = {
  zksolc: {
    version: 'latest',
    settings: {
      optimizer: {
        enabled: true,
        mode: '3',
      },
    },
  },
  networks: {
    zkSyncMainnet: {
      url: 'https://mainnet.era.zksync.io',
      ethNetwork: 'mainnet',
      zksync: true,
      verifyURL: 'https://zksync2-mainnet-explorer.zksync.io/contract_verification',
    },
    zkSyncTestnet: {
      url: 'https://sepolia.era.zksync.dev',
      ethNetwork: 'sepolia',
      zksync: true,
      verifyURL: 'https://explorer.sepolia.era.zksync.dev/contract_verification',
    },
  },
  solidity: '0.8.24',
}

export default config

Скрипт деплою через Deployer:

import { Wallet, Provider } from 'zksync-ethers'
import { Deployer } from '@matterlabs/hardhat-zksync'
import { HardhatRuntimeEnvironment } from 'hardhat/types'

export default async function (hre: HardhatRuntimeEnvironment) {
  const provider = new Provider(hre.network.config.url)
  const wallet = new Wallet(process.env.DEPLOYER_PRIVATE_KEY!, provider)
  const deployer = new Deployer(hre, wallet)

  const artifact = await deployer.loadArtifact('MyContract')
  const deploymentFee = await deployer.estimateDeployFee(artifact, [])
  console.log(`Estimated deploy fee: ${ethers.formatEther(deploymentFee)} ETH`)

  const contract = await deployer.deploy(artifact, [])
  await contract.waitForDeployment()
  console.log(`Deployed to: ${await contract.getAddress()}`)
}

Запуск: npx hardhat deploy-zksync --script deploy.ts --network zkSyncMainnet

Як деплоїти через Foundry?

Встановіть Foundry-zksync і виконайте команду:

curl -L https://raw.githubusercontent.com/matter-labs/foundry-zksync/main/install-foundry-zksync | bash
forge create src/MyContract.sol:MyContract \
  --rpc-url https://mainnet.era.zksync.io \
  --private-key $PRIVATE_KEY \
  --zksync \
  --constructor-args "arg1" 123

Верифікація через API виконується запитом: POST https://zksync2-mainnet-explorer.zksync.io/contract_verification з тілом JSON.

Що таке Native Account Abstraction у zkSync?

Нативна AA працює на рівні протоколу — кожен акаунт може бути смарт-контрактом. Для реалізації потрібно реалізувати інтерфейс IAccount:

import "@matterlabs/zksync-contracts/l2/system-contracts/interfaces/IAccount.sol";

contract MyAccount is IAccount {
    function validateTransaction(
        bytes32 _txHash,
        bytes32 _suggestedSignedHash,
        Transaction calldata _transaction
    ) external payable override returns (bytes4 magic) {
        // кастомна валідація
    }

    function executeTransaction(
        bytes32 _txHash,
        bytes32 _suggestedSignedHash,
        Transaction calldata _transaction
    ) external payable override {
        // виконання
    }
}

Це економить до 30% газу порівняно з ERC-4337 за рахунок відсутності окремого entrypoint-контракту.

Чому zkSync вимагає спеціальної оптимізації газу?

Двовимірний газ — ключова особливість. gasPerPubdata може становити до 40% вартості транзакції. Оптимізуйте calldata: уникайте довгих рядкових аргументів і масивів у конструкторі. Використовуйте режим оптимізації 'size' для економії місця, якщо контракт деплоїться один раз і викликається рідко.

Типові помилки при деплої в zkSync

1. Пропущені factory dependencies — найчастіша причина провалу деплою. Для кожного контракту, що створюється через CREATE/CREATE2, необхідно додавати адресу в масив dependancies при деплої.
2. Ігнорування двовимірного газу — газ за публікацію даних (gasPerPubdata) може становити до 40% вартості транзакції.
3. Використання непідтримуваних опкодів — SELFDESTRUCT, PUSH0, деякі версії DELEGATECALL можуть не працювати або працювати інакше. Завжди тестуйте на тестовій мережі.

Чек-лист перевірки сумісності з zkSync:

• Перевірити наявність factory dependencies для всіх dynamic контрактів
• Переконатися, що не використовуються непідтримувані опкоди (SELFDESTRUCT, PUSH0)
• Налаштувати оптимізатор zksolc (режим size/speed/balanced)
• Протестувати на тестовій мережі zkSync Sepolia
• Верифікувати контракт після деплою

Що входить в роботу з деплою?

• Етап 1. Аналітика та аудит існуючих контрактів на сумісність з zkSync. Перевіряємо on-chain та off-chain безпеку, виявляємо проблемні опкоди.
• Етап 2. Налаштування компілятора zksolc та оптимізація газової моделі. Підбираємо режим оптимізації, налаштовуємо factory dependencies.
• Етап 3. Підготовка скриптів деплою (Hardhat/Foundry). Включаємо оцінку газу, factory dependencies, конфігурацію мережі.
• Етап 4. Верифікація контракту на блокчейн-експлорері. Використовуємо плагін hardhat-zksync-verify або прямий виклик API.
• Етап 5. Написання документації розгортання та рекомендацій з експлуатації. Фіксуємо всі параметри та залежності.
• Етап 6. Техпідтримка на етапі запуску (2 тижні). Допомагаємо інтегрувати контракт в інтерфейси.

Багаторічний досвід у блокчейн-розробці та понад 50 успішних деплоїв на L2 дозволяють гарантувати коректну роботу контракту в мережі zkSync. Для комплексних проектів підключаємо формальну верифікацію за допомогою solc-verify або Certora.

Вартість деплою визначається після аналізу складності контракту. Наші клієнти економлять до 30% на газі завдяки оптимізації.

Терміни: від 1 до 5 днів залежно від складності.

Отримайте консультацію — зв'яжіться з нами для аудиту вашого контракту на сумісність з zkSync. Деплой контракту під ключ з гарантією сумісності.