Учасник спільноти Ethereum Marchhill подав чернетку пропозиції щодо впровадження загальної перевірки доказів і спонсорованої пакетної обробки, що дозволяє кільком транзакційним заявкам спільно використовувати один доказ, зберігаючи окремі платежі та підписи.
Резюме
- Спонсори могли б оплачувати пакетні докази, тоді як транзакції учасників оплачували б свої окремі заявки.
- Дійсні підмножини могли б потрапляти до блоку без необхідності повторного підписання транзакцій учасниками.
- Запропоновані комісії та обмеження ресурсів залишаються попередніми, а активація залежить від вимірювань продуктивності.
- Подання є чернеткою pull request без призначеного номера EIP чи дати активації в mainnet.
Пропозиція Marchhill, подана до репозиторію EIP Ethereum 13 листопада, активувала б схему LEANSTARK_SCHEME, зарезервовану в EIP-8288, і запровадила б правила для спонсорованих пакетів. Подання перебуває в розробці й не було прийняте як оновлення мережі Ethereum.
Чернетка об'єднує загальну перевірку, ідентичність доказів, обмеження ресурсів, зведення залежностей і пакетні платежі в одну пропозицію. Вона замінює попереднє подання, pull request #12654, тоді як номер EIP і окрема тема для обговорення ще мають бути призначені.
Пакетні докази Ethereum розділятимуть платежі спонсора та учасників
У центрі чернетки — платіжна домовленість, за якої спонсор покриває кожен збережений лист пакета, окремий компонент доказу, що містить кілька заявок. Транзакції учасників оплачувалися б відповідно до їхніх власних поданих заявок.
Будівельник блоку міг би включити будь-яку дійсну підмножину, не вимагаючи від учасників повторного підпису. Таким чином, тому, чия транзакція була готова до включення, не потрібен був би новий підпис лише через те, що інші учасники початкової групи були виключені, згідно із запропонованим механізмом.
Чернетка зберігала б індивідуальні нонси та квитанції транзакцій. Нонс ідентифікує місце транзакції в послідовності транзакцій рахунку, тоді як квитанція фіксує результат її виконання. Спільне використання роботи над доказами залишало б ці записи прикріпленими до окремих транзакцій.
Відповідність платежів перевірялася б під час фіналізації, а рекурсивні докази автентифікували б джерела, використані в пакеті. Подання розрізняє роботу зі встановлення дійсності заявок і роботу з підтвердження того, що необхідні платежі супроводжують їх.
Заявки зі знижкою та платежі спонсорів надходили б безпосередньо будівельникам блоків. Звичайні докази, що охоплюють одне твердження, залишалися б придатними для публічного мемпулу, де транзакції очікують на включення до блоків.
Загальна перевірка базується на EIP-8288
Базовий EIP-8288, авторами якого є Віталік Бутерін і Томас Коратже, пропонує агрегування криптографічних підписів і доказів поза основним процесом виконання Ethereum. Транзакції визначали б твердження, які потрібно перевірити, а рекурсивний STARK встановлював би їхню дійсність на рівні блоку.
STARK — це криптографічні докази, які демонструють, що обчислення було виконано правильно, без необхідності кожному верифікатору повторювати його. Рекурсія дозволяє одному доказу перевіряти інші докази, об'єднуючи їхні результати.
EIP-8288 наразі резервує загальну схему leanSTARK, а не дозволяє її використання в рамках залежностей. Подання Marchhill пропонує активувати цей шлях і замінити просте твердження про хеш даних базової чернетки стабільним дайджестом, що представляє список заявок.
Дизайн ґрунтується на попередньому обговоренні криптографічної перевірки, зокрема на підтримці Бутеріном обробки складної криптографії через агреговані докази. Його коментарі стосувалися базової архітектури; чернетка Marchhill визначає конкретну схему перевірки та платежів.
Запропоновані нарахування залишаються предметом калібрування
Надана редакція містить попередні нарахування: 15 400 газу для нативної перевірки та 572 000 газу для звичайної загальної перевірки. Вона призначає 5 100 газу на частку внутрішнього доказу, 675 000 газу на платіж за лист і 4 200 газу на пакетну заявку.
Платежі за лист мають окреме нарахування, оскільки прив'язування платежів додає фіксовану роботу понад звичайну перевірку, пояснює чернетка. Заявки та платежі не несли б додаткової частки внутрішнього доказу. Цифри потребують спільного калібрування, тому вони не встановлюють остаточного графіка комісій чи підтвердженої економії для користувачів.
Контроль ресурсів включає попередню межу блоку в 16 384 окремих залежності, що застосовується незалежно від газу, разом із відповідним правилом відповідності списку включення. Лист може містити до 256 тверджень, тоді як крок доказу може мати 16 входів. Жодне з цих чисел не є обмеженням для всього блоку.
Активація вимагатиме вимірювань продуктивності повного блоку
Перед активацією пропозиція вимагає вимірювань, що охоплюють повний графік обробки, пізній ремонт спонсора та витрати на кожен доказ, які вписуються в ліміти газу транзакцій, включаючи необхідні накладні витрати.
Її матеріали бенчмаркінгу відрізняють виміряні результати для окремих вузлів і однієї машини від змодельованих показників для 16 воркерів. Чернетка вимагає, щоб докази та залишкові прогалини в продуктивності були зафіксовані в її матеріалах бенчмаркінгу.
Анульоване спонсорство може змарнувати роботу будівельника, і подання зазначає, що газ включення не відшкодує цю роботу. Конкретна побудова зобов'язань і кодування залишаються в закріпленій специфікації системи доказів. Пропозиція не вводить жодних нових мережевих повідомлень.
