Деплой смарт-контрактов в 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.

Стоимость деплоя — от $50 до $500 в зависимости от сложности контракта. Наши клиенты экономят до 30% на газе за счёт оптимизации.

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

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