# Devnet Запущен

By [Fermah RU](https://paragraph.com/@fermah-ru) · 2024-09-18

---

_Сегодня заработал Девнет Fermah._

_Теперь билдеры могут запросить доступ к Fermah, заполнив_ [_эту форму._](https://www.fermah.xyz/devnet)

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

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

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

![](https://storage.googleapis.com/papyrus_images/b53f58d1605dfc2ca32500b02d04963d279b3ae960b5b10b30158764aadf55bc.gif)

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 чрезвычайно прост в использовании.
    

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

![](https://storage.googleapis.com/papyrus_images/8e7c7f6d2cb81a69b57b8879d52912464fb2565fe509b8f6f12947c24fe75054.png)

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

*   [Jolt от a16z](https://jolt.a16zcrypto.com/)
    
*   [Groth16 от Jens Groth](https://www.zeroknowledgeblog.com/index.php/groth16)
    
*   [The RISC Zero zkVM](https://dev.risczero.com/api/)
    
*   [Valida от Lita](https://lita.gitbook.io/lita-documentation)
    
*   [Stwo от Starkware](https://github.com/starkware-libs/stwo)
    
*   [SP1 от Succinct Labs](https://docs.succinct.xyz/)
    

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

*   [The Nexus 2.0 zkVM](https://docs.nexus.xyz/)
    
*   [Stone от Starkware](https://github.com/starkware-libs/stone-prover)
    
*   [The Aztec Proof System](https://docs.aztec.network/) 
    

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

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

![](https://storage.googleapis.com/papyrus_images/4d01ab10c44fbdd3147c6dd037d5c1a28ade32fa61a9deacefb1f624dd785f17.png)

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

*   **Развернуть любую систему доказательств**: Легко настраивать выбранную вами систему доказательств, предоставляя образ доказателя, образ верификатора и соответствующие параметры настройки.
    
*   **Запрашивать доказательства**: Отправлять запросы на доказательства на RPC-сервер Fermah. Как только доказательство будет сгенерировано, оно будет проверено в сети и отправлено обратно искателю доказательства или другой назначенной конечной точке.
    
*   **Отслеживание генерации доказательств**: Запрашивайте RPC-сервер Fermah, чтобы отслеживать статус вычисления доказательства. Это позволит вам отслеживать, принято ли ваше доказательство:
    
    *   **Принято**: Запрос на доказательство был получен и будет назначен проверяющему.
        
    *   **Назначено**: Доказатель в настоящее время вычисляет запрос на доказательство.
        
    *   **Доказано**: Доказательство было вычислено и проверено. Как только доказательство достигает этого статуса, оно становится доступным для загрузки. Если вы хотите углубиться, вы можете узнать о дизайне нашей сети и изучить инструкции по интеграции новых систем доказательств в нашей документации.
        

Если вы хотите копнуть глубже, вы можете узнать о дизайне нашей сети и изучить инструкции по интеграции новых систем доказательства в нашей [документации](https://docs.fermah.xyz/).

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

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

*   Роллапы
    
*   Мосты
    
*   Сопроцессоры ZK
    
*   проекты ZKML
    
*   проекты zkFHE
    
*   Роллапы - Rollup-as-a-Service (RaaS)
    
*   ИИ-проекты, которые выполняют тяжелые вычисления вне сети, но хотят проверять достоверность на блокчейне.
    

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

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

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

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

*   **Поддержка дополнительных проверочных систем и zkVM**: для обеспечения бесперебойной поддержки всех случаев использования ZKP.
    
*   **Интеграции с крупными проектами ZK**: чтобы продемонстрировать, какое влияние наш универсальный слой генерации доказательств может оказать на проекты ZK.
    
*   **Новые функции**: чтобы создать для вас самый современный пользовательский интерфейс.
    
*   **Testnet и Mainnet**: они появятся раньше, чем вы думаете. И, наконец, по пути будет несколько пасхалок 🤫.
    

Попробуйте!
-----------

**Если вы заинтересованы, заполните эту** [**форму**](https://www.fermah.xyz/devnet)**, и наши сотрудники свяжутся с вами и подготовят вас к работе.**

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

А пока вы можете узнать больше, изучив нашу [документацию](https://docs.fermah.xyz/).

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

---

*Originally published on [Fermah RU](https://paragraph.com/@fermah-ru/devnet)*
