# Fermah: Devnet запущен By [jaehaerys](https://paragraph.com/@jaehaerys-2) · 2024-09-17 --- Сегодня был запущен Devnet Fermah **(16 сентября 2024 года)**. Разработчики могут запросить доступ к Fermah, заполнив [эту форму](https://www.fermah.xyz/devnet). В оставшейся части этого поста я объясню, как Fermah изменит ландшафт ZK (Zero-Knowledge, доказательства с нулевым разглашением), каким мы его знаем. Но сначала, что такое Fermah? ----------------------------- Fermah — это универсальный слой генерации доказательств. Он оптимизирован для недорогой, быстрой и надежной генерации ZK-доказательств. ![](https://storage.googleapis.com/papyrus_images/c9c934a8a127a68b28a96d4521f899243a089b8681ddde1eb466c7f3ea40cb9e.gif) Fermah функционирует как рынок, где на стороне предложения находятся машины, такие как GPU и FPGA. Изначально сторона предложения запускается операторами EigenLayer. На стороне спроса Fermah спроектирован для поддержки всех систем доказательств. Это включает zkVM, zkEVM, Groth16 и все другие системы доказательств. Проще говоря, **Fermah может генерировать доказательства для любого случая, когда используются ZK.** Стороны спроса и предложения координируются через Fermah Matchmaker. Что предлагает Fermah? ---------------------- Fermah решает ключевые задачи в генерации ZK-доказательств: * **Сложность создания сети проверяющих (prover):** Генерация ZK-доказательств требует наличия проверяющих с дорогим и мощным оборудованием. Поиск, развертывание и обслуживание этой инфраструктуры — сложный процесс. Fermah упрощает этот процесс для разработчиков, абстрагируя сложности создания собственной сети проверяющих. * **Оптимизированный механизм дизайна:** Возможно, самая сложная часть разработки эффективной сети проверяющих — это необходимый механизм дизайна. Механизм Fermah оптимизирован для потребностей наших клиентов. Fermah Matchmaker эффективно выравнивает запросы на доказательства с нашей обширной сетью операторов, что обеспечивает эффективную генерацию и проверку доказательств. * **Недоиспользование ресурсов и высокие затраты:** Сегодня большинство приложений, которые генерируют ZK-доказательства, используют оборудование, которое большую часть времени простаивает. Такое неэффективное распределение ресурсов увеличивает затраты для пользователей. Подход Fermah как рынка обеспечивает эффективное использование ресурсов, снижая затраты для пользователей. * **Экономия за счёт масштаба:** Агрегируя спрос из различных источников, Fermah позволяет поставщикам использовать экономию за счёт масштаба, что дополнительно снижает затраты и расширяет возможности для дизайна ZK-технологий. * **Универсальная совместимость:** Fermah нейтрален и спроектирован для поддержки всех систем доказательств, что позволяет разработчикам работать с предпочитаемой системой доказательств для их продукта. * **Простота использования:** Fermah чрезвычайно прост в использовании. Out-of-the-Box Support ---------------------- ![](https://storage.googleapis.com/papyrus_images/76468528f65132f886bda09d90d4b199209c4445936c2f2d6ebb7ce5bf84c0f9.jpg) Fermah спроектирован для работы с любой системой доказательств, и мы запускаем поддержку самых популярных: * [Jolt от a16z](https://jolt.a16zcrypto.com/) * [Groth16 от Йенса Грота](https://www.zeroknowledgeblog.com/index.php/groth16) * [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/) Очень скоро мы также предложим поддержку: * [Nexus 2.0 zkVM](https://docs.nexus.xyz/) * [Stone от Starkware](https://github.com/starkware-libs/stone-prover) * [Системы доказательств Aztec](https://docs.aztec.network/) Эта начальная поддержка позволяет разработчикам быстро интегрировать эти системы и использовать возможности Fermah без дополнительной настройки. Наш план — поддерживать все основные системы доказательств. Что ожидать от Devnet? ---------------------- ![](https://storage.googleapis.com/papyrus_images/ed8d14cb3fb3ed78c6e80265f773361810fb39adcc1c651955068e9f439f53cc.png) На Devnet вы сможете легко и полностью осуществлять генерацию доказательств. Более конкретно, вы сможете: * **Развернуть любую систему доказательств:** Легко настроить выбранную систему доказательств, предоставив изображение проверяющего, изображение верификатора и связанные параметры настройки. * **Запрашивать доказательства:** Отправить запросы на доказательства на RPC-сервер Fermah. Как только доказательство сгенерировано, оно проверяется в сети и отправляется обратно запрашивающему или на другой указанный конечный пункт. * **Отслеживать генерацию доказательств:** Запрашивать статус вычисления доказательства на RPC-сервере Fermah. Это позволяет отслеживать, находится ли доказательство на стадии: * **Принято:** Запрос на доказательство получен и будет назначен проверяющему. * **Назначено:** Проверяющий в данный момент вычисляет запрос на доказательство. * **Доказано:** Доказательство сгенерировано и проверено. Как только доказательство достигает этого статуса, оно доступно для скачивания. Если вы хотите узнать больше, вы можете изучить наш дизайн сети и ознакомиться с инструкциями по интеграции новых систем доказательств в нашей [документации](https://docs.fermah.xyz/). Кто может участвовать в Devnet? ------------------------------- Если вы используете ZKP в любой форме и на любой цепи, вы можете использовать Fermah. Некоторые примеры использования, где Fermah может стать решающим фактором: * Rollup'ы * Мосты * ZK-сопроцессоры * ZKML-проекты * zkFHE-проекты * Поставщики Rollup-as-a-Service (RaaS) * AI-проекты, которые выполняют тяжелые вычисления вне цепи, но хотят проверять их валидность на цепи. Fermah позволяет вам абстрагировать сложность генерации доказательств, чтобы вы могли сосредоточиться на своем основном бизнесе. Что дальше? ----------- Запуск Devnet — это только начало. Мы активно работаем над интеграциями с различными партнёрами, чтобы улучшить пользовательский опыт для пользователей Fermah. В ближайшие недели и месяцы ожидайте анонсов о: * Поддержке дополнительных систем доказательств и zkVM, чтобы обеспечить беспрепятственную поддержку всех случаев использования ZKP. * Интеграциях с крупными ZK-проектами, чтобы продемонстрировать влияние нашего универсального слоя генерации доказательств на проекты ZK. * Новых функциях, чтобы создать передовой пользовательский опыт для вас. * Тестнете и мейннете, которые появятся раньше, чем вы думаете. И, наконец, вас ждут несколько «пасхалок» по пути 🤫 Попробуйте сами! ---------------- Если вы заинтересованы, заполните [эту форму](https://www.fermah.xyz/devnet), и наша команда свяжется с вами и настроит всё для вас. Мы создадим чат в Telegram с вашей командой, чтобы обеспечить прямую линию связи с нашей командой. Тем временем вы можете узнать больше, изучив [нашу документацию](https://docs.fermah.xyz/). Мы с нетерпением ждём работы с вами! --- *Originally published on [jaehaerys](https://paragraph.com/@jaehaerys-2/fermah-devnet)*