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

Наши инженеры часто видят, как разработчики переносят EVM-контракты на zkSync без изменений — и получают сюрпризы: CREATE2 не работает, газ улетает в 3 раза выше ожидаемого, а верификация падает из-за несовместимости байткода. В этой статье разберём, как деплоить смарт-контракты в zkSync Era правиль

Направления блокчейн-разработки

Часто задаваемые вопросы

Последние работы

  • image_website-b2b-advance_0.webp
    Разработка сайта компании B2B ADVANCE
    1441
  • image_web-applications_feedme_466_0.webp
    Разработка веб-приложения для компании FEEDME
    1301
  • image_websites_belfingroup_462_0.webp
    Разработка веб-сайта для компании БЕЛФИНГРУПП
    998
  • image_ecommerce_furnoro_435_0.webp
    Разработка интернет магазина для компании FURNORO
    1267
  • image_logo-advance_0.webp
    Разработка логотипа компании B2B Advance
    713
  • image_crm_enviok_479_0.webp
    Разработка веб-приложения для компании Enviok
    1003

Наши инженеры часто видят, как разработчики переносят 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%. Ниже сравнение инструментов:

Инструмент Компиляция Верификация Гибкость Идеально для
Hardhat zksolc, полная поддержка Встроенная через плагин Высокая, много модулей Продукционные контракты с множеством зависимостей
Foundry-zksync forge с --zksync Через API Средняя, меньше плагинов Быстрые прототипы и тесты

Foundry-zksync, по нашим замерам, деплоит контракты в 2–3 раза быстрее за счёт прямой отправки транзакций, но Hardhat даёт более детальный контроль над factory dependencies и верификацией.

Режим оптимизации zksolc Размер контракта Газ на исполнение Где применить
size -40% +20% Лёгкие контракты с малым числом вызовов
speed +10% -30% Часто вызываемые контракты (токены, DEX)
balanced базовый базовый Универсальный вариант

Что такое 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. Деплой контракта под ключ с гарантией совместимости.