Віталік попереджає, що складність Ethereum загрожує довіреному дизайну

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

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

Простота як основа довіри та виходу

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

Він також посилався на “тест виходу”, який вимірює, чи можуть нові команди безпечно відновлювати клієнтів. Однак Бутерін зазначив, що роздувані кодові бази створюють перешкоди для замінних розробників. З ростом складності різноманітність клієнтів зменшується, оскільки менше команд здатні керувати технічним навантаженням.

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

Зворотна сумісність і управлінські компроміси

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

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

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

“Збирання сміття” та обережне спрощення

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

По-друге, він закликав обмежити залежність від складної криптографії. Менше припущень, за його словами, покращують ясність безпеки. Третє, він наголосив на додаванні інваріантів, що спрощують розробку клієнтів.

Він навів EIP-6780 та EIP-7825 як приклади. Ці зміни зменшили складність мутацій стану та обмежили витрати на обробку транзакцій. Також він згадував минулі очищення, включаючи перехід Ethereum від proof-of-work до proof-of-stake.

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