Доброго дня всім і ласкаво просимо. Мене звуть Меггі, я технічний директор у Foresight Ventures. Сьогодні ми витратимо 30 хвилин на розмову про те, «Який Ethereum Rollup ми хочемо?»
Тепер я хотів би коротко представити нашу компанію.
Foresight Ventures — це дослідницька інвестиційна установа, яка зосереджується на технології блокчейн і криптоіндустрії. Наша продуктова матриця включає кілька ключових компонентів.
Foresight News — це найбільша багатомовна медіа-платформа web3 в Азіатсько-Тихоокеанському регіоні.
Ми також запускаємо Foresight X, прискорювач, який надає спеціальну підтримку Crypto стартапам і створює процвітаючу глобальну спільноту розробників Web3 у процесі.
Якщо ви хочете дізнатися про нас більше, відвідайте наш офіційний веб-сайт або зв’яжіться з нами в соціальних мережах.
А тепер перейдемо до сьогоднішнього порядку денного.
По-перше, давайте розглянемо недавню суперечку щодо того, «що таке Ethereum L2» і Rollups.
Після цього ми обговоримо «Яких зведених пакетів Ethereum ми можемо очікувати?»
1. Суперечка про те, що таке Ethereum L2?
Минулого місяця Dankrad написав у Twitter: «Якщо він не використовує Ethereum як рівень доступності даних (DA), це не зведений пакет Ethereum, а отже, це не L2 Ethereum.» Він також сказав, що розглядаються канали Plasma та стан. L2, але ні Validium.
Після того, як Dankrad опублікував свою думку, багато будівельників і дослідників у сфері L2 почали її сумнівати. Є багато проектів L2, які не використовують Ethereum як рівень доступності даних, щоб заощадити кошти. Якщо ці проекти не будуть включені до списку L2, це матиме значний вплив на ці проекти розширення мережі. Крім того, деякі стверджують, що якщо Validium не вважається L2, то Plasma також не повинна вважатися.
Отже, якщо ви покопаєтеся в документації Ethereum, ви можете помітити, що вони не зрозуміли, чи є Validium платформою L2. Але вони зазначають, що Validium є більш безпечним, ніж Plasma, оскільки вони використовують докази дійсності. Здається, це суперечить точці зору Данкреда, який вважає, що з деяких точок зору Плазма безпечніша за Validium, оскільки користувачі можуть вийти, використовуючи попередній стан, який Validium не підтримує.
Отже, немає однозначної відповіді щодо того, чи слід включати плазми та валідіуми в L2.
Однак L 2B EAT застосував на своєму веб-сайті фільтр «показати лише зведення», що дозволяє користувачам відфільтрувати всі проекти, які не використовують Ethereum як рівень DA.
Дебати про L2 і Rollup виходять за рамки цього. Ми також чули багато різних думок, таких як «Доступність даних — це термін, який заплутає, публікація даних — це краще», «Класичний зведений пакет — це також суверенний зведений пакет», «Суверенний зведений пакет — це зовсім не зведений пакет» тощо.
Отже, замість того, щоб зациклюватися на цих визначеннях, давайте зосередимося на більш значущій темі, який Ethereum L2 ми хочемо? **
2. Який зведений Ethereum ми хочемо?
За визначенням, рівень 2 — це незалежний блокчейн, який розширює Ethereum і успадковує гарантії безпеки Ethereum.
Проблеми безпеки Ethereum Rollup були недооцінені. Ми сподіваємося, що Rollup покращить безпеку і що буде більше модульних блокчейнів, налаштованих для програм.
Ось функції, які ми хочемо мати в рішенні рівня 2:
По-перше, Ми хочемо, щоб L2 міг розширювати Ethereum, що означає, що L2 повинен мати міст перевірки до Ethereum, що дозволяє користувачам передавати активи між L2 і Ethereum і отримувати безпеку від Ethereum. Наприклад, я можу використовувати свій ETH на Arbitrum L2 для певних транзакцій за відносно низькою ціною, зберігаючи безпеку Ethereum.
По-друге, ми сподіваємося, що L2 зможе досягти надвисокої безпеки, успадкувавши безпеку Ethereum.
Перш за все, ми сподіваємося, що L2 зможе успадкувати безпеку Ethereum. Найкращий спосіб досягти цього — використовувати Ethereum як рівень доступності даних (DA), діючи як Rollup для Ethereum. В ідеалі ми хотіли б зробити вузол L2 ненадійним вузлом, і потрібно довіряти лише Ethereum, щоб повністю гарантувати безпеку Rollup.
По-друге, ми сподіваємося, що Rollup може успадкувати активність Ethereum. Користувачі повинні мати можливість запустити Rollup самостійно, навіть якщо вузол Rollup не працює, або принаймні мати можливість вийти з L2 і повернути кошти на L1.
Крім того, ми також сподіваємося, що Rollup може успадкувати децентралізацію та стійкість до цензури Ethereum.
2.1 Успадкуйте безпеку Ethereum
Щоб краще успадкувати безпеку Ethereum (ETH), Ethereum потрібно використовувати не лише для доступності даних і впорядкування транзакцій, але й для розрахунків. Рівень Rollup відповідає за виконання транзакцій і виконання переходів між станами. Розрахунки в Ethereum за допомогою доказу шахрайства або підтвердження дійсності.
Як ви можете бачити на діаграмі, ролі вузлів Rollup можна розділити на 2-3 різні типи: Sequencer, Proposer і ZK prover.
Sequencer відіграє важливу роль у Rollup. Він пакує транзакції та надсилає їх у мережу Ethereum, використовуючи Ethereum для забезпечення доступності даних і порядку транзакцій.
Одночасно Пропонент виконує ці транзакції та генерує останній стан зведення, а потім надсилає корінь Merkle нового стану в Ethereum. Якщо це оптимістичне зведення, і ніхто не ініціює виклик протягом зазначеного часу, тоді кореневий стан буде прийнято, а транзакцію буде підтверджено.
У випадку ZK Rollup засіб перевірки генерує доказ нульового знання, щоб підтвердити дійсність кореня стану. Після того, як ZKP буде подано та підтверджено на Ethereum, транзакція також буде підтверджена.
Таким чином, якщо всі ці дані будуть зафіксовані та підтверджені в Ethereum, відкат транзакції Rollup потребує відкоту Ethereum, таким чином успадковуючи гарантії безпеки Ethereum. Крім того, ці три ролі іноді виконуються одним вузлом. У деяких протоколах, таких як Optimism, Sequencer надсилає пакети транзакцій і корені стану Merkle одночасно.
Іншою проблемою, пов’язаною з безпекою, є перевірка стану Rollup.Як згадувалося раніше, optimistic Rollup використовує захист від шахрайства, тоді як ZK Rollup використовує доказ дійсності, наприклад, доказ нульового знання.
Перевага використання засобів захисту від шахрайства (таких як Optimism і Arbitrum) полягає в тому, що Rollup може бути еквівалентним віртуальній машині Ethereum (EVM). Однак користувачі повинні перевірити ланцюжок, щоб захистити свої кошти, а остаточне підтвердження транзакцій відбувається повільніше через тривалий період перевірки, який становить приблизно 7 днів.
ZK Rollup, як і Starknet, zkSync, Scroll і Polygon zkEVM, забезпечує надійніший захист, використовуючи докази з нульовим знанням, щоб довести, що стан було обчислено правильно. Після перевірки ZKP на L1 транзакцію буде завершено негайно. Це займає лише кілька хвилин або щонайбільше кілька годин, набагато швидше, ніж оптимістичне зведення. Однак ZK Rollup зазвичай не є повністю еквівалентним EVM.
**З точки зору безпеки, докази з нульовим знанням працюють краще. Вони покладаються на надійні криптографічні механізми для перевірки стану, а не покладаються на чесність заохочених учасників, як оптимістичні зведення. **Але комісія за транзакцію може бути вищою та не зовсім еквівалентною EVM. Тому вибір, який з них використовувати, залежить від цілей мережі.
У деяких випадках гібридний підхід може поєднувати функції обох зведених пакетів. Новий проект під назвою Morphism використовує докази валідності ZK, щоб відповісти на виклики в оптимістичному зведеному дизайні, що може зменшити вікно перевірки з 7 днів до 1 дня та зменшити витрати на DA. Стек OP також досліджує використання ZKP для підтвердження несправних програм Optimism.
Однак існують великі проблеми з безпекою щодо масштабованості Rollup. Коли Rollup потребує термінового виправлення помилок або його потрібно оновити для підтримки нових функцій, іноді необхідно оновити смарт-контракт Rollup на Ethereum. Тому вирішальним є те, хто контролює ці розумні контракти.
Для багатьох зведених програм ключі до керування оновленнями належать членам основної команди. Теоретично ці учасники мають можливість викрадати кошти користувачів за допомогою механізмів ескалації. За словами Віталіка, для розробників це ніби «чорний ход».
Щоб уникнути цієї проблеми, можливість оновлення можна вимкнути. Наприклад, Fuel V1 вимкнув можливість оновлення, але кожна ітерація оновлення вимагала перерозподілу смарт-контрактів, і користувачам потрібно було вручну перенести свої активи на нову версію. Цей процес схожий на початок нового проекту, що призводить до фрагментарної ліквідності та значного зниження гнучкості.
**Кращим підходом є використання DAO для оновлень управління та встановлення затримки, щоб дозволити користувачам, які не погоджуються з оновленням, вийти до того, як оновлення відбудеться. **Це додає деякі припущення безпеки DAO до Rollup, наприклад припущення чесної більшості.
**Загалом, щоб успадкувати безпеку Ethereum, ми рекомендуємо Rollup використовувати Ethereum для доступності даних, упорядкування транзакцій і розрахунків. Для перевірки стану використання доказів нульового знання є більш надійним. Якщо ми хочемо підтримувати можливість оновлення, краще використовувати DAO для керування оновленнями та дати користувачам достатньо часу (наприклад, 30 днів), щоб вийти. **
2.2 Успадкування живучості Ethereum
Тепер давайте поговоримо про те, як успадкувати жвавість від Ethereum.
Ми сподіваємося, що навіть якщо поточний серіалізатор і пропосер вийде з ладу, за допомогою основної мережі Ethereum користувачі все одно зможуть відтворити стан L2 і продовжувати працювати зведений пакет, або принаймні для користувачів буде спосіб вийти без довіри. L1.
Однак ми виявили, що в багатьох існуючих зведених пакетах поки що відсутній цей механізм, як-от Optimism, zkSync Era та Base. Отже, якщо це станеться, Rollup припинить роботу, і всі втратять свої кошти на L2.
Деякі зведені пакети дозволяють користувачам примусово вийти та зняти свої кошти на L1, надавши підтвердження Merkle або ZK підтвердження коштів на L2.
Але деякі зведені пакети не дозволяють вилучати активи, за винятком застави, що означає, що ваші локальні активи L2 не можна вивести. Якщо ви обмінюєте свою заставу на токени NFT або LP, можливо, ви не зможете повернути їх на Ethereum L1.
Такі зведені пакети, як dYdX, дозволяють вам примусово перетворити рідні активи рівня 2 на заставу, а потім вилучити їх на рівні 1.
Деякі зведені пакети також підтримують вилучення NFT до L1.
Кращим рішенням є дозволити користувачам також стати секвенсорами та пропонентами, щоб підтримувати роботу Rollup. Наприклад, Polygon zkEVM використовує безліцензійний Sequencer. Arbitrum дозволяє користувачам примусово включати транзакції в зведення, надсилаючи їх на L1 (для цієї операції існує одноденна затримка). Крім того, будь-хто може стати пропонентом після того, як поточний білий список пропонента був неактивним протягом 6 днів поспіль.
Власне, діяльність також пов’язана зі ступенем децентралізації. Якщо вузли Rollup краще децентралізовані та стійкі до цензури, Rollup матиме кращу активність.
**Тому, щоб покращити живучість Rollup, ми рекомендуємо децентралізовані вузли, які дозволяють користувачам самостійно замовляти та пропонувати транзакції у разі збою. **
2.3 Успадкуйте децентралізацію та стійкість до цензури Ethereum
Дослідження зведеної децентралізації в основному зосереджені на децентралізованому секвенсорі.
Сьогодні майже всі мережі Rollup використовують лише централізований секвенсор. Секвенсери мають можливість відхиляти транзакції користувачів і зловмисно витягувати MEV, що може завдати фінансової шкоди користувачам. Крім того, використання одного секвенсора не має стійкості до цензури.
Таким чином, одним із перспективних методів, який Rollup вивчає для впровадження децентралізованої послідовності, є децентралізована послідовність PoS без дозволу. Цей метод використовується в Morphism Rollup, де секвенсор вибирається на основі правил POS і виконує консенсусний алгоритм на основі BFT для досягнення консенсусу щодо пакету транзакцій. Деякі інші зведення намагаються використовувати метод виборів лідера, щоб обирати секвенсор лідера кожної епохи.
Іншим способом є аукціон MEV. У кожну епоху учасники роблять ставки на основі прибутку, який вони очікують від комісій за транзакції, і MEV, який вони можуть зняти як секвенсер. Переможець сплачує суму своєї ставки до скарбниці Rollup і отримує право розпоряджатися угодами та отримувати всі прибутки протягом цієї епохи.
*Proof-of-Efficiency від Polygon — ще один підхід, за якого кожен може стати секвенсором або агрегатором. Секвенсори вимагають додаткової плати, щоб запобігти атакам спаму, коли пропонують пакети транзакцій для Ethereum L1. Агрегатор перевіряє пакетні транзакції, видані секвенсором. Перший агрегатор, який надасть сертифікат дійсності, отримає токени, депоновані секвенсором. Однак обчислювальні ресурси відстаючих агрегаторів можуть бути витрачені даремно.
У методі спільного секвенсора група вузлів надає служби секвенування для кількох зведених пакетів. Rollup підключається до спільної мережі секвенсора для обробки порядку транзакцій і генерації блоків. Спільні пули секвенсорів децентралізовані (вони виконують протоколи консенсусу для узгодження транзакцій і подання пакетів транзакцій)
Усі ці технології для децентралізованих секвенсорів все ще знаходяться в зародковому стані та все ще розвиваються. Тому наразі ми можемо дати лише нейтральну оцінку.
Пристрої перевірки ZKP можуть бути такими ж децентралізованими та без дозволів, як Proof-of-Efficiency від Polygon, оскільки вони не можуть виконувати MEV і їм важко поводитися зловмисно.
** Підсумовуючи, нам потрібні децентралізовані серіалізатори та перевірки, щоб підвищити стійкість Rollup до децентралізації та цензури. **
Крім питань безпеки, необхідно враховувати багато інших факторів. Ось кілька відповідних питань:
Як збалансувати стимули секвенсора та ZKP prover?
Секвенсор може виконувати MEV, а прувер — ні. Цей механізм робить людей більш охочими стати серіализаторами. Однак насправді нам потрібно більше перевірок, ніж секвенсерів, тому що створення доказів з нульовим знанням вимагає більшої обчислювальної потужності, ніж пакування транзакцій. Отже, як збалансувати стимули між ними? Я думаю, що нам потрібно розробити розумну динамічну модель гонорарів і модель стимулів.
Після оновлення EIP 4844 Rollup використовуватиме blob-об’єкти для зберігання даних, а дані blob-об’єктів зберігаються в Ethereum лише протягом 1-3 місяців, тож чи вплине це на Rollup?
Моя відповідь: так, я думаю, що буде певний невеликий вплив, але його можна буде легко виправити. Історичні дані зведення можна завантажити в децентралізоване сховище для архівування. Якщо всі вузли Rollup перейдуть в автономний режим (особливо в поточній ситуації з єдиним серіалізатором), користувачам потрібно буде завантажити історичні дані з децентралізованої системи зберігання та об’єднати їх із даними blob з Ethereum L1, щоб реконструювати стан.
Як зменшити комісію за транзакції Rollup?
Під час розробки Rollup було багато компромісів між безпекою, децентралізацією та економічною ефективністю. Наприклад, ми використовуємо ZKP для перевірки стану для посилення безпеки, але це вимагає більшої обчислювальної потужності, а також робить транзакції дорожчими. Це компроміс між безпекою та ціною. Деякі ZK Rollups використовують рекурсивні докази для агрегування ZKP для кількох пакетів транзакцій, а потім надсилають зведені докази в L1. Це може заощадити витрати на газ на Ethereum і зменшити комісію за транзакції L2, але це також подовжить час для остаточного підтвердження транзакції.
Підведіть підсумки
Підводячи підсумок, повернемося до нашого початкового запитання: якого типу зведений Ethereum ми хочемо?
Перш за все, ми сподіваємося, що Rollup успадкує не лише безпеку Ethereum, але й його живучість, децентралізацію та стійкість до цензури.
На практиці дуже важко створити L2 Rollup, який не вводить додаткові припущення довіри, оскільки можливість оновлення, децентралізовані серіалізатори та довірені налаштування з нульовим розпізнаванням можуть включати додаткові припущення довіри. Не можна сказати, що L2 Rollup повністю успадковує безпеку ETH, не довіряючи жодному вузлу L2 Rollup.
Для кращої безпеки. **Оновлення смарт-контракту L1 Rollup має регулюватися DAO із встановленням затримок, щоб дати користувачам достатньо часу для виходу, якщо вони не погодяться на оновлення. **Однак цей підхід також вводить у систему припущення безпеки DAO.
І останнє, але не менш важливе: Не використовуйте один серіалізатор, а використовуйте децентралізований серіалізатор для кращої живучості, децентралізації та стійкості до цензури.
Перш ніж закінчити свою презентацію, я хочу підкреслити, що якщо хтось тут має чудові ідеї та потребує ресурсів для їх реалізації, будь ласка, не соромтеся звертатися до нас у Foresight Ventures.
Крім того, ми запрошуємо вас приєднатися до нашої інкубаційної програми Foresight X. Ми тут, щоб підтримати та розвивати ваш підприємницький шлях. Завдяки нашим глибоким знанням галузі та великим ресурсам ми забезпечимо успіх вашого проекту.
Крім того, якщо ви працюєте в академічній чи дослідницькій сфері, Foresight X пропонує конкурсні гранти для підтримки вашого дослідницького шляху.
Крім того, ми надаємо тут QR-код з усіма посиланнями, які можуть вас зацікавити, включаючи звіти про дослідження. Ви можете сфотографувати або відсканувати код для отримання додаткової інформації, і ви можете знайти мене в Twitter, якщо у вас виникнуть запитання після сеансу.
Ще раз дякую вам за ваш час; сподіваюся, вам усім сподобалось і гарного дня.
Щоб переглянути вміст PPT, натисніть тут: 0920).pdf
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
Foresight Ventures: якого типу згортання Ethereum ми хочемо?
Автор оригіналу: Maggie-Foresight Ventures
Доброго дня всім і ласкаво просимо. Мене звуть Меггі, я технічний директор у Foresight Ventures. Сьогодні ми витратимо 30 хвилин на розмову про те, «Який Ethereum Rollup ми хочемо?»
Тепер я хотів би коротко представити нашу компанію.
Якщо ви хочете дізнатися про нас більше, відвідайте наш офіційний веб-сайт або зв’яжіться з нами в соціальних мережах.
А тепер перейдемо до сьогоднішнього порядку денного.
По-перше, давайте розглянемо недавню суперечку щодо того, «що таке Ethereum L2» і Rollups.
Після цього ми обговоримо «Яких зведених пакетів Ethereum ми можемо очікувати?»
1. Суперечка про те, що таке Ethereum L2?
Минулого місяця Dankrad написав у Twitter: «Якщо він не використовує Ethereum як рівень доступності даних (DA), це не зведений пакет Ethereum, а отже, це не L2 Ethereum.» Він також сказав, що розглядаються канали Plasma та стан. L2, але ні Validium.
Після того, як Dankrad опублікував свою думку, багато будівельників і дослідників у сфері L2 почали її сумнівати. Є багато проектів L2, які не використовують Ethereum як рівень доступності даних, щоб заощадити кошти. Якщо ці проекти не будуть включені до списку L2, це матиме значний вплив на ці проекти розширення мережі. Крім того, деякі стверджують, що якщо Validium не вважається L2, то Plasma також не повинна вважатися.
Отже, якщо ви покопаєтеся в документації Ethereum, ви можете помітити, що вони не зрозуміли, чи є Validium платформою L2. Але вони зазначають, що Validium є більш безпечним, ніж Plasma, оскільки вони використовують докази дійсності. Здається, це суперечить точці зору Данкреда, який вважає, що з деяких точок зору Плазма безпечніша за Validium, оскільки користувачі можуть вийти, використовуючи попередній стан, який Validium не підтримує.
Отже, немає однозначної відповіді щодо того, чи слід включати плазми та валідіуми в L2.
Однак L 2B EAT застосував на своєму веб-сайті фільтр «показати лише зведення», що дозволяє користувачам відфільтрувати всі проекти, які не використовують Ethereum як рівень DA.
Дебати про L2 і Rollup виходять за рамки цього. Ми також чули багато різних думок, таких як «Доступність даних — це термін, який заплутає, публікація даних — це краще», «Класичний зведений пакет — це також суверенний зведений пакет», «Суверенний зведений пакет — це зовсім не зведений пакет» тощо.
Отже, замість того, щоб зациклюватися на цих визначеннях, давайте зосередимося на більш значущій темі, який Ethereum L2 ми хочемо? **
2. Який зведений Ethereum ми хочемо?
За визначенням, рівень 2 — це незалежний блокчейн, який розширює Ethereum і успадковує гарантії безпеки Ethereum.
Проблеми безпеки Ethereum Rollup були недооцінені. Ми сподіваємося, що Rollup покращить безпеку і що буде більше модульних блокчейнів, налаштованих для програм.
Ось функції, які ми хочемо мати в рішенні рівня 2:
2.1 Успадкуйте безпеку Ethereum
Щоб краще успадкувати безпеку Ethereum (ETH), Ethereum потрібно використовувати не лише для доступності даних і впорядкування транзакцій, але й для розрахунків. Рівень Rollup відповідає за виконання транзакцій і виконання переходів між станами. Розрахунки в Ethereum за допомогою доказу шахрайства або підтвердження дійсності.
Як ви можете бачити на діаграмі, ролі вузлів Rollup можна розділити на 2-3 різні типи: Sequencer, Proposer і ZK prover.
Таким чином, якщо всі ці дані будуть зафіксовані та підтверджені в Ethereum, відкат транзакції Rollup потребує відкоту Ethereum, таким чином успадковуючи гарантії безпеки Ethereum. Крім того, ці три ролі іноді виконуються одним вузлом. У деяких протоколах, таких як Optimism, Sequencer надсилає пакети транзакцій і корені стану Merkle одночасно.
Іншою проблемою, пов’язаною з безпекою, є перевірка стану Rollup.Як згадувалося раніше, optimistic Rollup використовує захист від шахрайства, тоді як ZK Rollup використовує доказ дійсності, наприклад, доказ нульового знання.
**З точки зору безпеки, докази з нульовим знанням працюють краще. Вони покладаються на надійні криптографічні механізми для перевірки стану, а не покладаються на чесність заохочених учасників, як оптимістичні зведення. **Але комісія за транзакцію може бути вищою та не зовсім еквівалентною EVM. Тому вибір, який з них використовувати, залежить від цілей мережі.
У деяких випадках гібридний підхід може поєднувати функції обох зведених пакетів. Новий проект під назвою Morphism використовує докази валідності ZK, щоб відповісти на виклики в оптимістичному зведеному дизайні, що може зменшити вікно перевірки з 7 днів до 1 дня та зменшити витрати на DA. Стек OP також досліджує використання ZKP для підтвердження несправних програм Optimism.
Однак існують великі проблеми з безпекою щодо масштабованості Rollup. Коли Rollup потребує термінового виправлення помилок або його потрібно оновити для підтримки нових функцій, іноді необхідно оновити смарт-контракт Rollup на Ethereum. Тому вирішальним є те, хто контролює ці розумні контракти.
**Загалом, щоб успадкувати безпеку Ethereum, ми рекомендуємо Rollup використовувати Ethereum для доступності даних, упорядкування транзакцій і розрахунків. Для перевірки стану використання доказів нульового знання є більш надійним. Якщо ми хочемо підтримувати можливість оновлення, краще використовувати DAO для керування оновленнями та дати користувачам достатньо часу (наприклад, 30 днів), щоб вийти. **
2.2 Успадкування живучості Ethereum
Тепер давайте поговоримо про те, як успадкувати жвавість від Ethereum.
Ми сподіваємося, що навіть якщо поточний серіалізатор і пропосер вийде з ладу, за допомогою основної мережі Ethereum користувачі все одно зможуть відтворити стан L2 і продовжувати працювати зведений пакет, або принаймні для користувачів буде спосіб вийти без довіри. L1.
Власне, діяльність також пов’язана зі ступенем децентралізації. Якщо вузли Rollup краще децентралізовані та стійкі до цензури, Rollup матиме кращу активність.
**Тому, щоб покращити живучість Rollup, ми рекомендуємо децентралізовані вузли, які дозволяють користувачам самостійно замовляти та пропонувати транзакції у разі збою. **
2.3 Успадкуйте децентралізацію та стійкість до цензури Ethereum
Дослідження зведеної децентралізації в основному зосереджені на децентралізованому секвенсорі.
Усі ці технології для децентралізованих секвенсорів все ще знаходяться в зародковому стані та все ще розвиваються. Тому наразі ми можемо дати лише нейтральну оцінку.
Пристрої перевірки ZKP можуть бути такими ж децентралізованими та без дозволів, як Proof-of-Efficiency від Polygon, оскільки вони не можуть виконувати MEV і їм важко поводитися зловмисно.
** Підсумовуючи, нам потрібні децентралізовані серіалізатори та перевірки, щоб підвищити стійкість Rollup до децентралізації та цензури. **
Крім питань безпеки, необхідно враховувати багато інших факторів. Ось кілька відповідних питань:
Секвенсор може виконувати MEV, а прувер — ні. Цей механізм робить людей більш охочими стати серіализаторами. Однак насправді нам потрібно більше перевірок, ніж секвенсерів, тому що створення доказів з нульовим знанням вимагає більшої обчислювальної потужності, ніж пакування транзакцій. Отже, як збалансувати стимули між ними? Я думаю, що нам потрібно розробити розумну динамічну модель гонорарів і модель стимулів.
Моя відповідь: так, я думаю, що буде певний невеликий вплив, але його можна буде легко виправити. Історичні дані зведення можна завантажити в децентралізоване сховище для архівування. Якщо всі вузли Rollup перейдуть в автономний режим (особливо в поточній ситуації з єдиним серіалізатором), користувачам потрібно буде завантажити історичні дані з децентралізованої системи зберігання та об’єднати їх із даними blob з Ethereum L1, щоб реконструювати стан.
Під час розробки Rollup було багато компромісів між безпекою, децентралізацією та економічною ефективністю. Наприклад, ми використовуємо ZKP для перевірки стану для посилення безпеки, але це вимагає більшої обчислювальної потужності, а також робить транзакції дорожчими. Це компроміс між безпекою та ціною. Деякі ZK Rollups використовують рекурсивні докази для агрегування ZKP для кількох пакетів транзакцій, а потім надсилають зведені докази в L1. Це може заощадити витрати на газ на Ethereum і зменшити комісію за транзакції L2, але це також подовжить час для остаточного підтвердження транзакції.
Підведіть підсумки
Підводячи підсумок, повернемося до нашого початкового запитання: якого типу зведений Ethereum ми хочемо?
Перш ніж закінчити свою презентацію, я хочу підкреслити, що якщо хтось тут має чудові ідеї та потребує ресурсів для їх реалізації, будь ласка, не соромтеся звертатися до нас у Foresight Ventures.
Крім того, ми запрошуємо вас приєднатися до нашої інкубаційної програми Foresight X. Ми тут, щоб підтримати та розвивати ваш підприємницький шлях. Завдяки нашим глибоким знанням галузі та великим ресурсам ми забезпечимо успіх вашого проекту.
Крім того, якщо ви працюєте в академічній чи дослідницькій сфері, Foresight X пропонує конкурсні гранти для підтримки вашого дослідницького шляху.
Крім того, ми надаємо тут QR-код з усіма посиланнями, які можуть вас зацікавити, включаючи звіти про дослідження. Ви можете сфотографувати або відсканувати код для отримання додаткової інформації, і ви можете знайти мене в Twitter, якщо у вас виникнуть запитання після сеансу.
Ще раз дякую вам за ваш час; сподіваюся, вам усім сподобалось і гарного дня.
Щоб переглянути вміст PPT, натисніть тут: 0920).pdf