Интервью = nil_ Основа: Создайте рынок Proof и реализуйте концепцию «все может быть ZK».

После EDCON в Черногории в апреле слово «ZK» стало самым популярным словом в этом году, а расширение повествовательного пространства, принесенное Ethereum, достигло новой кульминации. Многие люди считают, что это будет новый рынок в сотни миллиардов долларов, создающий больше возможностей и историй богатства, таких как «майнинг ZK». Конечно, как новая эра, которая еще не наступила, ZK также означает, что многие возможности нам трудно точно определить в данный момент.

То, на что будет похоже будущее ZK, все еще требует большего воображения. И рынок Proof, построенный Фондом =nil;, пробудил мои бесконечные фантазии об этой эпохе сотен миллиардов долларов. Недавно у меня был подробный разговор с сооснователем =nil; Foundation Михаилом Комаровым (далее Миша) на темы =nil; Foundation, zkLLVM и Proof market.

Резюме интервью

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

2. Генерация доказательств ZK должна быть передана на аутсорсинг производителям, которые предоставляют такие профессиональные услуги, формируя сеть профессиональных производителей для реагирования на запросы рынка.

3. На текущем рынке пруфов появился феномен PEV (извлекаемая стоимость прувера).

4. Рынок Proof еще не полностью децентрализован, и на какое-то время он станет центром работы команды.

= ноль; источник

Миша в криптоиндустрии с 2013 года. Первое, что он сделал после входа в кружок, — изучил реализацию Bitmessage на C++. Это биткойн-протокол обмена сообщениями, и хотя с тех пор его несколько раз ломали, в то время многие люди были от него без ума. Позже Миша начал серию разработок с Дэном Ларимером (то есть BM, основателем Steemit, Bitshares и EOS) вокруг BitShares и познакомился с Константином Ломашуком, который позже создал Lido. В то время у Константина были в руках несколько проектов шифрования, связанных с Bitshares, и он хотел создать форк Steemit специально для России, а именно Golos Network.

Это был 2016 год, и Миша вместе с Дэном и Константином начал новый путь в качестве технического директора «Голоса». Но через два года Мише «Голос» надоел, он подумал, что продукт, разработанный Дэном, не устраивает, его внутренняя структура не подходит, а качество недостаточно. В результате Миша покинул родственные проекты, такие как «Голос» и Steemit, и вместе с Константином основал Nil в апреле 2018 года.

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

**BlockBeats: Пожалуйста, кратко расскажите о своем опыте, например, как вы начали бизнес по шифрованию и почему вы присоединились к индустрии шифрования? **

Миша: Это было давно. Я начал заниматься криптоиндустрией примерно в 2013 году, когда работал над реализацией Bitmessage на C++. Возможно, вы помните тот биткойн-подобный протокол обмена сообщениями, от которого тогда все были без ума, и его несколько раз взламывали, но тогда он все еще был популярен.

Потом я начал разрабатывать все вокруг BitShares и Дэна Ларимера (т.е. BM, создателя Steemit, Bitshares и EOS), а потом встретил Константина Ломашука, теперь вы, наверное, знаете его по Lido. В то время у него в руках было несколько проектов шифрования, связанных с Bitshares, и он хотел создать форк Steemit специально для России. Так мы сделали «Голос», я стал техническим директором в 2016 году, и с тех пор мы работаем вместе.

Но в апреле 2018 года мне надоел «Голос», потому что Дэн разрабатывал продукты, которые меня не удовлетворяли, его продукты никогда не работали долго, и хотя они действительно работали, я не думаю, что внутренняя архитектура мне подходила. достаточно, поэтому я оставил Голос и Steemit и все другие проекты и начал Nil в апреле 2018 года.

Моя цель в начале состояла в том, чтобы люди не сталкивались с проблемами, которые были у меня с «Голосом» и Steemit, такими как отсутствие надлежащего управления данными, архитектуры, безопасности и т. д., все было очень нестабильно. Я не думал, что это хорошее решение, поэтому вместе с Костой основал Nil, чтобы перенести работу индустрии управления базами данных в индустрию шифрования, потому что это означает надежность, безопасность, масштабируемость и т. д. История после этого - развитие Нила.

**BlockBeats:=nil; Когда Фонд начал обращать внимание на доказательства с нулевым разглашением? **

Миша: Оглядываясь назад, примерно в 2020 году, когда мы закончили первый прототип СУБД (системы управления базами данных), мы осознали некоторые проблемы. Честно говоря, никто не пытался сделать это до того, как мы попытались интегрировать системы управления базами данных в индустрию шифрования, и когда мы закончили этот проект, мы поняли, что предположение о доверии — это не то, что нам нужно.

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

В то время индустрия все еще находилась на ранней стадии развития, и не было среды разработки, такой как Arc Works.Мы думали, что раз у нас есть теоретические концепции и некоторые эксперименты, мы должны попробовать. Мы создали набор и построили собственную систему проверки. Затем мы работали с людьми из Ethereum Foundation и Mina Foundation над созданием компилятора схемы. Чтобы не генерировать пруфы самостоятельно, мы создали Proof Market для внедрения динамики рынка в генерацию пруфов.

При создании компилятора с людьми из Mina Foundation мы также работаем с людьми из Solana Foundation. В этом процессе мы поняли, что нам нужно Proof of State, а Proof of State — это то, что в то время искали люди в Mina и Ethereum. Примерно в начале 2021 года, когда мы разрабатывали необходимые доказательства состояния для системы управления базами данных, люди из Mina, Ethereum и Solana почувствовали, что это «zk Bridging». Потому что Джастин Дрейк, Эван Шапиро и Анатолий считают, что нам нужна более безопасная технология Bridge, а потом говорят, как бы вы ее ни называли, это zkBridge.

**BlockBeats: Что касается доказательств с нулевым разглашением, в области шифрования проводились исследования и попытки в течение довольно долгого времени, но они не смогли добиться значительного прогресса. Но с начала этого года разработка месторождения ЗК, похоже, вошла в состояние выброса.Почему? **

Миша: На самом деле есть только два метода, которые можно применить ко всей технологии zk.Первый метод, очевидно, используется в целях конфиденциальности, а второй метод используется для сжатия, типа расширения, о котором все говорят. , и появление zk-Rollups, zk-Bridges, zk-MLS, zk-Oracles и т.д. Люди «неправильно используют» этот стек для сжатия, и я думаю, что это самое захватывающее «неправильное использование», которое я когда-либо видел. Так вот вопрос, почему сейчас? Мы смогли сделать это несколько лет назад, и это может быть несколько ключевых вех технологического развития, которые делают его удобным, осуществимым и интересным в использовании.

Первая веха наступила в 2016 году, когда технология стала все более полезной для криптоиндустрии. В то время системы ограничений ранга 1 (R1CS) стали довольно распространенными, и начали появляться различные приложения. По сути, когда становится возможным сохранить конфиденциальность, это становится возможным. Например, Zcash, Tornado Cash и т.д. Эти проекты родились в ту эпоху, или идеи этих проектов родились в ту эпоху.

Второй — между 2019 и 2021 годами, что является вторым критическим периодом для этой технологии. В то время все более популярными становились фильтры Блума (Тупые аргументы). Люди начали создавать системы доказательств на основе фильтров Блума. У нас также есть собственная система проверки, называемая плейсхолдерами. Почему этот период важен? Потому что благодаря этим системам проверки на основе фильтров Блума, которые позволяют проектам использовать этот стек для сжатия. Он улучшает сжатие, удешевляя и упрощая правильное масштабирование Rollups и zkBridge в 2021 году.

В настоящее время мы добились определенного прогресса в дальнейшем развитии системы доказательств, а также совершили определенные прорывы в нашем проекте. Достаточно сказать, что написание сложных математических ограничений и вычислений также довольно сложно в такой среде, где информация передается во времени. Многие люди посвятили себя этой проблеме, например, введение STARK, введение zkVM для решения этой проблемы сложности и введение нами компилятора zkLLVM, который также упрощает создание приложений. С 2019 по 2021 год система доказательств развивалась, а с конца 2020 года по начало 2021 года и до конца 2022 года также продвигалась разработка инструментов. Все эти достижения делают достаточно эффективным и экономически выгодным построение доказательств сложных вычислений.

Конечно, разработка систем доказательств далека от завершения. Чтобы реализовать больше сценариев применения, предстоит еще много работы, чтобы проверить систему. Например, может быть, в этом или следующем году мы увидим развитие системы доказательств, и мы также проводим здесь соответствующие исследования и разработки. Разработка этих систем проверки позволит создать экономически жизнеспособные приложения zkLLVM, и мы надеемся стать первой командой, которая сделает это. Но так или иначе, сейчас все пытаются улучшить систему доказательств.

**BlockBeats: Вы упомянули zkLLVM, компилятор, созданный для разработчиков, чтобы они могли создавать свои собственные схемы zk. В чем, по вашему мнению, важен zkLLVM и какова текущая зрелость продукта? **

Миша: zkLLVM, возможно, не был первым, но это был один из первых компиляторов схем. Я уже видел некоторые прототипы, я видел несколько проектов DSL, но с полнофункциональным компилятором схем вместо виртуальной машины, я видел не так много. Есть некоторые, но я не уверен, что кто-то их действительно использует, поэтому я думаю, что это важно. И довольно много людей в этой индустрии пытаются избавиться от дилеммы «я это не создал», что очень энергозатратно. Очевидно, что в конечном итоге люди создают действительно хорошие продукты, но эта дилемма «я не создавал это» делает разработку трудоемкой и дорогостоящей.

Например, мы сейчас общаемся через Zoom, и почти весь софт на наших ноутбуках собран с LLVM. Мы просто взяли все это и сделали доказуемым. Поэтому я думаю, что мы просто привносим всю экосистему компиляторов в криптоиндустрию, чтобы эти усилия можно было повторно использовать в криптопространстве для повышения эффективности и экономической жизнеспособности. Это также привело к широко используемым языкам программирования. В мире существует множество программного обеспечения, написанного на Rust, C++, Go, TypeScript и т. д., которое можно было бы выполнять внутри Ethereum и в ненадежной среде.

Мой любимый пример — когда люди берут исходный код Doom (исходный код C/C++), доказывают его в Ethereum через zkLLVM, а затем перетаскивают его между собой, чтобы показать, сколько времени у них ушло на завершение. Например, я выполнил испытание скорости Doom за 20 минут, вот доказательство и ваш Ethereum NFT, доказывающий, что вы выполнили испытание скорости Doom за 20 минут.

**BlockBeats: Какие группы пользователей в настоящее время используют zkLLVM и какие продукты создаются? **

Миша: Эти технологии используются во многих различных проектах, и некоторые проекты могут быть просто созданы для развертывания или уже запущены. Самый очевидный вариант использования — наш построенный на компиляторе zkBridge, защищенный системой проверки. Возможно, это одна из причин, по которой мы осознали необходимость компилятора и начали создавать его в первую очередь. Его также пытаются использовать для формальной проверки утверждений о доказательствах, чтобы не пытаться поставить с ними формальную спецификацию программы, а сжать ее в доказательство с помощью компилятора zkLLVM, который компилирует формальные утверждения. На самом деле люди компилируют компиляторы.

Возьмем, к примеру, приложения, подобные zkOracles. Люди создали zkOracles для извлечения исторических данных Ethereum или Lido для обеспечения выпуска стейкинга Ethereum. Люди решают проблемы, в которых есть много предположений о доверии, несмотря на то, что они работают уже более двух лет. Когда мы разрабатывали Lido в 2020 году, это было приемлемо, но затем мы хотели уменьшить доверие, потому что мы не могли рисковать TVL пользователя, поэтому мы решили защитить его с помощью ZK Proof-of-Work. Кроме того, есть много других проектов, я мог бы продолжать бесконечно, у меня сейчас около 80 проектов в CRM.

**BlockBeats:=ноль; Фонд ранее получил инвестиции от StarkWare, Mina и других команд L2 и других венчурных капиталистов на сумму более 200 миллионов долларов США. Направляются ли эти деньги на построение рынка Proof, и означают ли инвестиции StarkWare и Mina, что вы будете более склонны сотрудничать с конкретной экосистемой? **

Миша: Это наш первый и единственный раунд финансирования за пять лет, потому что раньше у нас не было в этом потребности, а сейчас самое время это сделать. Мы сделали достаточно прототипов, мы поддержали достаточно проектов, мы узнали достаточно, чтобы чувствовать себя достаточно сильными и уверенными, чтобы запустить продукт так, как, по нашему мнению, он должен быть построен.

Этот раунд финансирования завершился около года назад, и мы объявили об этом через много месяцев после того, как это действительно произошло. Мы не объявляли о финансировании, пока не почувствовали себя комфортно, начав говорить о том, что «это то, что мы построили». Из-за сбора денег вы начинаете друг другу что-то обещать, а потом вас спрашивают, на что вы собрали деньги, что мы собираемся поставить? Что такое продукт? Кто-то использует ваш продукт? Поэтому мы намеренно отложили обсуждение этой темы до тех пор, пока не примем меры по этому поводу.

Мы действительно работаем со всей экосистемой Mina и командой Starkware, уже есть много приложений из экосистемы Mina, которые либо построены поверх нас, либо созданы с нами, либо в партнерстве с нами. Недавно команда Мины начала исследовать и разрабатывать свертывания, для которых им требуется множество возможностей проверки. Кроме того, в 2021 году мы создали проверку состояния на основе компилятора с Mina, еще одним проектом экосистемы Mina, с которым мы сотрудничали.

Также многое происходит в работе с экосистемой Starkware. Конечно, это цель нашего сотрудничества, чтобы мы также были полезны для доказуемых приложений в экосистеме Starknet. Например, есть несколько проектов мостов к Starknet, которые используют наш технологический стек для создания мостов с нулевым разглашением. Несколько игровых проектов сказали нам, что необходимы возможности проверки.

Есть несколько других проектов, которые пытаются использовать более старую технологию моста, использовать проверку состояния и создавать на ее основе приложения Ethereum. Некоторые люди создают L3 на StarkNet, и они сказали, что наличие возможностей проверки было бы хорошим вариантом. Во всяком случае, именно для этого мы с ними и собрались. Честно говоря, я доволен сотрудничеством.

Вторичный рынок ZK Proofs

Доказательство с нулевым разглашением (ZK Proof) является абсолютным ядром поля ZK на текущем рынке шифрования, его существование предоставляет бесконечные возможности для многих сценариев, таких как ZK Rollup и zkEVM. Однако генерация доказательства ZK также является сложной вычислительной задачей, и для завершения доказательства часто требуются часы, поэтому большинство современных сортировщиков до сих пор не решили проблему централизации. Для надежной и экономичной генерации ZK-доказательств нам необходимо не только развивать и поддерживать вычислительную инфраструктуру, но и расширять ее. По мнению Миши, внедрение рыночного механизма является оптимальным решением этой проблемы.

=nil; Команда Фонда считает, что создание доказательств ZK — это задача, которую следует поручить производителям, которые предоставляют такие специализированные услуги. Согласно этой предпосылке, нам нужен рынок доказательств, где каждый может запросить создание необходимых доказательств ZK, а затем профессиональная сеть производителей будет отвечать на такие запросы.

**BlockBeats: Теперь давайте поговорим конкретно о Proof Marketplace, откуда взялась эта идея и какова ее история? **

Миша: Идея проистекает из нашего активного участия в протокольных приложениях и различных вещах, связанных с Filecoin, с 2020 по конец 2021 года. Мы не только были свидетелями безумия, происходящего вокруг Filecoin, но и участвовали в нем со своей точки зрения. Именно тогда мы узнали, как правильно настроить все системы доказательств, как привести правильные аргументы и т. д., и внедрили средство проверки Filecoin, которое было в 10 раз быстрее общедоступной версии, что позволило майнерам полностью использовать свое оборудование. На самом деле мы являемся центром, который видит все эксперименты, направленные на снижение затрат с точки зрения майнера.

За это время мы узнали много реальных рыночных данных, например, насколько ценно и сколько времени потребуется для создания этого конкретного доказательства с помощью этого оборудования, кто использует какое оборудование, какие центры обработки данных построены для него и т. д. А затем, работая с Ethereum Foundation, Mina Foundation и многими другими, мы обнаружили, что эти доказательства состояния и доказательства консенсуса очень обременительны, и мы абсолютно никому не позволим доказывать их самостоятельно.

Потому что, давайте будем честными, ни у кого нет такого оборудования, которое можно было бы сгенерировать быстро, потому что оно слишком массивное. Например, как и консенсус Мины, доказательство состояния Мины — это кривая инвестора, умноженная примерно на 35 миллиардов долларов, что довольно много. Или Solana Proof of Consensus, который содержит, помимо всего прочего, около 4000 подписей ECDSA, и на его генерацию уходит много времени.

Когда это заметили, мы решили больше так не делать. Мы подумали, хорошо, мы отдадим эту работу на аутсорсинг. Мы построим рынок для этого, потому что у нас уже есть много данных, связанных с Filecoin, давайте построим рынок, давайте сделаем его товаром, пусть к этому применима динамика рынка, чтобы люди могли идти. Координируется централизованным протоколом, они конкурировать друг с другом, чтобы вместо того, чтобы быть хабом, мы позволили протоколу быть хабом. Оказалось, что наши мысли были правильными. Сейчас все строят Proof market, и мы угадали направление.

**BlockBeats: Когда вы создавали рынок Proof, учитывали ли вы его динамику с уже созданным вами zkLLVM? **

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

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

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

Но затем люди начали доказывать некоторые действительно важные вещи с zkLLVM, и кодовые базы, такие как Ross и C++, были довольно большими по сравнению с тем, что люди делали в Solidity. Итак, мы собираем их вместе, связываем их друг с другом, а затем делаем их пригодными для использования в качестве сервиса. Мы по-прежнему считаем, что компилятор достаточно эффективен, и надеемся, что так оно и останется.

**BlockBeats: Кто в настоящее время является основными группами пользователей и участниками рынка Proof? **

Миша: Первый тип пользователей — это в основном zkBridge, и некоторые доказательства консенсуса и доказательства состояния довольно сложно генерировать. Если вы создаете правильную и безопасную проверку, такую как доказательство консенсуса Ethereum, например, с полной проверкой консенсуса Ethereum и проверкой валидатора подписи всех 100 000 узлов, вам потребуется некоторое время для создания.

Вторая категория — это оракулы zk, такие как те приложения, которым необходимо получить доступ к историческим данным Ethereum или определенным образом обработать данные Ethereum, а затем использовать их с EVM. Некоторые приложения пытаются таким образом снизить свои затраты на газ, например, протоколы кредитования, которые пытаются рассчитать и загрузить параметры риска своих залоговых активов в EVM, но они не могут быть рассчитаны в EVM с точки зрения стоимости.

Они берут все необходимые данные Ethereum с разных бирж, с разных индексов, заносят в EVM, а затем используют как набор параметров риска для обеспечения. Это похоже на еще один оракул Lido, показывающий, как протокол может улучшить свою безопасность и снизить затраты на выполнение за счет аутсорсинга ряда вычислений (таких как безопасность на рынке Proof и только zkLLVM). Нет никаких сомнений в том, что оракулы с нулевым разглашением очень важны.

Третья категория — это накопительные пакеты, которые могут использоваться существующими накопительными пакетами или новыми накопительными пакетами, а некоторые даже пытаются это сделать. Любой, кто намеревается стать валидатором Rollup, придет с желанием внедрить какое-то доказательство на рынке Proof. Работа со специализированным оборудованием и работающими узлами на арендованных серверах AWS очень сложна для валидаторов. Тот факт, что AWS в настоящее время не предлагает ATX и не предлагает очень мощные графические процессоры, поэтому в основном валидаторы будут поставляться с этими вариантами использования zkLLVM. Понятно, что у нас уже есть несколько вариантов использования zkLLVM, но я должен признать, что они еще не запущены.

Сценарии использования zkLLVM также очень применимы для больших или очень сложных моделей, поскольку они должны оправдывать сложность имеющейся модели. Это также то, что в настоящее время находится в разработке, но опять же, оно еще не запущено, оно находится только на экспериментальной стадии. После запуска мы сможем превратить рынок Proof в доказуемый рынок вычислений ИИ, что звучит нелепо.

**BlockBeats: Если я хочу стать генератором доказательств на Proof Market, каковы требования? **

Миша: На самом деле не так много требований или ограничений, чтобы стать генератором доказательств, все зависит от конкретной схемы и конкретного утверждения, которое вы хотите доказать. Мы специально настроили что-то под названием "Proof Market Toolchain". Когда прувер обрабатывает различные пруфы в маркете, ему нужно только запустить его как сервис, или использовать как цепочку инструментов, работающую на вашей машине. Закулисный процесс.

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

**BlockBeats: Всем пользователям, которые используют =nil; Foundation, необходимо зарегистрировать учетную запись. Если само сгенерированное доказательство или его транзакция и информация о владельце хранятся на частном сервере, не вызовет ли это проблем с централизацией? **

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

На данный момент система несколько децентрализована, но она не является общедоступной или по-настоящему децентрализованной. Не каждый может присоединиться и запустить свой узел Proof Market. Это вопрос и для нас, мы любим приложения, которые спрашивают нас о безопасности, насколько они децентрализованы, можем ли мы на них положиться? Это то, что мы можем использовать в настоящее время? Я ответил, что да, вы можете, но он недостаточно децентрализован, потому что мы запускаем его в тестовом режиме. Мы будем усердно работать над решением этой проблемы, которая является нашей самой важной задачей в настоящее время.

**BlockBeats: Какие шаги вы предпринимаете для решения этих проблем? **

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

Затем мы пытаемся запустить его на чем-то вроде Rollup. Тем не менее, даже несмотря на то, что мы попробовали несколько разных накопительных пакетов, стоимость все равно была высокой. Когда мы подсчитали стоимость проведения доказательства рынка и проведения арбитража, мы обнаружили, что ежегодные затраты только на доказательство рынка составляют 250 миллионов долларов США, что также является очень высокой стоимостью. Поэтому нам пришлось придумать собственный протокол, который может справиться с нагрузкой, затратами, интенсивным использованием данных и т. д.

Наша цель — максимально приблизить этот протокол к безопасности Ethereum, потому что у приложений нет другого способа полагаться на него. Оказывается, этот протокол также очень полезен для таких операций, как сериализация, потому что при сериализации обрабатываемая нагрузка в основном одинакова. Хотелось бы уменьшить задержку между заказчиком и прувером, чтобы они могли немедленно отправить данные пруверу и, таким образом, выиграть блок.

Как развернуть секвенсор на этом протоколе также является одной из наших текущих основных проблем.Мы надеемся создать платформу, которую могут использовать сторонние разработчики, чтобы любой мог запустить и запустить узел, поддерживающий этот протокол. И убедитесь, что приложение Proof-of-Market так же безопасно, как Ethereum, с точки зрения развертывания кода.

**BlockBeats: Можете ли вы рассказать больше о механизме поощрения протокола? **

Миша: Мы, конечно, предпочли бы использовать различные токены для оплаты доказательств, поэтому мы не можем заставить всех использовать определенный токен, а это значит, что мы должны быть максимально нейтральны к токенам, поскольку мы нейтральны. с любым продуктом и приложением. Например, это, вероятно, будет похоже на то, как Arbitrum работает с Ethereum, у вас может быть Ethereum и Arbitrum, почему бы и нет?

Первым шагом в этом направлении, безусловно, является EVM Endpoint Approval Marketplace, который мы развернули на днях. Это платежное решение, которое позволяет использовать все активы Ethereum на Proof Market в качестве стимула для утверждающих или для приложений, которые готовы платить своими собственными токенами на Proof Market, и это первый шаг в этом направлении. шаг.

Доказательство рыночной прихоти

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

**BlockBeats: Продлит ли внедрение рыночного механизма процесс генерации доказательств? **

Миша: Аукцион, или поиск лучшего претендента на работу, занимает некоторое время, может быть, не несколько секунд с нашей стороны, но несколько мгновений. Обычно этот процесс занимает несколько секунд, в большинстве случаев меньше секунды. Мне кажется, что спрос и предложение довольно велики, поэтому это приводит к некоторой задержке менее секунды.

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

**BlockBeats: Если кто-то хочет спекулировать сгенерированными доказательствами, это хорошо или плохо? Будет ли команда как-то вмешиваться? **

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

Мы пытаемся сейчас не мешать, не пытаться что-то сделать, потому что в какой-то момент мы уже не сможем этого делать, так какой смысл? Итак, давайте предположим. Можно создать схемоподобное приложение, вроде доказуемого приложения, вот и все, так что возможны даже спекуляции. Никакого использования, кроме спекуляций на рынке Proof.

Один из самых странных случаев использования, которые я видел, — это когда кто-то пытается обменять фьючерсы на вычислительную мощность, а затем использовать эти фьючерсы для спекулятивного обсуждения. Это как фьючерсы на хешрейт биткойна, но также и для пруфов zk. Вы когда-нибудь задумывались о MEV? Что, если я скажу вам, что на самом деле существует значение извлечения прувера (PEV)?

Это не работает, как будто приложение приносит какие-то данные, а потом что-то требует доказательства, и это делают пруверы. Они вводят данные, начинают генерировать доказательства, и все работает как положено. Но в то же время, если прувер пытается получить больше прибыли на этих данных или что-то в этом роде. Они будут использовать эти данные в другом месте, например, в Ethereum или других протоколах или даже в некоторых накопительных пакетах.

Они делают это, чтобы извлечь как можно больше пользы из этих данных, а не использовать их для создания доказательств. Существуют и другие различные типы извлекаемых доказательств ценности, например, когда люди пытаются предсказать, когда будет сгенерировано доказательство, а затем внедряют транзакции для покупки или продажи доказательств в протокол Proof Market, реконструируя API и пытаясь внедрить транзакции в протокол Proof Market. это. Таким образом, доказывающий может продать, или покупатель может угадать цену, чтобы извлечь из нее выгоду, точно так же, как майнеры Lightning или строители и предлагающие спекулируют транзакциями в Ethereum.

Некоторые люди начали экспериментировать с тем, как помешать доказывающим использовать данные, которые они получают при создании доказательств. Единственный способ сделать это — сгенерировать доказательства на данных FHE (гомоморфное шифрование). Они пытаются сделать что-то вроде zkFHE, чтобы скрыть данные, необходимые для генерации доказательства, но FHE очень затратен в вычислительном отношении, поэтому это увеличивает стоимость доказательства.

Например, отправить его в небо, что удваивает, утраивает или даже удесятеряет стоимость доказательства. Но они скажут, никто не использует мои данные, никто ничего из моих данных не извлекает. Итак, zkFHE родится из рынка Proof, который является самостоятельным уровнем сложности, как и высокий уровень сложности.

**BlockBeats: В настоящее время рынок Proof совместим с ZKLLVM и Mina. Я хотел бы знать, как рынок Proof будет генерировать доказательства для различных схем в будущем? **

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

Когда доказывающий видит потребность в конкретном новом утверждении, это новое утверждение может быть внезапной, постоянной потребностью, крупной разовой потребностью или разовой, но все же интересной потребностью. Доказывающий может сказать: «Хорошо, я хочу добавить эту схему в список схем, которые меня интересуют, и я хочу сгенерировать доказательство для этой схемы». Затем Proof Market вносит соответствующие изменения, генерирует и отправляет доказательства. Мы прилагаем все усилия, чтобы сделать этот процесс максимально простым.

**BlockBeats: Как это реализовано для разных систем проверки? **

Миша: Это более интересная история, по сути есть только одно требование для подключения к Proof market различных пруф-систем — компилировать верификатор этой пруф-системы в байт-код EVM. Поскольку именно EVM поддерживает рынок Proof, валидаторы компилируются в EVM. Это может быть написано на Solidity, это может быть Rust или C++.

Если он написан на Solidity, просто разверните его, а если он написан на Rust или C++, мы воспользуемся zkLLVM, чтобы предоставить цепочку инструментов, которая компилирует верификаторы из Rust и C++, чтобы zkLLVM можно было использовать в качестве основной ветки. Компилятор EVM, который может генерировать валидаторы из Rust, C++ или других языков и размещать их на торговой площадке Proof. После развертывания торговая площадка Proof поддерживает проверку новой системы подтверждения. В этой степени это не разрешено.

**BlockBeats: Я помню, вы как-то говорили на круглом столе о процессе децентрализации Rollup: =nil; Путь Foundation противоположен большинству Rollup, который заключается в том, чтобы сначала построить сеть генерации доказательств, а затем децентрализовать смену сортировщика. Итак, есть ли у маркетплейса Proof =nil; Foundation шанс стать децентрализованным решением для этих проектов Rollup? **

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

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

В некоторых случаях верификатор может не хотеть, быть неспособным или иным образом неспособным настроить собственное оборудование, графический процессор, ASIC и т. д. Когда у вас есть только капитал, но нет инфраструктуры, вам нужно откуда-то получить доказательства. Это здорово, это служит доказательством для тех, кто имеет капитал, но не имеет инфраструктуры или не хочет владеть инфраструктурой.

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

**BlockBeats: Наконец, Миша может рассказать =nil; что самое важное в дорожной карте Фонда на этот год? **

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

Другой пример — мы хотим помочь людям, которые разрабатывают вместе с нами, завершить свои проекты, в которых будет много интересного о zk games. Вы когда-нибудь задумывались о том, чтобы сыграть в 3D-шутер от третьего лица на Ethereum? Это пока невозможно, но это станет возможным, и именно так открываются новые варианты использования для рынка Proof и zkLLVM. Иногда это причудливо, иногда смешно, а иногда действительно полезно.

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

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