Виталик отзывает свою 2017 года «горную легенду», ссылаясь на ZK-SNARKs как на гарантию безопасности Ethereum

Ключевые выводы:

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

Одна из позиций, обсуждавшихся соучредителем Ethereum Виталиком Бутериным в 2017 году и с тех пор измененная, свидетельствует о том, насколько изменились технологии блокчейн и его собственное восприятие их актуальности. В недавнем посте в X Бутерин объяснил, почему он больше не согласен со своей ранней критикой полной пользовательской самопроверки, часто высмеиваемой как подход «Горного человека».

Подробнее: Виталик поддерживает критиков, поскольку Zcash сталкивается с углубляющимся расколом по поводу продвижения голосования за токены

Оглавление

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

Повторный разбор дебатов 2017 года о блокчейне

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

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

В 2017 году Бутерин считал, что полная самопроверка не подходит большинству пользователей из-за высокой вычислительной стоимости. Его позиция была ориентирована на технологические ограничения того времени и компромиссы, которые разработчики должны были принимать, чтобы обеспечить практичность блокчейнов.

Подробнее: Виталик Бутерин продает два мемкоина, заработав 114,7 тыс. долларов на 13 889 USDC и 28,58 ETH

ZK-SNARKs меняют уравнение стоимости

Самое значительное, по словам Бутерина, — это развитие систем доказательств с нулевым разглашением, особенно ZK-SNARKs. Пользователи могут использовать такие инструменты, чтобы проверить, что состояние блокчейна точное, не воспроизводя всю историю транзакций.

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

Проверка без воспроизведения цепочки

ZK-SNARKs позволяют убедиться, что цепочка действительна, не жертвуя вычислительными затратами, которые ранее делали самопроверку непрактичной. В случае Ethereum это открывает путь к более надежным гарантиям, связанным с децентрализацией, без ущерба для удобства использования или масштабируемости.

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

Реальные сбои формируют философию Ethereum

Помимо криптографии, Бутерин подчеркнул, чему он научился, когда в реальном мире происходили сбои. P2P-сети могут аварийно завершить работу, задержки могут резко возрасти, а давно устоявшие сторонние сервисы могут просто исчезнуть. В такие моменты слабостью является зависимость пользователей от разработчиков или централизованной инфраструктуры.

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

Для Бутерина самопроверка — это не ежедневная необходимость, а механизм безопасности. «Хижина Горного человека» — это убежище, на которое пользователи могут опереться, когда системы выходят из строя, и само его существование повышает баланс сил. Он сравнил это с ролью BitTorrent в поддержании честности стриминговых платформ.