Бутерін розповідає про переломний момент у стратегії зобов’язань у блокчейні

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

Завдання та обмеження уникнення комітменту стану

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

На відміну від цього, дизайн Ethereum пропонує інший підхід. Комітмент стану через заголовки блоків із використанням технології меркельних дерев дозволяє, за умови існування кількох чесних вузлів, ефективно використовувати технології доказів із нульовим знанням (ZK-протоколи). Це дає практичну перевагу — можливість підтверджувати валідність стану без повторного виконання всіх транзакцій, доводячи їхню правильність у межах довіри.

Нові можливості перевірки за допомогою технологій нульових знань

Останнім часом Бутерін наголошує на важливості технологій доказів із нульовим знанням, зокрема ZK-SNARKs. Ці технології можуть стати проривом у вирішенні довготривалих проблем безпеки та масштабованості блокчейну. Механізм, що дозволяє математично довести правильність усіх транзакцій без їх повторного виконання, відкриває нову парадигму перевірки, відмінну від традиційних стратегій комітменту.

Поєднання самоперевірки та стратегії комітменту

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

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