Найновіші моменти AMA Ethereum Foundation: набір валідаторів, випадкове число, DVT, Layer2

Компіляція | ГаріМа Ву сказав блокчейн

12 липня дослідницька група Ethereum Foundation провела 10-й AMA на форумі reddit.Учасники спільноти можуть публікувати запитання в публікації, а учасники дослідницької групи дадуть на них відповідь. Ву сказав, що відповідні питання/технічні моменти, пов’язані з цим AMA, узагальнено та складено таким чином:

1. Вихід із валідатора: дозвольте валідатору відкликати сертифікат із рівня виконання (0x01), щоб ініціювати вихід. Якщо баланс менший за 16 ETH (виникне штраф за вільну роботу або подія конфіскації), валідатор буде вигнано з Тут 16 ETH. Чи планка занадто низька?

В основному це пов’язано з чернеткою EIP-7002. Зрозуміло, що Денні Раян та інші дослідники спільно випустили чернетку EIP-7002, яка має на меті дозволити валідаторам відкликати облікові дані зі свого рівня виконання (0x01), щоб ініціювати вихід до маяка. ланцюг. Оскільки валідатор має два ключі: активний ключ і сертифікат відкликання, наразі лише активний ключ може ініціювати вихід із валідатора, що означає, що в будь-яких нестандартних відносинах депонування власник сертифіката відкликання не може самостійно відмовитися від участі та почати процес вилучення. Щоб гарантувати, що сертифікати зняття, які зберігаються EOA та смарт-контрактами, можуть контролювати заставу ETH без довіри, ця специфікація дозволяє сертифікатам на зняття 0x01 ініціювати вихід. Ця пропозиція сприятиме розвитку треків, таких як ліквідний стейкінг і розподілена перевірка, сприятиме подальшій децентралізації ланцюга маяків і в той же час краще керувати ризиками, такими як втрата закритих ключів або втрата верифікаторів DVT з більшістю Спільні ключові підключення тощо.

2. Проблема випадкових чисел: RANDAO + VDF

RANDAO — це спосіб генерації випадкових чисел.Припустімо, що в класі 10 учнів, і вчитель хоче випадковим чином вибрати учня, щоб дати йому винагороду. Метод відбору, запропонований вчителем, полягає в тому, що всі учні дають випадкове число одночасно, вчитель додає 10 отриманих випадкових чисел, і останнє отримане число є залишком від 10, а число, що залишилося, є учнем, який слід вибрати. Однак проблему насправді можна виявити з наведеного вище процесу роботи RANDAO. Якщо однокласник обманює і дає випадкові числа 9 однокласникам, то він може вибрати число, яке буде найбільш вигідним для нього на основі інформації про випадкові числа, наданої 9 однокласниками, так що кінцевий результат вказує на нього самого. Тому для ефективної роботи RANDAO потрібне запровадження механізму проти шахрайства, тобто потрібен певний метод, щоб гарантувати, що всі дають відповіді одночасно. VDF також став у нагоді. Повна назва VDF Verifiable Delay Function Важлива особливість цієї функції полягає в тому, що процес обчислення для отримання результату не може обчислюватися паралельно, тобто його неможливо прискорити. Однак після отримання результату кількість обчислень для перевірки результату дуже мала. VDF реалізується за допомогою хеш-функції, а характеристика повільного обчислення та швидкої перевірки хеш-функції також узгоджується з природою VDF.

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

3. Чи SSV (Secret Shared Verifier) і DVT (Distributed Verifier Technology) «обов’язкові» для Ethereum?

У зв’язку з тим, що понад 20% акцій Ethereum обіцяють отримати, зважаючи на ризик централізації потенційних операторів вузлів, двоє членів дослідницької групи заявили, що така технологія може бути «обов’язковим» рішенням у коротко- та середньостроковій перспективі.

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

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

4. Максимальний ефективний баланс: збільшення верхньої межі застави валідатора (32 ETH) може зменшити кількість валідаторів у мережі, щоб досягти швидшої завершеності транзакції (один слот-завершеність), наприклад: 1) Верхній обмеження 32 ETH Без змін, але обмеження верхньої межі кількості верифікаторів мережі; 2) Чи враховувати кількість атестацій (атестацій) верифікаторів у вазі голосування.

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

Варіант 2 змінить модель безпеки протоколу та зменшить труднощі для зловмисників у реорганізації ланцюжка.

Нещодавно була надіслана пропозиція спільноти збільшити максимальний активний баланс валідатора з 32 ETH до 2048 ETH, щоб зменшити зростання набору активних валідаторів.

5. Який поточний прогрес SSLE/Єдиних таємних виборів лідера?

Віталік сказав, що SSLE все ще знаходиться на стадії дослідження. Оскільки не було доведено, що несекретність Лідера є проблемою, пріоритет SSLE буде відносно низьким.

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

6. Чи є оновлення щодо поточної технічної дорожньої карти Ethereum?

Віталік сказав, що більшість із них просуваються за графіком. Звичайно, є також переналаштовані пріоритети. Наприклад, у квітні через уразливість Mev-Boost шкідливі верифікатори атакували MEV-ботів. Зараз PBS на рівні протоколу буде покращено (розділення пропонентів і розробників). Занепокоєння щодо потенційних ризиків безпеки, пов’язаних із повторним ставленням (повторним ставленням), збільшить пріоритет оптимізації та спрощення досвіду індивідуального розміщення ставок.

Крім того, у загальному напрямку, що має бути пріоритетним, це ефективна допомога багатьом речам на рівні екосистеми, наприклад, розумні гаманці ERC-4337 повинні досягти дружнього крос-L2 і підвищити ефективність газу.

7. Чи може EIP4844 вирішити проблему фрагментації ліквідності L1 і L2?

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

8. Джастін Дрейк запропонував ідею під назвою Based Rollups для вирішення проблеми сортування Rollups (сортування в L1). Чи вона вже реалізована?

Базовані зведення (або зведення, які називаються впорядкуванням рівня L1) означають, що впорядкування мережі зведення відбувається на рівні L1, на якому вона заснована (у більшості випадків, мережа Ethereum). Якщо говорити точніше, то у випадку з Ethereum це означає, що Шукачі, Будівельники та Пропоненти в мережі беруть участь у впорядкуванні мережі Rollup.

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

Taiko, один із проектів zkEVM рівня 2, буде випущено у формі зведених пакетів.

Деякі люди можуть плутати й думати, що Based Rollups використовуватиме пул пам’яті, спільний з L1, але це не так, Rollups матиме власний пул пам’яті.

9. Занепокоєння щодо ризику централізації для розробників блоків?

Джастін Дрейк сказав, що поточний ринок розробників насправді дуже централізований (основний ризик централізації розробників – це цензура, і нинішнє краще рішення – продавати на аукціоні деякі блоки, такі як списки включення (списки включення), суфікси пропозицій (суфікси пропозицій), поправки до суфіксів пропонента: попередні зобов’язання та зашифрований mempool, знищення MEV тощо.

10. Якщо цього року кількість верифікаторів перевищить 1 мільйон, чи зможе основна мережа працювати стабільно? Скільки валідаторів може наразі підтримувати основна мережа?

Наразі команда клієнта вказує, що кількість верифікаторів, які може підтримувати основна мережа, становить від 1 до 2 мільйонів. Спільнота розробників також проводить відповідні дослідження.Наступна тестова мережа, Holesky, матиме 1 мільйон верифікаторів.

11. Чи буде Ethereum Foundation розпущено? Чим закінчиться Фонд?

Джастін Дрейк сказав, що Ethereum Foundation не має доходу, а деякі конференції зазвичай є некомерційними, і не використовуватимуть ETH у скарбниці для отримання прибутку. Якщо скарбниця Ethereum Foundation буде вичерпана, фінансування може надходити з двох джерел:

• Інфраструктура фінансування суспільного продукту в екосистемі;
• Відносно низький бюджет Ethereum L1;

12. Наразі не існує зрілого технічного рішення для виконання транзакцій перехресного зведення. Які ваші погляди та пропозиції?

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

13. Якщо продуктивність зведень у майбутньому стане вузьким місцем, чи можливо двошардинг на попередній стадії Ethereum повернутися на сцену?

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

Поки L1 EVM реалізує SNARKified (стадія Verge дорожньої карти Ethereum), Ethereum матиме закріплене зведення (зведення, яке користується певною консенсусною інтеграцією на L1). Можна також сказати, що Ethereum має закріплене зведення на консенсусному рівні L1 Виконайте сегментування. Після завершення важкої роботи SNARKifying у L1 EVM стає відносно легко розкрити саму логіку перевірки SNARK як коди операцій EVM. Таким чином можна реалізувати необмежену кількість закріплених зведень.На консенсусному рівні Ethereum ці закріплені зведення схожі на шардинг виконання основної мережі з масштабованістю та такою ж безпекою, що й основна мережа.