9 марта Мина поговорила со Стивом и Филом Келли о своем инкубаторе o1 Labs, начиная с того, что она видела и слышала на ETHDenver, и описывая будущие тенденции, содержащиеся в этом мероприятии. Обе стороны раскрыли самые последние новости о ведущих видах деятельности в отрасли с точки зрения сочетания индустрии искусственного интеллекта и шифрования, вариантов использования проверяемости ZK, логики реализации рекурсивных доказательств, анализа осуществимости замены виртуальных машин и анализа будущих тенденций.
Следующее составлено и составлено Odaily Planet Daily.
**Мина: Пожалуйста, представьтесь и расскажите о своих любимых дополнительных мероприятиях на этом мероприятии ETHDenver и кто, по вашему мнению, является самым успешным проектом на этом мероприятии? **
Стив: Привет всем, я Стив, руководитель продукта в o1 Labs. Я очень рано пришел в индустрию Web3 и относительно хорошо разбираюсь в области ZK. Прежде чем присоединиться к o1 Labs, я пять лет проработал в Cloudflare. Мой опыт работы с Cloudflare дал мне некоторое представление об экологическом строительстве.
Мое личное любимое дополнительное занятие — занятие Мины. На мероприятиях Мины всегда присутствуют самые разные люди, например, суперпрофессиональные криптографы ZK, энтузиасты конфиденциальности и либертарианства в области блокчейна.
Помимо Мины, лично я предпочитаю деятельность ZK Sync. В их книге «Объясните мне ZK на языке пятилетнего ребенка» повествование используется для живого и занимательного объяснения механизма протокола. Для меня этот стиль раздачи подарков как раз мой. Так рада поделиться этим со всеми вами.
Фил: Всем привет, я Фил Келли, занимаюсь развитием бизнеса в o1 Labs. Область моих способностей — финансовые услуги и компьютерные технологии. Я работал в таких компаниях, как ConsenSys, и баловался Ethereum. Переход из Ethereum в мир ZK — это очень сложный процесс обучения, который меня одновременно радует и радует.
По личным причинам мне нравится глубоко исследовать и понимать каждое событие, поэтому каждое событие является для меня ценной возможностью обучения в процессе общения со всеми.За исключением Мины, меня привлек Warm KX Mag. Был приглашен на их мероприятие для глубокого погружения в ZK и новую систему доказательств. Я так рад поделиться этим с вами сегодня.
**Мина: Сочетание искусственного интеллекта (ИИ) и криптовалюты (Crypto) действительно привлекает внимание в современной технологической индустрии. Эта тема затрагивает две очень горячие области: объединение искусственного интеллекта и криптовалюты может создать множество новых приложений и решений. Например, используйте технологию искусственного интеллекта для оптимизации стратегий торговли криптовалютой и повышения доходности инвестиций; или используйте технологию блокчейна для повышения безопасности и прозрачности моделей искусственного интеллекта, чтобы обеспечить конфиденциальность и безопасность данных. Итак, каковы, по вашему мнению, самые большие преимущества объединения искусственного интеллекта и криптовалюты? Какие новые приложения и решения они могут принести? **
Стив: Объединение искусственного интеллекта и криптовалюты действительно является технологической тенденцией, которая привлекла большое внимание в технологических кругах. Эта комбинация дает нам совершенно новый способ думать и внедрять технологические инновации, а также привлекает внимание многих инвесторов и энтузиастов.
Характеристики криптовалюты позволяют людям использовать цифровые токены для представления различных активов или организаций и проведения спекулятивных операций, что в определенной степени повышает активность рынка и интерес инвесторов. Более того, одной из характеристик рынка криптовалют является его безграничный характер, а это означает, что независимо от того, в какой стране вы находитесь, если у вас есть подключение к Интернету, вы можете участвовать, что еще больше увеличивает размер и привлекательность рынка.
Конечно, помимо спекуляций и торговли, сочетание искусственного интеллекта и криптовалюты имеет множество практических применений. Например, используйте смарт-контракты для реализации автоматических торговых стратегий или используйте технологию блокчейна для обеспечения безопасности и прозрачности данных. Эти приложения могут не только принести революционные изменения в финансовую сферу, но и оказать существенное влияние на другие отрасли.
Таким образом, сочетание искусственного интеллекта и криптовалюты — это не только горячая технологическая тенденция, но и область, полная потенциала, заслуживающая нашего углубленного обсуждения и исследования.
Фил: Люди часто туманно говорят об искусственном интеллекте и криптовалюте, потому что это очень широкая тема, затрагивающая множество различных аспектов. Даже если мы сможем точно определить эту тему, остается еще много вопросов, на которые необходимо ответить, например, как быстро мы сможем внедрить криптографическое машинное обучение (CKML), которое сможет решить проблемы, возникающие в связи с появлением крупномасштабных моделей естественного языка. Это определенно проблема осуществимости. С другой стороны, я думаю, что некоторые люди говорят о машинном обучении ZK (ZKML).
Когда мы углубимся в некоторые детали того, о чем они говорят, на самом деле они говорят о результатах запуска модели машинного обучения, которая на данном этапе может быть довольно сложной, но это может быть просто линейное уравнение. . С помощью современных технологий вы можете добиться этого с помощью системы доказательства с нулевым разглашением. Думаю, есть на что обратить внимание. Я хочу повторить свою точку зрения, что конфиденциальность всегда была в центре внимания наших дискуссий в ZK и проверяемых вычислениях.
Стив: Выслушав обсуждение Фила, я хотел бы добавить, что мое отношение к машинному обучению ZK (ZKML) стало более оптимистичным. Поначалу я придерживался той же точки зрения, что и Фил, думая, что использование технологии ZK приведет к значительному увеличению накладных расходов. В конце концов, модели обучения и логический вывод — недешевые процессы. Так зачем объединять эти два понятия? Потому что они могут увеличить производительность технологии ZK в десять раз и сократить накладные расходы. Я думаю, что по мере того, как технология ZK станет более эффективной, количество вычислений, которые мы можем выполнить, также соответственно увеличится.Эта тенденция кажется неизбежной.
Как специалист по продукту, я люблю использовать примеры продуктов для иллюстрации. Решение: необработанный материал, полученный с камеры, необходимо подписать. Поэтому нам нужно, чтобы производители устройств сделали это, все участники, и у всех есть ключи для подписи. Когда над ним выполняются размытие, повышение резкости, обрезка или другие операции, этот уже подписанный контент можно выполнить с помощью доказательства с нулевым разглашением. И есть браузеры, которые могут следовать по цепочке, например Mina, чтобы иметь возможность сказать: «Вот это изображение. У него есть сертификат, подтверждающий, что оно получено с настоящей камеры, и были выполнены только эти операции, и мы примерно знаем На что это похоже .
**Мина: В мире криптографии, когда говорят о ZK, большинство людей в первую очередь думают о масштабируемости, а, возможно, уже во вторую очередь о конфиденциальности, но я думаю, что проверяемость в некоторой степени игнорируется, что вы думаете? **
Стив: Я всегда говорю о ZK, уделяя особое внимание масштабируемости и конфиденциальности. Я также часто проверяю мнения других людей и обнаруживаю, что люди часто по умолчанию сохраняют конфиденциальность, потому что это легче всего объяснить. Но когда вы действительно смотрите на рынок, инвестиции в масштабируемость намного перевешивают конфиденциальность, как и во всех zk Rollup и Mina. Но вы хорошо отмечаете, что проверяемость отличается от этих двух, и хотя они связаны, вы что-то расширяете только в том случае, если генерируете и проверяете доказательство. Но этот вариант использования проверяемости является основным. Как мы только что обсуждали, если я смотрю на изображение, меня больше волнуют не аспекты масштабируемости или конфиденциальности, а то, можно ли его проверить и могу ли я доверять этой проверяемости.
**Мина: В мире блокчейнов часто проверяемость приравнивается к полному раскрытию информации. Мы гарантируем, что проверяемость может быть достигнута даже без полного раскрытия исходных данных, что связано с проблемами конфиденциальности. Однако я считаю, что проверяемость очень важна, когда мы сталкиваемся с Интернетом, полным дезинформации и запутанных источников. Я чувствую, что между ZK и ИИ существует много синергии, и хотя все говорят о криптовалютах и ИИ, я чувствую, что без добавления ZK невозможно полностью избежать антиутопии при конвергенции криптовалюты и ИИ. Далее поговорим о следующей теме. Я вижу много дискуссий по поводу доказательства агрегирования. Во-первых, может ли кто-нибудь из вас дать всем общий обзор? Для тех, кто мало что знает, что такое агрегирование доказательств? **
** Стив: ** Концепция агрегирования доказательств заключается в том, что у вас есть доказательство и вы можете его проверить, что занимает определенное время. Если вы повторите этот процесс 1000 раз, это будет эквивалентно 1000 раз этому постоянному времени. Таким образом, временные затраты будут постепенно увеличиваться. Если есть плата за бензин или какая-либо другая плата, связанная с этим, с вас будет взиматься дополнительная плата в 1000 раз. Что происходит при агрегировании доказательств, так это то, что вы можете передать первое доказательство в качестве входных данных для второго доказательства, второе доказательство в качестве входных данных для третьего доказательства и т. д., и вы можете объединить эти 1000 доказательств в одно доказательство, которое нужно только проверено один раз. Благодаря магии криптографии вы по-прежнему получаете ту же криптографическую гарантию: если одно доказательство пройдет успешно, то каждое из этих 1000 доказательств пройдет независимо. Это всего лишь способ дальнейшего увеличения масштабов и дальнейшего снижения затрат. Как мы обсудим, это одна из основных технологий, лежащих в основе протокола Mena.
Фил: Я думаю, что создание большего количества доказательств требует некоторых компромиссов, поскольку вам нужно потратить больше вычислительной мощности на создание доказательств и объединение их с другими дополнительными доказательствами. Это увеличивает вычислительные затраты, но снижает стоимость проверки; или вы можете просто отправить больше доказательств в среду проверки и заплатить больше комиссий за проверку. Фактически, это хороший пример гибкости ZK. На рынке внезапно возникает дискуссия об агрегации, а это значит, что многие люди начинают задумываться о практичности ЗК. Агрегация всегда была всего лишь идеей, но теперь люди активно ее создают, рассылают, думают о рутинной работе и затратах на ее аутентификацию, и я думаю, что это действительно хороший знак.
**Мина: На мероприятии ETHDenver все обсуждали, как заменить виртуальную машину. Сначала Стив хотел бы познакомить всех с базовой концепцией виртуальной машины, а затем объяснить, каковы преимущества и препятствия замены виртуальной машины? **
**Стив: **Говоря о виртуальных машинах, давайте начнем со варианта использования ЦП. Со временем все постепенно обнаруживают, что дело не только в большем количестве чипов и процессоров, но и в том, что вы действительно можете работать поверх ЦП. Виртуальный процессор, можно сказать, что виртуальный процессор — это первая виртуальная машина. В виртуальной машине вы можете повторно использовать существующие наборы инструкций, определять инструкции и затем выполнять их на любом оборудовании. В нашей отрасли самой известной версией является EVM, которая впоследствии стала ядром Ethereum и добилась большого успеха.
Замена виртуальных машин была горячей темой на мероприятии, и я выступил на одной из панелей. Должны ли мы продолжать инвестировать в старые виртуальные машины и улучшать их? Например, сделать это быстрее, особенно если это совместимо. Становится ясно, что лучший способ достичь консенсуса, чем повторное выполнение тех же инструкций в виртуальной машине. Лучший подход — создать доказательство того, что происходит то же самое вычисление. Все, что нужно сделать проверяющему, — это проверить это доказательство. Это совпадает с ZK Rollup.
**Фил:**Для меня эти дискуссии в отрасли немного похожи на то, что вы видите на ранних стадиях развития технологий, когда люди не до конца осознают, насколько многообещающей будет эта отрасль и сколько областей специализации будет появляться.
Я думаю, что, за исключением Ethereum, все альтернативы играют огромную роль, могут выполнять конкретные задачи и играть важную роль в архитектуре Web3. Я считаю, что одну из этих задач лучше всего решать вне виртуальной машины Ethereum и, возможно, сосуществовать с другими специализированными виртуальными машинами.
**Мина: На мероприятии ETHDenver все упомянули важную тему EIP 4844. Стив, можешь вкратце описать, что это такое и почему это так важно? **
Стив: Позвольте мне объяснить это на конкретных данных. Теоретически экосистема Ethereum станет более популярной после запуска EIP 4844, но комиссии за переводы или исполнение смарт-контрактов начнут становиться долларами США. В 2022 году эта плата выросла до $50 или даже более $100. Если взять в качестве примера контракты на развертывание, то это явно неустойчиво.
Экосистема ответила решениями второго и второго уровня, которые росли, привлекали большую активность и были дешевле. Комиссия варьируется от 15 центов до примерно 1 доллара. Базовые комиссии за обмен токенов варьируются от 50 центов до даже 3 долларов.
Хотя эта деятельность также повлияла на план расширения. В Ethereum вносятся изменения, и они особо признают, что транзакции уровня 2, где есть просто набор данных, представляющих транзакцию, будут обрабатываться по-другому и потреблять меньше газа. Таким образом, комиссия за транзакцию Ethereum с минимума 0,14 доллара до максимума 1 доллара, которую я только что указал, значительно снизится. Так что точных цифр я не знаю, но во втором эшелоне все дешевеет. Это хорошо для рынка. Но я также хочу отметить, что есть небольшая аналогия с шоссе: когда шоссе становится перегруженным и вы добавляете еще несколько полос, что происходит? Будет ли меньше трафика? Конечно нет, на дорогах будет больше машин, а проблема останется прежней.
Вот что происходит, когда модель представляет собой консенсусную сеть узлов, достигающих консенсуса. Эфириум имеет около 1,5 миллионов узлов, и все они повторно выполняют одни и те же транзакции для достижения консенсуса. Это со временем улучшит ситуацию. Они делают другие вещи для дальнейшего улучшения. Но в конечном итоге способ достижения истинной масштабируемости — это использование доказательств с нулевым разглашением. Мы думаем об этом как о доказательстве с нулевым разглашением на стороне клиента, когда вы генерируете доказательство на стороне клиента, а стоимость проверки невелика и занимает постоянное время. Они приносят пользу пользователям и снижают затраты.
**Мина: Помимо вышеупомянутых горячих событий этого мероприятия, есть ли какие-нибудь новые открытия, которыми вы можете поделиться со всеми во время мероприятия? **
**Фил:**DePIN — это одна из тенденций, которая, я думаю, будет в будущем. Для тех, кто не знает, DePIN означает децентрализованную физическую инфраструктуру. Гелий — лучший пример последнего большого цикла, и я думаю, что это был один из самых успешных проектов до того, как разразился бычий рынок. Но назревают и другие подобные проекты. Например, некоторые люди, возможно, узнали о Demo, которая позволяет использовать устройства в автомобиле для взаимодействия с цепью. Вы обнаружите, что появляется много проектов, включающих специальные физические устройства, и эти сети Развертывание в процессе. Существует также WeatherXm, который позволяет гражданам собирать данные о погоде и обеспечивает децентрализованный сбор данных о погоде. Существуют также альтернативы, которые могут расширить функциональность традиционных поставщиков телекоммуникационных услуг.
Так что DePIN определенно является развивающейся областью. И что мне в этом нравится, так это то, что когда вы обрабатываете большой объем данных на границе сети, вы хотите иметь возможность выполнять вычисления с данными, а затем отправлять их обратно, вместо того, чтобы передавать все данные. Фактически, на мероприятии DePIN кто-то демонстрировал термометр на границе сети. Очевидно, что он постоянно измеряет температуру, но вместо того, чтобы каждый раз отправлять показания, его можно запрограммировать на мониторинг диапазона температуры, а затем периодически отправлять сообщение типа «Температура здесь находилась в диапазоне от 10° до 20°».
Здесь вы получаете краткое выражение, которое суммирует множество точек данных вместо передачи огромного количества данных. Этот конкретный пример очень хорош, потому что, например, когда ценный груз перевозится по всему миру, измерение температуры часто является очень важным фактором. В настоящее время существуют более традиционные способы измерения этих данных, например, использование устройств, которые фиксируют, когда устройство выходит за пределы диапазона, чтобы гарантировать правильную доставку препарата. Но было бы очень полезно, если бы вы могли использовать датчик, который кратко сообщал бы вам диапазон температур во время или в конце поездки.
