Коротко

  • Співзасновник Ethereum Віталік Бутерін опублікував у суботу статтю «Криптографічний світовий комп'ютер», виклавши своє бачення наступного десятиліття мережі.
  • Бутерін стверджує, що мережа вже є гібридом блокчейну та сучасної криптографії, і називається блокчейном «з історичних причин».
  • Користувачі отримуватимуть фінальність за 8–32 секунди, порівняно з приблизно 200 секундами для 12 підтверджень сьогодні.

Наступне оновлення Ethereum стане останнім, яке впізнав би хтось із 2015 року, написав його співзасновник Віталік Бутерін у дописі, опублікованому в суботу.

Hegota, форк запланований на наступний рік, «ймовірно, стане останнім „звичайним“ форком Ethereum», сказав він. Те, що йде далі, включає рекурсивні STARK, автоматизовану формальну верифікацію, сильно оптимізований консенсус і забезпечення квантової стійкості всього цього.

Ethereum після Lean називається блокчейном «значною мірою з історичних причин», написав Бутерін.

Насправді, стверджував він, це «гібридна конструкція», що поєднує ідеї Сатоші Накамото з криптографічним апаратом, який з'явився в результаті 50 років академічної роботи і «навіть не існував» у 2009 році. Ця архітектура, написав він у твіті, «уможливить набагато потужніші властивості», ніж сам блокчейн.

Myriad: Куди рухається Ethereum далі? Натисніть, щоб зробити свій прогноз.
Myriad: Куди рухається Ethereum далі? Натисніть, щоб зробити свій прогноз.

Верифікація, консенсус і побудова блоків

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

Остаточність наставала б за 8–32 секунди проти приблизно 200 секунд для 12 підтверджень сьогодні, слоти тривали б 4–8 секунд, а для запуску вузла знадобилося б значно менше обладнання. Стійкість до цензури забезпечувалася б FOCIL — схемою, у якій комітет валідаторів публікує список очікуваних транзакцій, які має містити наступний блок, і це забезпечується правилом вибору форку, так що блоки, які їх пропускають, ігноруються. Бутерін описав результат як «гарантоване включення транзакцій у реальному часі».

Конфіденційність надходить частинами: обчислення загального призначення залишаються дорогими й лише частково приватними, тоді як спеціалізовані застосунки отримують «дуже сильну конфіденційність» завдяки доказам з нульовим розголошенням і приватній абстракції акаунтів. Цибулева маршрутизація та мікс-мережі охоплювали б мережевий рівень — роботу, яку Ethereum Foundation забезпечила ресурсами через спеціальний кластер конфіденційності, запущений минулого жовтня.

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

Децентралізація як перевага

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

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

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

Складніша найближча проблема є відносно буденною. Зробити докази з нульовим розголошенням достатньо швидкими й безпечними — це «інкапсульована складність», яку вже оптимізують за допомогою інструментів ШІ, писав він. Керування та розпаралелювання доступу до дуже великих обсягів стану залишається «складнішим і системно комплексним».

Цей пост читається як зрозумілий супутній матеріал до Strawmap — чернеткового графіка Ethereum Foundation із семи форків до 2029 року, який Бутерін назвав «дуже важливим документом», коли Джастін Дрейк опублікував його в лютому. Тоді як той викладає залежності форк за форком, пост Бутеріна вказує на кінцевий пункт призначення: час слота скорочується з 12 секунд до двох, фінальність падає з приблизно 16 хвилин до однозначних чисел, а вся мережа замінюється компонент за компонентом у тому, що Бутерін тоді назвав перебудовою «корабля Тесея».