Последняя битва с боссом

После того как я посвятил последние 15 лет разработке и созданию доказательств с нулевым знанием (ZKP), мне стало ясно, что мы находимся в точке перелома. Технология ZKP находится на грани того, чтобы стать достаточно практичной для использования в широких современных приложениях. Тем не менее, остается последняя битва с боссом.

В этой битве наш противник - сложность генерации доказательств.

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

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

Благодаря универсальному уровню генерации доказательств Fermah решает эту задачу.

Сторона предложения

Fermah функционирует как рынок для генерации доказательств ZK.

Сторона предложения на рынке состоит из таких машин, как GPU и FPGA. Изначально сторона предложения загружается операторами EigenLayer.

Сторона спроса

Fermah может генерировать доказательства для любого случая, в котором используется ZK.

Fermah нейтрален в плане доверия и спроектирован для поддержки всех систем доказательств. Это включает в себя zkVMs, zkEVMs, Groth16 и все другие системы доказательств. Он оптимизирован для дешевой, быстрой и надежной генерации доказательств ZK.

Спрос и предложение выравниваются с помощью Fermah Matchmaker.

Маховик Fermah

Агрегирование спроса из различных источников позволяет поставщикам использовать эффект масштаба.

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

Этот маховик делает экономику ZKP жизнеспособной в гораздо более широком диапазоне случаев использования.

В сочетании с несколькими техническими прорывами Fermah, о которых мы расскажем в свое время, Fermah создает первый эффективный рынок для генерации доказательств ZK.

Это для вас, разработчики

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

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

Когда бы вам ни понадобилось создать доказательства - будь то для ZK-рулонов, ZK-мостов, ZK-сопроцессоров, ZKML-проектов, ZKFHE-проектов или любых других вариантов использования ZKP - мы готовы помочь.

Если вы были заинтригованы ZK, но считали его слишком сложным для использования, мы можем стать тем решением, которого вы так долго ждали!

Сторонники, помогающие выполнить нашу миссию

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

И у нас есть правильные люди, которые поддерживают нас, чтобы выполнить нашу миссию.

Я рад сообщить, что мы привлекли 5,2 миллиона долларов от фондов уровня S, которые сформировали пространство ZK таким, каким оно является сегодня.

Фонд a16z CSX и Lemniscap внесли свой вклад в наш seed-раунд.

В раунде также приняли участие такие фонды, как Bankless Ventures, Longhash Ventures, P-OPS team, Public Works, ZK Validator, Lambda Class, Daedalus, Zero DAO, Velocity Capital, и Daemon Ventures.

Помимо фондов, в этом раунде в качестве ангелов приняли участие бирдеры S-тира. Среди них Баладжи, бывший технический директор Coinbase и A16z GP; Мустафа и Ник, генеральный директор и операционный директор Celestia; Сандип, Джайнти и Дэниел, соучредители Polygon; Зак и Клэр, генеральный директор и операционный директор Aztec; Сергей, генеральный директор Axelar; Грег, соучредитель Geometry, и некоторые другие.

Гиганты проложили путь для Fermah, и мы не можем не радоваться тому, что многие из этих гигантов в нашем углу.

Присоединяйтесь к нам!

Мы приступаем к амбициозным поискам, чтобы заново изобрести вычисления и доверие в Интернете. Наша этика заключается в совершенстве и доброжелательности. Мы - увлеченная команда, и мы растем. Если что-то из этого созвучно вам, я рекомендую вам заглянуть на нашу страницу «Карьера» и подать заявку! Вы также можете связаться с Пранитом, нашим CMO, или со мной.

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

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

И наконец, мы будем рады видеть вас в нашем сообществе! Сегодня мы открываем наш Discord для публики. Присоединяйтесь к скромной когорте ботаников и добрых энтузиастов ZK, полных решимости победить финального босса и донести лунную математику до широких масс.

Вперед!

‍

Теперь билдеры могут запросить доступ к Fermah, заполнив эту форму.

В оставшейся части этой статьи я расскажу, как Fermah изменит ландшафт ZK, каким мы его знаем.

Но сначала, что такое Fermah?

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

Fermah функционирует как рынок, где сторона предложения состоит из машин, таких как GPU и FPGA. Изначально сторона предложения загружается операторами EigenLayer.

Что касается спроса, то Fermah спроектирован таким образом, чтобы поддерживать все системы доказательства. Сюда входят zkVMs, zkEVMs, Groth16 и все другие системы доказательств. Проще говоря, Fermah может генерировать доказательства для любого случая, в котором используется ZK.

Стороны спроса и предложения выравниваются с помощью Fermah Matchmaker.

Что предлагает Fermah?

Fermah решает ключевые проблемы генерации доказательств с нулевым разглашением (ZKP):

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

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

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

• Экономия на масштабе: Агрегируя спрос из различных источников, Fermah позволяет поставщикам использовать эффект масштаба, что еще больше снижает затраты и расширяет практическое пространство дизайна для технологии ZK. Универсальная совместимость: Fermah нейтральна с точки зрения доверия и спроектирована для поддержки всех систем доказательства, что позволяет разработчикам работать с предпочтительной системой доказательства для создаваемого ими продукта. И вишенкой на вершине является то, что Fermah чрезвычайно прост в использовании.

Поддержка партнеров

Fermah создана для работы с любыми системами доказательств, и мы сразу же начинаем поддерживать некоторые из самых популярных:

• Jolt от a16z

• Groth16 от Jens Groth

• The RISC Zero zkVM

• Valida от Lita

• Stwo от Starkware

• SP1 от Succinct Labs

Очень скоро мы также предложим поддержку для:

• The Nexus 2.0 zkVM

• Stone от Starkware

• The Aztec Proof System 

Такая первоначальная поддержка позволяет разработчикам быстро интегрировать эти системы и использовать возможности Fermah без дополнительных настроек. Мы планируем поддерживать все основные системы доказательства.

Что ожидать от Девнета

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

• Развернуть любую систему доказательств: Легко настраивать выбранную вами систему доказательств, предоставляя образ доказателя, образ верификатора и соответствующие параметры настройки.

• Запрашивать доказательства: Отправлять запросы на доказательства на RPC-сервер Fermah. Как только доказательство будет сгенерировано, оно будет проверено в сети и отправлено обратно искателю доказательства или другой назначенной конечной точке.

• Отслеживание генерации доказательств: Запрашивайте RPC-сервер Fermah, чтобы отслеживать статус вычисления доказательства. Это позволит вам отслеживать, принято ли ваше доказательство:

  • Принято: Запрос на доказательство был получен и будет назначен проверяющему.

  • Назначено: Доказатель в настоящее время вычисляет запрос на доказательство.

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

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

Кто может участвовать в Devnet?

Если вы используете ZKP в любой форме, на любой сети, вы можете использовать Fermah. Некоторые сценарии использования, для которых Fermah может стать переломным моментом, таковы:

• Роллапы

• Мосты

• Сопроцессоры ZK

• проекты ZKML

• проекты zkFHE

• Роллапы - Rollup-as-a-Service (RaaS)

• ИИ-проекты, которые выполняют тяжелые вычисления вне сети, но хотят проверять достоверность на блокчейне.

Fermah позволяет абстрагироваться от сложности генерации доказательств, чтобы вы могли сосредоточиться на своей основной деятельности.

Что будет дальше?

Запуск Девнета - это только начало.

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

• Поддержка дополнительных проверочных систем и zkVM: для обеспечения бесперебойной поддержки всех случаев использования ZKP.

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

• Новые функции: чтобы создать для вас самый современный пользовательский интерфейс.

• Testnet и Mainnet: они появятся раньше, чем вы думаете. И, наконец, по пути будет несколько пасхалок 🤫.

Попробуйте!

Если вы заинтересованы, заполните эту форму, и наши сотрудники свяжутся с вами и подготовят вас к работе.

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

А пока вы можете узнать больше, изучив нашу документацию.

Мы с нетерпением ждем возможности работать с вами!