[Коротко] Сооснователь Ethereum Віталік Бутерін у суботу опублікував статтю «The cryptographic world computer», в якій розглядає свої погляди на розвиток мережі протягом наступного десятиліття.
Бутерін вважає, що Ethereum вже є поєднанням блокчейну та сучасної криптографії, але через «історичні причини» його називають блокчейном.
Він написав, що наступне оновлення Ethereum буде останнім, якого люди ще зможуть впізнати з 2015 року. Buterin зазначив, що запланований на наступний рік форк Hegota «ймовірно, буде останнім «звичайним» форком Ethereum». Після цього дорожня карта буде включати рекурсивні STARK, автоматизовану формальну верифікацію, високооптимізований механізм консенсусу та перетворення всієї системи в стійку до квантових атак.
Бутерін написав у X: «Криптографічний світовий комп’ютер: https://t.co/ueayODeUPo Я намагався висловити це відносно стисло — суть того, що насправді означає все, що планується відбутися на Ethereum з моменту розгалуження Hegota. Це більше не просто блокчейн. Це гібрид…»
Бутерін написав, що після Lean Ethereum це все ще в основному називають блокчейном «переважно з історичних міркувань».
Він вважає, що за суттю це «гібридна структура», яка поєднує ідеї Накамото з криптографічними інструментами, розробленими протягом 50 років академічних досліджень, які в 2009 році «навіть не існували». У своєму твіті він зазначив, що така архітектура «запровадить властивості, значно потужніші, ніж у простого блокчейну».
Перевірка, консенсус та побудова блоків
Бутерін сказав, що три ключові властивості будуть повністю замінені. Верифікація перейде від завантаження та повторного виконання кожного блоку до вибірки даних через PeerDAS та перевірки SNARK. Консенсус перейде на «значно оптимізовану» модель довідного доказу. Створення блоків зміниться від того, щоб один майнер вирішував вміст блоку, до спільного створення кількома учасниками.
Він зазначив, що фінальність скоротиться з теперішніх приблизно 200 секунд, необхідних для 12 підтверджень, до 8–32 секунд; час слоту буде становити 4–8 секунд, а обладнання, необхідне для запуску вузлів, буде значно меншим. Здатність до опору цензурі походить від FOCIL: у цій схемі комітет, складений із верифікаторів, кожен публікує список очікуючих транзакцій, які мають бути включені в наступний блок, і це змушується правилами вибору розгалуження, тому блоки, що ігнорують ці транзакції, вважаються недійсними. Бутерін описав це як «гарантоване включення транзакцій у реальному часі».
Приватність буде впроваджуватися поступово. Універсальні обчислення залишаться дорогими і зможуть забезпечити лише часткову приватність, тоді як застосунки з конкретним призначенням отримають «дуже сильну приватність» завдяки нульовим знанням та абстракції приватних акаунтів. Мережевий рівень буде покритий мережами onion routing та міксерів. У жовтні минулого року Фонд Ефіріум запустив спеціальну команду з приватності для підтримки цієї роботи.
Розробники відчувають зміни в вартості gas. Buterin написав, що та сама обчислювальна робота буде дорожчою, якщо «все розмістити в одному незрозумілому, послідовно виконуваному транзакції»; якщо ж її розділити на залежності, які можна обробляти паралельно, або відокремити до того, як транзакція потрапить у блок, вартість буде нижчою.
Децентралізація як перевага
Бутерін вважає, що децентралізація більше не є лише витратами. Вона дозволяє паралельно зберігати дані, паралельно виконувати обчислення в mempool та приховувати метадані способами, які неможливі для централізованих систем.
Він сказав, що це був саме мрія середини 2010-х років, але тоді вона провалилася лише через одне: не було способу перевірити, чи розбиту роботу було справді правильно виконано. Випадкова комісія з вибору «була складною та витратною», що збільшувало затримки, і «якщо комісія зазнавала невдачі, не було засобів виправлення». Сучасна криптографія вирішила цю проблему, і її витрати «щомісяця зменшуються».
Далі йде нерозрізнення-обфускація (indistinguishability obfuscation). Бутерін описав її як «Святий Грааль», оскільки вона повністю усуне компроміс між приватністю та універсальністю. Однак він чітко зазначив, що жоден з висновків цієї статті не залежить від неї, і «усі висновки цієї статті будуть дійсними набагато раніше, ніж ця технологія стане справді доступною».
Більш близькі та складніші питання відносно прості: зробити нульові знання достатньо швидкими та безпечними — це частина «упаковки складності», яка вже оптимізується за допомогою інструментів ШІ, написав він; а керування та паралелізація доступу до величезних обсягів стану — «складніше та більш складно на системному рівні».
Ця стаття звучить як просте пояснення Strawmap від Фонду Ефіріум. Strawmap — це дорожня карта, розроблена фондом, яка передбачає сім форків до 2029 року; коли Джастін Дрейк опублікував цей документ у лютому, Бутерін назвав його «дуже важливим документом». Якщо Strawmap послідовно перелічує залежності між форками, то стаття Бутеріна вказує на кінцеву мету: час слоту зменшується з 12 секунд до 2 секунд, фінальність скорочується з приблизно 16 хвилин до кількох хвилин, а вся мережа, як «корабель Тесея», поступово замінюється та відновлюється компонент за компонентом.