Новое выступление Виталика: симбиоз интеллекта и цепей — как блокчейн и ИИ изменят финансы, данные и сотрудничество?

Оригинал от Wanxiang Blockchain Labs

Автор Виталик Бутерин

Доброе утро всем. Сегодня я расскажу о довольно сложной технической теме, поэтому буду говорить на английском.

Сегодня я хочу поговорить о масштабной теме. Мы всё это время обсуждали блокчейн и криптовалюты, и это продолжается уже более 15 лет. Например, в Шанхае блокчейн-мероприятия проводятся уже более десяти лет, а биткоин появился в 2009 году. На первый взгляд инструменты и технологии, которые мы создаём, всё ещё похожи, но на самом деле за последние 15 лет появилось много различий, и я считаю, что эти различия крайне важны.

Одна из причин в том, что для пользователей это означает, что типы активов, которые вы получаете, и типы издержек, которые вы несёте, сильно отличаются от того, что мы ожидали раньше. 10–15 лет назад даже наши представления о целях и о том, чего мы пытаемся достичь, значительно изменились.

15 лет назад блокчейн был нашим главным инструментом: биткоин сочетал блокчейн, подписи и доказательство работы. Ethereum добавил смарт-контракты и в 2022 году перешёл на доказательство доли — всё это были инструменты, которые мы тогда использовали. Итак, это свойство, которое вы получаете от использования блокчейна.

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

Зуко, создатель Z-Cash, любит говорить: публичный блокчейн — это как Twitter для банковских счетов. В 2009 году была опубликована белая книга, и я считаю, что базовые ответы на эти вопросы, например, что имена людей не привязываются напрямую к их транзакциям, были приемлемы при наличии сильной защиты приватности. Но теперь у нас есть чрезвычайно мощные средства анализа данных и чрезвычайно мощный искусственный интеллект, и этот ответ явно устаревает. В то же время люди хотят, чтобы устройства делали больше: они хотят, чтобы устройства обладали большей производительностью, людям интересны не только платёжные функции, но мы хотим, чтобы платёжные функции были более мощными и превосходящими. Поэтому обе стороны хотят двигаться дальше. И во многих местах нам действительно нужно двигаться дальше.

Поэтому самые большие изменения происходят в технологической сфере. За последние десять лет мы пережили рост доказательств с нулевым разглашением, включая SNARK, а затем квантово-безопасную версию SNARK — STARK. Эти объекты позволяют проверить вычисление: один человек выполняет вычисление, генерирует доказательство, а все остальные проверяют его. Вычисление происходит так, а процесс проверки становится гораздо эффективнее.

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

Изначальная технология требовала, чтобы каждый заново выполнял все операции, поэтому вы жертвовали масштабируемостью и приватностью. SNARK и STARK изменили обе эти вещи. Об этом говорят уже десять лет, но с каждым годом это всё ближе к реальности. Я считаю, что самое большое изменение в этом году — все планы переходят на все эти технологии. Они больше не являются частью будущего и не находятся в будущих дорожных картах: теперь есть EIP, а именно EIP-8288, и мы надеемся, что он войдёт в I-STARK (звучит так) через два года, возможно, вместе с искусственным интеллектом или раньше. Это «соломенные карты», где всё, что появится после следующих двух лет форков, будет использовать STARK повсюду, и это серьёзное изменение.

Ещё одно серьёзное изменение — теперь есть более мощные технологии, и я считаю, что они тоже скоро появятся. Это полностью гомоморфное шифрование, то есть FHE, которым уже пользуются многие. Кроме того, технологии обфускации и IO долгое время считались далёким будущим, но на самом деле их версии становятся всё более реализуемыми в более короткие сроки, быстрее, чем многие думали. Итак, у нас есть более мощные технологии. Эти мощные технологии дают нам многое, например, возможность параллельно обрабатывать блокчейн, причём параллельная обработка начинается ещё до того, как транзакция попадает в блок.

FOCIL — это EIP, который входит в H-START (звучит так), и это первый пример участия нескольких сторон в построении блока в Ethereum. Блок создаётся не одним участником, а шестнадцатью участниками, и в конце его завершает один финальный строитель. Цель — дать более сильную гарантию: если вы отправляете транзакцию, она будет включена в следующий слот. Ни один субъект не сможет её отложить.

Помимо FOCIL, есть EIP-8288 и EIP-828H (звучит так), и всё это показывает, что у вас есть очень большие доказательства, очень крупные и дорогие объекты, и нам на самом деле не нужно помещать их прямо в блокчейн. Вместо этого можно использовать масштабную параллельную обработку, чтобы доказать все доказательства, и этот процесс происходит вне цепи, в мемпуле, в промежутках: когда вы отправляете транзакцию и она попадает в цепь, в этом пространстве она заменяет все объекты одним доказательством того, что все они существуют. Таким образом, в области медиатехнологий произошло много изменений.

Но я считаю, что важность этих изменений в том, что они действительно меняют наш образ мышления о целях таких систем. Прежде всего, важный вопрос: что мы защищаем? Биткоин говорит, что мы защищаем один вид данных — «валюту биткоин». Если вы можете выпускать собственные цифровые активы, мы тоже можем их защищать. Используя современные криптографические активы и информацию, в биткоине и Ethereum криптография и код выдают ответ на вопрос «кто что может отправить». Какой актив кому принадлежит? Кто и когда может отправить какой актив? Теперь мы вступаем в эпоху программируемой криптографии, где код определяет, кто что может видеть. Итак, кто что может видеть, какая информация — не только кто может отправлять, но и кто может видеть? Это становится программируемым. Где происходят вычисления? 15 лет назад блокчейн был просто блокчейном.

В ближайшие 5 лет, я думаю, это будет только ускоряться. Мы ускоряемся в том смысле, что у нас не просто один блокчейн, а целый канал, огромная криптографическая сеть с полным каналом: пользователи выполняют много вычислений локально, большая часть работы завершается ещё до того, как данные покидают устройство пользователя, затем транзакция проходит через пул. Пулы бывают разных типов с разными свойствами приватности. Затем она агрегируется, участвуют разные типы участников, происходит построение блока, и затем он записывается в цепь. Теперь этот механизм: одна и та же транзакция большой монеты обрабатывается заново каждым узлом, а в Ethereum одно доказательство проверяется много раз.

Наконец, чем мы жертвуем? Я считаю, это хороший вопрос. Если я жертвую масштабируемостью, я жертвую и задержкой. Централизованные системы могут обеспечить задержку 100 миллисекунд, иногда до 300 миллисекунд по всему миру. У биткоина задержка составляет 600 миллисекунд, или около 590 миллисекунд, примерно 10 минут. А Ethereum сейчас требует 12 секунд на создание блока и 16 минут на окончательное подтверждение. Но в будущем, даже теоретически, Ethereum, как ожидается, снизит это до 4–8 секунд на блок и 8–32 секунд на окончательное подтверждение, а также масштабируемость — это серьёзное изменение. То есть архитектура блокчейна больше не всегда будет требовать таких больших жертв: в плане масштабируемости она будет жертвовать, но не масштабируемостью, а масштабируемой универсальностью. Она пожертвует способностью выполнять вычисления с чрезвычайно высокой масштабируемостью. Если вы не накладываете на систему никаких ограничений и не даёте никаких гарантий, регулирующих её вычислительное поведение, если у вас есть вычислительная мощность и вы можете упаковать её, разделить на две части, которые могут выполняться отдельно, проверяться отдельно и работать до того, как что-либо произойдёт, даже до входа в цепочку поставок, тогда чрезвычайно высокая масштабируемость действительно становится возможной, верно? Поэтому,

если рассматривать блокчейн как полную систему, включающую L1, L2 и мемпулы — мемпулы, L2, инструменты, — все эти системы превращаются в очень сложный промежуточный слой, который вы или ваш агент можете решать, возможно, потому что искусственный интеллект помогает делать их красивее. Но по сути каждое звено рабочего процесса ускоряется искусственным интеллектом. До появления ИИ у нас были доказательства с нулевым разглашением, но только очень простые криптографические приложения, и это было возможно лишь в некоторых случаях. Одна из причин в том, что если количество строк кода превышает примерно 100 или 1000, то почти наверняка в нём появятся уязвимости.

Мы считаем, что можем использовать это для проверки, можем использовать разные виды избыточности, тесты, спецификации, анализ, и тогда сможем создавать более крупные и сложные вещи. Например, в эпоху после появления ИИ мы можем поместить всё, что мы делаем, в криптографию, а также алгоритмы, которые мы используем, хотя их накладные расходы велики.

Теперь накладные расходы в 100 раз и даже ниже обычно возможны. Для ZK-SNARK мы уже достигли накладных расходов менее чем в 10 раз применительно к выводу ИИ. Мы достигли накладных расходов менее чем в 10 раз для некоторых типов хеширования. Затем у нас есть FLoC, где накладные расходы, кажется, примерно в 250 раз, но на самом деле эта цифра быстро снижается. До проверки всего этого всё делалось вручную. Теперь формальная верификация — ещё одно серьёзное узкое место, и я считаю, что это одна из главных причин, почему L2 не оправдали ожиданий. До сих пор существовало ограничение: степень защиты ограничена, поэтому нужна избыточность, нужны несколько систем проверки, нужны комитеты безопасности.

А новая технология — формальная верификация: при необходимости можно даже использовать несколько спецификаций для одной реализации. То есть вы можете разными способами, с разными людьми, разными агентами, разными командами выразить, что именно делается, а затем автоматически и математически доказать, что все они выражают одно и то же. Если в итоге они выражают разное, то ваша основа становится гораздо меньше, и каждый может обратиться к ней, чтобы лучше понять, какая сторона права.

Итак, происходит огромный прогресс, и в мире Ethereum идёт огромный прогресс как на уровне протокола, так и на уровне приложений. Я призываю всех посетить наш сайт drawmap.org и посмотреть на протокол Ethereum. Если присмотреться, можно увидеть, что каждая усердная работа примерно через год будет участвовать в этом: очень продвинутые криптографические функции, размещение всего внутри состояния, размещение всего внутри виртуальной машины, агрегация, формальная верификация всего, развёртывание квантово-безопасных алгоритмов подписи. Все эти факторы вместе превращают теорию из простого блокчейна в более крупную сеть с разными уровнями. Одно из преимуществ, я считаю, в том, что искусственный интеллект не только помогает нам быстрее строить всё это, но и строить всё это более безопасным способом.

Конечно, безопасность — это то, на чём мы действительно решили сосредоточиться, и в Ethereum мы действительно на ней сосредотачиваемся, но искусственный интеллект, я думаю, также облегчает всем присутствующим понимание всех этих вещей. Поэтому, если кто-то является разработчиком или исследователем, я бы очень рекомендовал попытаться понять различные части, которые создаются, понять различные компоненты, узнать, какими свойствами обладают разные компоненты, и попытаться выяснить, есть ли какая-то конкретная часть, в которую вы хотите или можете внести вклад.

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

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

Спасибо!