Віталік відкликає свою 2017 річну позицію «Гірський чоловік», посилаючись на ZK-SNARKs як на безпеку Ethereum

Ключові висновки:

• Віталік Бутерін публічно відмовився від зауваження 2017 року щодо повної самостійної верифікації користувачів
• Досягнення у ZK-SNARKs тепер дозволяють перевіряти стан блокчейну без повторного програвання всієї історії
• Бутерін визначає самостійну верифікацію як резервний механізм для підвищення стійкості Ethereum до збоїв і цензури

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

Детальніше: Віталік Бутерін підтримує критиків, оскільки Zcash стикається з глибшою розколом через просування голосування за токени

Зміст

• Повторний розгляд дебатів 2017 року щодо блокчейну
  • ZK-SNARKs змінюють рівень витрат
  • Верифікація без повторного програвання ланцюга
• Реальні збої формують філософію Ethereum

Повторний розгляд дебатів 2017 року щодо блокчейну

Коментар, опублікований Бутеріним, виник у результаті суперечки з дослідником у галузі блокчейну Іаном Грінгом. Грінг тоді пропонував використовувати блокчейни для фіксації порядку транзакцій, але не для створення будь-яких зобов’язань щодо стану, включаючи баланси рахунків або збереження смарт-контрактів. Ідея полягала в тому, що стан буде відтворюватися за запитом, замість зберігання на ланцюгу.

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

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

Детальніше: Віталік Бутерін продає два мем-коіни, заробляє $114.7K у 13,889 USDC та 28.58 ETH

ZK-SNARKs змінюють рівень витрат

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

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

Верифікація без повторного програвання ланцюга

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

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

Реальні збої формують філософію Ethereum

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

Інші ризики, які він виділив, включають концентрацію валідаторів, можливі атаки 51%, і цензуру посередників, і він посилається на інциденти, такі як обмеження Tornado Cash, як нагадування про те, що прямий доступ до ланцюга може стати необхідністю.

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