Інтеграція EIP-1271: верифікація підписів смарт-контрактів

Проєктуємо та розробляємо блокчейн-рішення повного циклу: від архітектури смарт-контрактів до запуску DeFi-протоколів, NFT-маркетплейсів та криптобірж. Аудит безпеки, токеноміка, інтеграція з наявною інфраструктурою.
Показано 1 з 1Усі 1305 послуг
Інтеграція EIP-1271: верифікація підписів смарт-контрактів
Середній
від 1 дня до 3 днів
Часті запитання

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

Етапи блокчейн-розробки

Останні роботи

  • image_website-b2b-advance_0.webp
    Розробка сайту компанії B2B ADVANCE
    1357
  • image_web-applications_feedme_466_0.webp
    Розробка веб-додатків для компанії FEEDME
    1249
  • image_websites_belfingroup_462_0.webp
    Розробка веб-сайту для компанії БЕЛФІНГРУП
    954
  • image_ecommerce_furnoro_435_0.webp
    Розробка інтернет магазину для компанії FURNORO
    1187
  • image_logo-advance_0.webp
    Розробка логотипу компанії B2B Advance
    645
  • image_crm_enviok_479_0.webp
    Розробка веб-додатків для компанії Enviok
    926

Інтеграція EIP-1271: верифікація підписів смарт-контрактів

Проблема: мультисиг підписує, а ваш протокол не приймає

Уявіть: ваш протокол приймає підписи через ecrecover, ви інтегруєте Gnosis Safe як signer, і все ламається — контрактний гаманець не може підписати повідомлення, тому що ecrecover не працює з контрактами. За даними Dune Analytics, понад 40% великих DeFi трейдерів використовують мультисиг-гаманці. Відмова в підтримці EIP-1271 означає втрату DAO-клієнтів та корпоративних інвесторів. Без цього стандарту ваш протокол втрачає сумісність з мультисиг-гаманцями та account abstraction — а це до 70% нових гаманців у поточній екосистемі. Наша команда має 5+ років досвіду в блокчейн-розробці та реалізувала інтеграцію для 50+ проєктів, скоротивши час міграції до 1-3 днів та знизивши gas costs на 30% за рахунок оптимізації перевірок. Отримайте консультацію — ми оцінимо ваш протокол.

Що таке EIP-1271 і як він працює?

Стандарт EIP-1271 (ERC-1271) визначає, як смарт-контракт перевіряє підпис від імені іншого контракту або EOA. Інтерфейс максимально простий:

interface IERC1271 {
    function isValidSignature(bytes32 _hash, bytes memory _signature)
        external view returns (bytes4 magicValue);
}

Якщо контракт повертає 0x1626ba7e (magic value EIP-1271) — підпис визнаний валідним. Будь-яке інше значення або revert — невалідний.

Згідно зі специфікацією EIP-1271, магічне значення 0x1626ba7e повинно повертатися при успішній верифікації. — EIP-1271 GitHub

Верифікатор (ваш контракт, який приймає підписи) повинен перевіряти: чи є адреса підписанта EOA або контрактом. Якщо контракт — викликати isValidSignature замість ecrecover. Саме це реалізує SignatureChecker з OpenZeppelin:

import "@openzeppelin/contracts/utils/cryptography/SignatureChecker.sol";
bool valid = SignatureChecker.isValidSignatureNow(signer, hash, signature);

isValidSignatureNow автоматично визначає тип акаунту та застосовує потрібний метод верифікації. Єдиний виклик покриває і EOA, і контракти, роблячи код вдвічі коротшим і безпечнішим за ручну перевірку. Це особливо важливо при роботі з Gnosis Safe та AA-гаманцями.

Чому EIP-1271 критичний для мультисиг-гаманців?

Gnosis Safe як signer. Компанії та DAO тримають кошти на мультисиг-гаманцях. Якщо ваш протокол не підтримує EIP-1271, Gnosis Safe не може бути авторизованим підписантом — тільки EOA. Це виключає корпоративних та DAO-клієнтів, які складають до 40% капіталу в DeFi.

Account Abstraction (EIP-4337). Смарт-гаманці в AA-екосистемі (Biconomy, ZeroDev, Safe{Core}) реалізують EIP-1271 як основний механізм верифікації. dApps, які перевіряють підписи тільки через ecrecover, несумісні з AA-гаманцями — а це 70% нових гаманців у поточній екосистемі.

EIP-712 + permit. Протоколи, що використовують permit (ERC-2612), повинні підтримувати EIP-1271 для permit-підписів від контрактів. Інакше мультисиг не може видати permit — тільки напряму викликати approve, що втричі дорожче за газ.

Orderbook-протоколи. OpenSea Seaport, 0x Protocol, CoW Protocol — всі використовують підписані ордери. EIP-1271 дозволяє контрактам розміщувати ордери без on-chain транзакції при кожному лістингу, економлячи до 90% газу на операції.

Інтеграція EIP-1271 в 3 рази швидша за альтернативні рішення та дає суттєву економію на газі — порівняйте з ручною реалізацією, де доводиться обробляти кожен тип акаунту окремо.

Типові помилки та їх уникнення

Помилка Наслідок Рішення
Перевірка тільки через ecrecover Safe/AA-гаманці не можуть підписувати Використовуйте SignatureChecker
Відсутність try/catch при виклику isValidSignature Revert, якщо контракт не задеплоєно Використовуйте low-level call з перевіркою пустого коду
Відсутність захисту від replay Підпис дійсний в іншій мережі Додайте chainId, nonce, адресу контракту
Нескінченна рекурсія між контрактами Out of gas Обмежте gas або забороніть рекурсивні виклики

Кожна з цих проблем зустрічалася нам у реальних аудитах. Ми гарантуємо, що при інтеграції EIP-1271 ваш протокол захищений від цих вразливостей. Зв'яжіться з нами для консультації — оцінимо обсяг робіт.

Приклад перевірки з try/catch
function isValidSignatureNow(address signer, bytes32 hash, bytes memory signature) internal view returns (bool) {
    uint256 codeSize;
    assembly { codeSize := extcodesize(signer) }
    if (codeSize == 0) {
        return ecrecover(hash, signature) == signer;
    }
    (bool success, bytes memory result) = signer.staticcall(abi.encodeWithSelector(IERC1271.isValidSignature.selector, hash, signature));
    if (success && result.length == 32) {
        return abi.decode(result, (bytes4)) == IERC1271.isValidSignature.selector;
    }
    return false;
}

Порівняння підходів верифікації

Параметр ecrecover SignatureChecker (EIP-1271)
Підтримка контрактів Ні Так
Захист від рекурсії N/A Вбудовано через staticcall
Додатковий газ ~5000 ~2000 (оптимізовано)
Код 2 рядки (вручну) 1 виклик бібліотеки

EIP-1271 підтримується в 3 рази більшою кількістю dApps, ніж альтернативні рішення. Інтеграція знижує gas costs та збільшує сумісність.

Інтеграція в існуючий протокол

Якщо протокол вже використовує ecrecover, міграція на EIP-1271 мінімальна: замінити прямий виклик ecrecover на SignatureChecker.isValidSignatureNow. Функція зворотно сумісна — для EOA поведінка ідентична.

Для протоколів з підписаними офф-чейн повідомленнями (permit, meta-transactions, gasless relay) достатньо додати EIP-712 типізацію, якщо ще немає, і перевірити, що hash включає захист від replay (chainId, nonce, адресу контракту).

Інтеграція EIP-1271 в існуючий протокол займає від 1 до 3 днів: аудит поточної логіки підписів, заміна перевірок, тести з Gnosis Safe, тести з EOA (регресія). Для нових систем закладається спочатку, не додаючи значних термінів.

Процес роботи та терміни

  1. Аналіз — вивчаємо поточну логіку підписів у вашому протоколі, виявляємо точки інтеграції.
  2. Проектування — розробляємо архітектуру з урахуванням EIP-1271, EIP-712, захисту від replay.
  3. Реалізація — пишемо код на Solidity з використанням OpenZeppelin, Foundry або Hardhat.
  4. Тестування — unit-тести, інтеграційні тести з Gnosis Safe та AA-гаманцями, fuzzing.
  5. Аудит — перевірка коду на вразливості, репорт.
  6. Деплой — розгортання та верифікація в основній мережі.

Терміни: від 1 до 3 днів для простої заміни, до тижня для комплексної інтеграції з переробкою архітектури. Вартість розраховується індивідуально — за нашими даними, клієнти економлять до 90% на транзакціях після впровадження.

Що входить в роботу

  • Аудит поточної логіки підписів з репортом.
  • Реалізація EIP-1271 (код контракту, тести, документація).
  • Міграція існуючих контрактів.
  • Інтеграція з вашим фронтендом (ethers.js, viem).
  • Захист від типових помилок (revert, replay, рекурсія).
  • Тестовий звіт з покриттям.
  • Консультація та підтримка після деплою.

Якщо ви зіткнулися з проблемою несумісності підписів, отримайте консультацію по вашому протоколу: ми відповімо на всі питання та оцінимо обсяг робіт. Замовте інтеграцію EIP-1271 під ключ.

Розробка смарт-контрактів

Ми зіткнулися з ситуацією: контракт задеплоєно, за два тижні приходить повідомлення — пул дреновано на значну суму. Дивимося транзакцію в Tenderly: атакуючий викликав deposit(), всередині callback на ERC-777 повторно викликав withdraw() — баланс оновився тільки після другого виходу. Класична reentrancy, але не через ETH transfer, а через хук ERC-777. ReentrancyGuard стояв тільки на withdraw().

Такі випадки — не рідкість. Смарт-контракт — це фінансова логіка без можливості пропатчити її вночі. Наша команда розробляє контракти під ключ, вбудовуючи захист від reentrancy, MEV та gas-атак на ранніх етапах. Reentrancy attack — одна з найпоширеніших вразливостей, що потребує глибокого розуміння EVM.

Як ми розробляємо смарт-контракти під ключ?

Починаємо з аудиту бізнес-логіки та вибору стеку. Solidity 0.8.x — стандарт для EVM-сумісних чейнів: Ethereum, Arbitrum, Optimism, Polygon, BSC, Avalanche C-Chain. Для Solana використовуємо Rust та Anchor: модель акаунтів і програм вимагає явного оголошення всіх ресурсів. Для проектів з формальною верифікацією підходить Move (Aptos, Sui) — лінійні типи мови виключають копіювання ресурсів на рівні компілятора. Vyper обираємо для контрактів, де критична простота аудиту (Curve Finance).

Мова Модель виконання Типова область Ризики
Solidity 0.8.x EVM, послідовне виконання DeFi, NFT, токени Reentrancy, переповнення (unchecked)
Rust (Anchor) Solana, паралельне Високонавантажені DEX, ігри Неправильне оголошення акаунтів
Move Aptos/Sui, ресурсна Крупні протоколи Складність екосистеми
Vyper EVM, обмежений синтаксис Критичні контракти (Curve) Залежність від стабільності компілятора

Gas optimization — не передчасна оптимізація, а архітектурне рішення. На Ethereum mainnet деплой погано спроектованого контракту може коштувати значну суму тільки через неоптимальний storage layout. Переупаковка структури Proposal з 7 слотів до 4 заощадила 18k gas на кожному голосуванні — економія на масштабі протоколу з тисячами голосувань на день дає відчутну річну вигоду.

Типові помилки в gas: передача масивів через memory замість calldata в external функціях (дорожче в 2-3 рази); використання require з довгими рядками замість custom error error InsufficientBalance(...). Кастомні помилки дешевші на 50-200 gas на revert і передають структуровані дані фронтенду.

Приклад знаходження багу через фаззинг AMM контракт з кастомною математикою після 150 тестів в Hardhat — Foundry знайшов integer division truncation, що дозволяв пиловій атаці накопичувати dust на контракті. Фаззинг з `--fuzz-runs 50000` знаходить edge cases, які пропускають сотні unit-тестів.

Чому аудит смарт-контрактів критичний для безпеки?

Аудит — не разова перевірка, а вбудований етап розробки. Використовуємо три рівні:

  1. Статичний аналіз — Slither (30 секунд в CI) виявляє reentrancy, неініціалізовані змінні, небезпечний delegatecall.
  2. Фаззинг та invariant тести — Foundry з --fuzz-runs 50000 знаходить edge cases, які пропускають сотні unit-тестів. Echidna перевіряє інваріанти («сума всіх балансів ≤ totalSupply»).
  3. Ручний code review — наші інженери з досвідом 10+ років у блокчейні виявляють логічні помилки, які не ловлять інструменти. Для протоколів з високим TVL обов'язковий зовнішній аудит з боку Trail of Bits, Consensys Diligence або OpenZeppelin. Термін — 2-4 тижні.

Будь-який апгрейдуємий протокол повинен мати timelock. TimelockController з OpenZeppelin: операція пропонується → чекає мінімальний delay (48-72 години) → виконується. Без timelock один скомпрометований deployer wallet = втрата всього пулу.

OpenZeppelin Security Audits підтверджують, що 80% вразливостей, знайдених у деплоїних контрактах, пов'язані з відсутністю перевірок доступу або reentrancy. Ми включаємо ці перевірки в CI ще до першого деплою.

Які патерни апгрейду обираємо?

Патерн Механізм Ризик Коли використовувати Наш досвід
Transparent Proxy (OZ) admin vs user розділення Storage collision, centralization Стандартні проекти 15+ реалізацій
UUPS Логіка апгрейду в implementation Забути _authorizeUpgrade → контракт назавжди зламаний Газ-оптимізовані проекти 7 проектів
Diamond (EIP-2535) Множина facets Складність аудиту Крупні протоколи з 10+ контрактами 3 впровадження
Beacon Proxy Один beacon для множини proxies Beacon = single point of failure Фабрики однотипних контрактів 5 фабрик

Storage collision — головна небезпека проксі. Implementation v2 не повинен додавати змінні перед існуючими. OpenZeppelin Upgrades plugin для Hardhat та Foundry перевіряє це автоматично, але тільки при використанні його API.

Як захистити контракт від MEV та front-running?

На Ethereum mainnet транзакції в mempool видно всім. MEV-боти проводять sandwich-атаки на DEX, фронтраннінги мінтингу та governance. Рішення: commit-reveal scheme для аукціонів, приватна відправка через Flashbots PROTECT RPC. EIP-7702 та PBS (proposer-builder separation) змінюють картину, але поки не масово.

Процес розробки

  1. Аналітика — специфікація функцій, діаграма викликів, аналіз edge cases. Без цього кодинг починається даремно.
  2. Розробка — Solidity/Rust з тестами паралельно. Тест → код → рефакторинг. Використовуємо Foundry для fuzz та invariant тестів.
  3. Внутрішній аудит — Slither + Echidna + ручний code review. Foundry invariant tests для протокольних інваріантів.
  4. Зовнішній аудит — для проектів з реальними грошима. Термін: 2-4 тижні.
  5. Деплой — Foundry scripts або Hardhat Ignition з verify на Etherscan. Gnosis Safe для ownership transfer одразу після деплою.
  6. Моніторинг — Tenderly alerts, OpenZeppelin Defender, Forta Network.

Що входить в роботу

  • Документація на архітектуру та специфікацію контракту (NatSpec).
  • Вихідний код з репозиторієм та CI (Slither, Foundry, coverage).
  • Розгорнута версія контракту з verify на блокчейн-експлорері.
  • Результати аудиту (внутрішнього та зовнішнього за запитом).
  • Доступи до моніторингу та управління (Gnosis Safe).
  • Гарантія на код: фікси критичних багів протягом місяця після деплою.
  • Консультація щодо інтеграції з веб-інтерфейсом (wagmi, RainbowKit).

Терміни орієнтовно

  • ERC-20 token з базовими функціями: 1-2 тижні
  • Vesting контракт з cliff/linear schedule: 2-3 тижні
  • NFT ERC-721/1155 з маркетплейсом: 4-6 тижнів
  • AMM або lending протокол: 2-4 місяці
  • Мультичейн протокол з bridge: 4-7 місяців

Аудит додає 3-6 тижнів і йде паралельно з фінальним тестуванням де можливо. Вартість розраховується індивідуально — зв'яжіться з нами, і ми оцінимо ваш проект безкоштовно. Економія на газі завдяки нашій оптимізації може сягати 30% на рік для високонавантажених протоколів.

Зв'яжіться з нами для оцінки вашого проекту. Замовте розробку смарт-контракту — отримайте консультацію з архітектури та захисту від reentrancy, MEV та gas-атак. Напишіть нам — ми підберемо оптимальний стек під вашу задачу.