Багатоланцюгове абстрагування акаунту: новий напрямок у шифрувальній інфраструктурі

З 8 по 11 липня 2024 року в Брюсселі, Бельгія, відбудеться найбільша щорічна подія Ethereum в Європі — конференція спільноти Ethereum (EthCC). Цього року конференція (EthCC 7) зібрала понад 350 провідних думок у сфері блокчейн. Один із розробників блокчейн виступив на конференції з доповіддю на тему "Відкриття майбутнього: аналіз абстрагування рахунку в мульти-ланцюгах".

Основні пункти виступу:

• абстрагування рахунку(AA) дві основи: абстракція підпису та абстракція платежу. Перша дозволяє користувачам вибирати будь-який механізм верифікації, друга дозволяє різні варіанти оплати, що забезпечує більш безпечний та зручний досвід користування.

• ERC-4337 та рідний AA мають різний дизайн функцій точки входу на етапах верифікації та виконання. Кожен варіант реалізації має свої особливості в обмеженнях верифікації транзакцій та кроках виконання.

• При впровадженні ERC-4337 на EVM-сумісних ланцюгах необхідно звернути увагу на різницю в протоколах, викликану дизайном Rollup, а також на різницю в способах обчислення адрес, ці деталі можуть вплинути на реалізацію між L1 та L2.

Абстрагування рахунку

абстрагування рахунку(AA)主要包含两个关键点:

1. Абстрагування підпису: користувач може вибрати будь-який механізм верифікації, не обмежуючись конкретними алгоритмами цифрового підпису.

2. Абстрагування платежів: користувач може використовувати різні варіанти оплати для транзакцій, такі як оплата токенами ERC-20 або фінансування транзакції третіми сторонами.

Ця гнучкість може забезпечити більш безпечний та оптимізований досвід користувача. AA має на меті досягнення цих двох основних цілей різними способами.

Вступ до ERC-4337

Наразі в протоколі Ethereum існують певні обмеження для зовнішніх володіючих акаунтів (EOA), такі як фіксований метод підпису та дизайн платежів. ERC-4337 вирішує ці проблеми, впроваджуючи більш гнучке управління акаунтами та обробку транзакцій.

Основні характеристики:

• структура userOp: користувач надсилає структуру userOp до Bundler, який збирає кілька userOp і викликає функцію handleOps контракту EntryPoint.

• EntryPoint контракт: подібно до операційної системи, що обробляє транзакції, основні функції включають:

  1. Викликати функцію validate контракту акаунту, щоб забезпечити авторизацію userOp
  2. Стягнення зборів
  3. Викликати функцію execute контракту акаунту, виконати цільову операцію userOp

Вступ до рідного AA

У нативному AA кожен акаунт є контрактом, механізм обробки транзакцій безпосередньо вбудований у блокчейн-протокол.

Різні проєкти AA у мережах блокчейн:

• Абстракція облікового запису ERC-4337: Ethereum, Arbitrum, Optimism, Base, Linea, Scroll, Polygon PoS
• Дотримуючись абстрагування рахунку ERC-4337: StarkNet та zkSync Era
• Нативне абстрагування акаунту з дизайном конфіденційності: Aztec

Відмінності між ERC-4337 та нативним AA

1. Роль операційної системи

AA операційна система повинна вирішити: ціноутворення на газ, сортування транзакцій, тригери функцій вхідної точки, процес обробки транзакцій тощо.

ERC-4337 виконує ці завдання за допомогою Bundler та EntryPoint Contract. У рідному абстрагуванні рахунку, користувачі надсилають userOps оператору/сортировщику на офіційному сервері.

2. Інтерфейс контракту

Різні реалізації інтерфейсу контрактів акаунтів подібні, всі вони містять три етапи: перевірка, оплата, виконання. У ERC-4337 та рідному абстрагуванні акаунтів функція точки входу на етапі "перевірка" є фіксованою, а на етапі "виконання" лише точка входу рідного абстрагування акаунтів є фіксованою.

3. Обмеження кроків перевірки

Щоб запобігти атакам DoS, різні реалізації встановили різні обмеження на перевірку транзакцій. Наприклад, EIP-4337 визначає заборону на використання операційних кодів та обмеження доступу до зберігання, тоді як zkSync Era послабила деякі обмеження на використання OpCode.

4. Обмеження кроків виконання

zkSync вимагає підтвердження системного маркеру для виконання системного виклику. Виконавчий етап ERC-4337 та StarkNet не має спеціальних обмежень.

5. Випадкове число

ERC-4337 розрізняє 192-бітне значення ключа та 64-бітне випадкове значення. zkSync та StarkNet використовують суворо зростаючий nonce.

6. Перший розгортання угоди

ERC-4337 в структурі userOp містить поле initcode, яке використовується для першого розгортання контракту акаунту userOp. StarkNet і zkSync вимагають, щоб перша транзакція користувача надсилалася оператору/сортувальнику для розгортання контракту акаунту.

Різниця між ERC-4337 на L1 і L2

На EVM-сумісних ланцюгах реалізація ERC-4337 має два ключові відмінності:

1. Різниця в протоколах

У дизайні Rollup L2 має завантажити дані на L1, щоб забезпечити безпеку та розрахунок. Відповідні витрати (, такі як плата за безпеку L1, плата за blob ) повинні бути включені в попередню верифікацію Gas, але визначити відповідну плату за завантаження є великою проблемою.

2. Різниця в адресах

Різні способи обчислення адрес в різних блокчейнах мають свої відмінності. Наприклад, спосіб кодування адреси у функції create zkSync ERA відрізняється від Ethereum та OP, тоді як StarkNet використовує унікальну хеш-функцію для обчислення адреси.

Варто зазначити, що нові опкод в жорсткому форку можуть призвести до змін у байт-коді, що, в свою чергу, вплине на узгодженість адреси контракту акаунта. Наприклад, якщо L2 ланцюг не підтримує жорсткий форк Шанхая і під час компіляції не вказано версію EVM, то впровадження push0 змінить байт-код, навіть якщо код Solidity залишиться незмінним.