Віталік Бутерін виступає за «збирання сміття» для зменшення складності Ethereum та зміцнення самовладності

Коротко

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

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

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

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

Віталік Бутерін окреслює рамки спрощення Ethereum для зменшення складності та збереження довгострокової безпеки

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

Віталік Бутерін окреслив рамки для «спрощення» протоколу Ethereum, наголошуючи на трьох основних цілях

Перша — мінімізувати загальну кількість рядків коду, щоб протокол міг поміститися на одну сторінку або, принаймні, залишатися компактним і зрозумілим. Друга — обмежити залежність від складних технічних компонентів, віддаючи перевагу дизайнам, чия безпека залежить від простих механізмів, таких як один хеш-функція, а не від кількох складних криптографічних конструкцій. Третя — збільшити кількість основних інваріантів — властивостей протоколу, на які можна покладатися для передбачуваної поведінки. Приклади включають EIP-6780, який обмежує зміни слотів збереження для спрощення розробки клієнтів, і EIP-7825, який обмежує витрати на обробку транзакцій, сприяючи більш ефективному паралельному виконанню та підтримці ZK-EVM.

Віталік Бутерін описав «збирання сміття» як процес, що може відбуватися або поетапно, або масштабно. Послідовні покращення включають оптимізацію існуючих функцій для зменшення складності та підвищення ясності. Прикладом є реформи вартості газу, впроваджені в Glamsterdam, які замінили раніше довільні витрати системою, прив’язаною до чітко вимірюваних ресурсних витрат. Масштабні трансформації включали перехід від proof-of-work до proof-of-stake, а майбутні ініціативи, такі як оновлення Lean, мають дозволити одночасне усунення кількох недоліків протоколу.

Ще один підхід, який він називає «зворотною сумісністю у стилі Rosetta», полягає у збереженні складних, але рідко використовуваних функцій у зменшеній формі, де вони реалізовані як смарт-контракти, а не обов’язкові елементи протоколу. Це дозволяє новим розробникам клієнтів уникати обробки застарілих або рідко використовуваних компонентів. Наприклад, після повної реалізації нативної абстракції акаунтів, типи транзакцій застарілих систем можна буде вивести з обігу, а зовнішні облікові записи перетворити на смарт-контракти-гаманці, здатні обробляти ці транзакції. Аналогічно, існуючі попередні компіли можна замінити кодом EVM або RISC-V, а згодом сама віртуальна машина може перейти з EVM на більш просту архітектуру, зберігши оригінальний EVM у вигляді смарт-контракту у новому середовищі.

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