- Виталик Бутерин изменил своё мнение 2017 года о полной верификации пользователей.
- ZK-SNARK теперь позволяют проверять корректность всей цепочки без повторного воспроизведения всех транзакций.
- Бутерин отметил, что такие провалы, как цензура, сбои и концентрация валидаторов, изменили его взгляды.
Соучредитель Ethereum Виталик Бутерин заявил, что больше не согласен с постом от 9 июня 2017 года, в котором он отверг идею о том, что обычные пользователи проверяют всю историю блокчейна.
Этот комментарий прозвучал во время дебатов о том, должны ли блокчейны хранить только порядок транзакций или фиксировать полное состояние системы, например, балансы и данные смарт-контрактов.
В то время Buterin выступала против дизайнов, при которых пользователи могли восстановить состояние только повторяя каждую транзакцию или доверяя третьим лицам.
Ethereum выбрал фиксировать корни состояния напрямую в заголовки блоков, что позволяет любому пользователю доказать баланс или стоимость контракта с помощью доказательства Merkle. Эта конструкция опирается на честное большинство валидаторов, а не на одного поставщика услуг.
Бутерин говорил, что модель всегда лучше, чем доверять одному RPC-конечному пункту, но всё равно не даёт пользователям настоящей резервной опции при поломках системы.
Доказательства ZK изменяют уравнение стоимости
Основной сдвиг произошёл благодаря доказательствам с нулевым знанием. По словам Бутерина, ZK-SNARK теперь позволяют пользователям проверять корректность цепочки без повторного запуска каждой транзакции с момента генериса. Это устраняет старый компромисс между доверием и вычислительными затратами.
Проще говоря, теперь пользователи могут проверять правильность состояния полной цепочки, используя компактные доказательства вместо исходного исполнения. Это снова делает полную проверку практичной, не заставляя блоки делать слишком малые, чтобы сеть становилась непригодной для использования.
Бутерин охарактеризовал это как прямой ответ на дебаты, вызванные войнами размеров блоков, при этом оставшиеся ограничения были связаны главным образом с пропускной способностью данных и централизацией производства блоков.
С появлением этого инструмента, по его словам, компромиссы, достигнутые в предыдущие годы, больше не действуют.
Режимы отказа важнее теории
Бутерин также отметил, что его мышление изменилось из-за реальных сбоев, таких как сбои P2P, скачки задержек, отключения провайдеров и концентрация наборов валидаторов. Он добавил, что цензура появляется, как это было видно во время ограничений Tornado Cash.
В таких случаях призыв пользователей полагаться на разработчиков становится формой централизованного контроля. Когда единственное решение требует глубокой технической работы, многие пользователи теряют доступ к средствам или полностью выходят из системы.
Бутерин отметил, что блокчейны, рассчитанные на десятилетия, должны предлагать крайний вариант, позволяющий пользователям работать самостоятельно, если всё остальное не сработает. Он описал полную проверку как безопасную кабину, а не как повседневный образ жизни. Его ценность заключается в постоянной доступности.
Знание того, что пользователи могут вернуться к нему, также заставляет посредников вести себя лучше, подобно тому, как BitTorrent оказывает давление на медиаплатформы.
Disclaimer: The information presented in this article is for informational and educational purposes only. The article does not constitute financial advice or advice of any kind. Coin Edition is not responsible for any losses incurred as a result of the utilization of content, products, or services mentioned. Readers are advised to exercise caution before taking any action related to the company.
