Що таке оновлення Shasta від Taiko: ціль — скорочення вартості зведення до 22 разів завдяки мінімалістичній архітектурі

Тайко готується до розгортання свого Оновлення Шасти, повний перероблений протокол зведення, метою якого є значне зниження витрат та спрощення архітектури системи. Оновлення зосереджено на реструктуризації того, як Taiko пропонує, доводить та завершує блоки на Ethereum, із заявленою метою зробити зведені рішення на основі дешевших, легших для аудиту та легших в експлуатації без шкоди для безпеки чи децентралізації.

Shasta замінює значну частину існуючої логіки протоколу мінімалістичним дизайном, побудованим навколо трьох основних контрактів. За словами Taiko, ранні тести показують, що цей підхід може зменшити витрати на пропонування згортання приблизно в 22 рази та витрати на перевірку приблизно у 8 разів порівняно з попередньою версією, відомою як Pacaya. Оновлення також наближає Taiko до визначення дослідників Ethereum щодо зрілості згортання Етапу 1.

У цій статті пояснюється, що таке оновлення Shasta, як воно працює та чому його архітектурний вибір має значення для стану зведених оновлень на основі.

Тайко та цілі дизайну, що лежать в основі Shasta

Taiko — це базовий зведений проект, розроблений для успадкування безпеки та життєздатності Ethereum безпосередньо від першого рівня. Базові зведені проекти відрізняються від проектів на основі секвенсора тим, що покладаються на виробництво блоків Ethereum, а не на централізований або напівцентралізований секвенсор. Компромісом історично були вищі витрати та повільніший час підтвердження.

Shasta була розроблена з перших принципів після запуску Taiko у продакшені. Команда називає дві основні цілі: простоту та ефективність. Третій провідний принцип — це перенесення складності за межі блокчейна, спираючись на сучасні системи перевірки zk, а не на масштабне правозастосування в блокчейні.

Основне припущення Shasta полягає в тому, що простіші протоколи легше обмірковувати, перевіряти та впроваджувати без помилок. Зменшуючи обсяг логіки, яку необхідно виконувати та перевіряти на Ethereum, Taiko очікує знизити операційні витрати для пропонувальників та доказувачів, тим самим зменшуючи комісії користувачів.

Три контракти замість складної структури

В основі Shasta лежить мінімалістична архітектура, що складається з трьох контрактів: Inbox, Anchor та SignalService. Попередні версії протоколу спиралися на більший набір контрактів, обгорток та механізмів обліку в мережі. Shasta позбавлена ​​більшої частини цієї структури.

Вхідні

Контракт Inbox слугує основним контрактом на зведення Layer 1Він забезпечує виконання основних правил зведення за допомогою двох функцій.

Відкрийте для себе перспективні проекти...

Перспективні проекти...

(Реклама)

Стаття продовжується...

Функція Propose приймає дані блобів, обробляє примусові включення, коли вони настають, оновлює стан ядра та генерує події для доказів. Вона навмисно уникає складних перевірок в мережі для правил протоколу, таких як обмеження газу або часові позначки. Ці перевірки виводяться поза мережею та застосовуються під час генерації доказів.

Функція Prove обробляє облігації, якщо підтвердження надіслано із запізненням, викликає верифікатор zk та завершує ланцюжок. Фіналізація включає синхронізацію стану першого рівня для забезпечення можливості виведення коштів та обміну повідомленнями між двома рівнями.

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

Якір

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

Шаста скасовує додаткові обов'язки, які раніше були покладені на Якоря. Звужуючи його роль, контракт стає легшим для аудиту та менш дорогим для виконання.

SignalService

SignalService керує обміном повідомленнями між блокчейнами та передачею токенів між Ethereum та Taiko. Shasta спрощує цей контракт, видаляючи складні структури, такі як HopProofs, зберігаючи при цьому зворотну сумісність. Існуючі мости та постачальники намірів не потребують оновлення для продовження функціонування.

Виміряні покращення продуктивності

Taiko опублікувала внутрішні контрольні показники, які показують суттєве скорочення споживання газу після ураження від вогню Шаста.

До оновлення пропозиція нових блоків на Taiko могла коштувати до одного мільйона газів. Вартість масштабувалася залежно від кількості блоків другого рівня в пакеті, оскільки метадані для кожного блоку публікувалися в мережі. Це збільшувало витрати пропонувальників і, зрештою, комісії користувачів.

Згідно з проектом Shasta, вартість пропозицій знижується приблизно до 45 000 газів після завершення початкового періоду розігріву та заповнення буфера кільця пропозицій. Це приблизно являє собою 22-кратне скорочення споживання газу для блокових пропозицій.

Витрати на перевірку також значно знижуються. За системою Pacaya виробництво однієї партії коштує приблизно 500 000 газів. Близько половини цієї вартості припадає на перевірку доказів zk, а решта — на логіку виконання.

З Shasta витрати на виконання падають приблизно до тридцяти тисяч газів і залишаються майже незмінними незалежно від того, скільки партій перевірено. Це сприяє агрегації, що дозволяє перевіряти кілька партій майже за однаковою ціною. Загалом це означає приблизно 8-кратне зниження витрат на газ для перевірки.

Тайко стверджує, що якщо витрати на виконання залишаються незмінними незалежно від розміру пакету, протокол у 5-15 разів ефективніший для заявників, ніж інші популярні зведення zk за порівнянних умов.

Чому простота змінює структуру витрат

Найбільший приріст ефективності в Shasta досягається за рахунок видалення коду, а не оптимізації окремих функцій. Послідовні докази усувають цілі підсистеми, пов'язані з виявленням та вирішенням конфліктів. Перенесення перевірок на рівні протоколу поза ланцюгом зменшує кількість шляхів виконання в ланцюгу. Видалення обгорток та абстракцій зменшує використання газу та зменшує площу поверхні для помилок.

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

Тайко стверджує, що безпека рівня Ethereum не вимагає складного забезпечення в мережі, якщо правильність можна довести криптографічно. Досягнення в доведенні zk зменшили як затримку, так і вартість доказу, що робить практичним перенесення відповідальності з виконання першого рівня.

Стан зведених даних на основі

Базові зведення були запропоновані для масштабування Ethereum, зберігаючи при цьому його основні властивості, включаючи децентралізацію, стійкість до цензури та надійний нейтралітет. На відміну від конструкцій на основі секвенсора, базові зведення не покладаються на привілейованого актора для упорядкування транзакцій.

Інтерес до секвенування на основі методу наносеквенування зріс наприкінці 2024 та на початку 2025 року. Пізніше цей ентузіазм охолонув через дві постійні критики.

Першою була швидкість. Без попередніх підтверджень користувачам доводилося чекати підтвердження щонайменше один слот першого рівня. Попередні підтвердження вже продемонстрували, що цю проблему можна вирішити. Повна децентралізація та інтеграція валідаторів залишаються радше проблемою впровадження, ніж дослідницькою.

Другою критикою була економічна доцільність. Базові зведені проекти вважалися занадто дорогими. Попередні підтвердження знизили витрати, зменшивши частоту публікацій пропозицій на рівні 1, але Shasta безпосередньо спрямована на усунення решти неефективності. За словами Тайко, нова конструкція дозволяє базовим зведеним проектам бути дешевшими, ніж більшість зведених проектів zk. Завдяки спільній інфраструктурі вони можуть бути дешевшими, ніж багато систем рівня 2 за аналогічних рівнів використання.

Перехід до зрілості зведення Етапу 1

Дослідники Ethereum часто описують процес зрілості зведення поетапно. Етап 1 зазвичай означає, що система забезпечує надійні гарантії децентралізації, участь без дозволів та надійний шлях до мінімізації повної довіри.

Шаста просуває Тайко до цього етапу, спрощуючи протокол і дозволяючи попередні підтвердження без дозволів. Зменшуючи витрати на пропонуючих та доказових осіб, оновлення знижує бар'єр для участі. Це підтримує децентралізацію, роблячи економічно вигідним для більшої кількості учасників управління інфраструктурою.

Графік тестування та розгортання

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

Taiko планує розгорнути Shasta в тестовій мережі Hoodi найближчими тижнями. Цей етап дозволить провести ширше тестування та отримати відгуки від розробників і користувачів. Після успішного тестування команда має намір подати оновлення на затвердження Taiko DAO. Активація основної мережі залежатиме від управління спільнотою та остаточних результатів перевірки.

Чому це оновлення має значення

Shasta не впроваджує нових функцій, орієнтованих на кінцевих користувачів. Натомість, вона реструктуризує основу протоколу. Оновлення демонструє, що значного зниження витрат можна досягти за рахунок архітектурних обмежень, а не додаткової складності.

Зосередившись на трьох контрактах та перенісши чеки поза мережу, Taiko зменшує споживання газу, спрощує аудит та тісніше узгоджує зведення на основі з початковими цілями дизайну Ethereum. Результатом є протокол, який легше зрозуміти та дешевше використовувати, зберігаючи при цьому ті ж самі припущення щодо безпеки.

Висновок

Оновлення Shasta являє собою фундаментальну переробку протоколу зведення Taiko. Зменшуючи систему до трьох основних контрактів, впроваджуючи послідовні докази та переносячи складність поза блокчейн, Taiko досягає помітного зниження витрат без послаблення безпеки чи децентралізації. Витрати на пропонування зменшуються приблизно в 22 рази, витрати на доведення – приблизно у 8 разів, а ефективність виконання підвищується порівняно з іншими зведеннями zk.

Окрім показників продуктивності, Shasta демонструє, як мінімалістична архітектура може зміцнити довіру. Менша кількість контрактів, менше логіки в мережі та чіткіші обов'язки спрощують аудит та експлуатацію протоколу. У міру того, як Taiko рухається до розгортання тестової мережі та схвалення DAO, Shasta є конкретним прикладом того, як зведення на основі даних можуть стати економічно вигідними та відповідати основним принципам Ethereum.

джерело:

• Абзац Тайко: Оновлення Шасти