Сегодня заработал Девнет Fermah.
Теперь билдеры могут запросить доступ к Fermah, заполнив эту форму.
В оставшейся части этой статьи я расскажу, как Fermah изменит ландшафт ZK, каким мы его знаем.
Fermah - это универсальный слой генерации доказательств. Он оптимизирован для дешевой, быстрой и надежной генерации доказательств ZK.
Fermah функционирует как рынок, где сторона предложения состоит из машин, таких как GPU и FPGA. Изначально сторона предложения загружается операторами EigenLayer.
Что касается спроса, то Fermah спроектирован таким образом, чтобы поддерживать все системы доказательства. Сюда входят zkVMs, zkEVMs, Groth16 и все другие системы доказательств. Проще говоря, Fermah может генерировать доказательства для любого случая, в котором используется ZK.
Стороны спроса и предложения выравниваются с помощью Fermah Matchmaker.
Fermah решает ключевые проблемы генерации доказательств с нулевым разглашением (ZKP):
Сложность создания сети доказательств: Для генерации ZKP требуется наличие дорогих и мощных аппаратных средств. Поиск, развертывание и поддержка этой инфраструктуры - сложная задача. Fermah упрощает этот процесс для разработчиков, абстрагируясь от сложностей, связанных с созданием собственной сети доказательств.
Оптимизированный дизайн механизмов: Пожалуй, самым сложным аспектом проектирования эффективной сети проверки является требуемый дизайн механизма. Дизайн механизмов Fermah оптимизирован под нужды наших клиентов. Механизм Fermah Matchmaker эффективно подбирает искателей доказательств к нашей обширной сети развертывания систем доказательств (операторов), обеспечивая эффективную генерацию и проверку доказательств.
Недостаточное использование ресурсов и высокие затраты: Сегодня большинство приложений, генерирующих ZKP, используют аппаратное обеспечение, которое большую часть времени простаивает. Такое неоптимальное распределение ресурсов приводит к увеличению расходов пользователей. Рыночный подход Fermah обеспечивает эффективное использование ресурсов, снижая затраты пользователей.
Экономия на масштабе: Агрегируя спрос из различных источников, Fermah позволяет поставщикам использовать эффект масштаба, что еще больше снижает затраты и расширяет практическое пространство дизайна для технологии ZK. Универсальная совместимость: Fermah нейтральна с точки зрения доверия и спроектирована для поддержки всех систем доказательства, что позволяет разработчикам работать с предпочтительной системой доказательства для создаваемого ими продукта. И вишенкой на вершине является то, что Fermah чрезвычайно прост в использовании.
Fermah создана для работы с любыми системами доказательств, и мы сразу же начинаем поддерживать некоторые из самых популярных:
Очень скоро мы также предложим поддержку для:
Такая первоначальная поддержка позволяет разработчикам быстро интегрировать эти системы и использовать возможности Fermah без дополнительных настроек. Мы планируем поддерживать все основные системы доказательства.
В Девнете вы получите возможность беспрепятственной, сквозной генерации доказательств. В частности, вы сможете:
Развернуть любую систему доказательств: Легко настраивать выбранную вами систему доказательств, предоставляя образ доказателя, образ верификатора и соответствующие параметры настройки.
Запрашивать доказательства: Отправлять запросы на доказательства на RPC-сервер Fermah. Как только доказательство будет сгенерировано, оно будет проверено в сети и отправлено обратно искателю доказательства или другой назначенной конечной точке.
Отслеживание генерации доказательств: Запрашивайте RPC-сервер Fermah, чтобы отслеживать статус вычисления доказательства. Это позволит вам отслеживать, принято ли ваше доказательство:
Принято: Запрос на доказательство был получен и будет назначен проверяющему.
Назначено: Доказатель в настоящее время вычисляет запрос на доказательство.
Доказано: Доказательство было вычислено и проверено. Как только доказательство достигает этого статуса, оно становится доступным для загрузки. Если вы хотите углубиться, вы можете узнать о дизайне нашей сети и изучить инструкции по интеграции новых систем доказательств в нашей документации.
Если вы хотите копнуть глубже, вы можете узнать о дизайне нашей сети и изучить инструкции по интеграции новых систем доказательства в нашей документации.
Если вы используете ZKP в любой форме, на любой сети, вы можете использовать Fermah. Некоторые сценарии использования, для которых Fermah может стать переломным моментом, таковы:
Роллапы
Мосты
Сопроцессоры ZK
проекты ZKML
проекты zkFHE
Роллапы - Rollup-as-a-Service (RaaS)
ИИ-проекты, которые выполняют тяжелые вычисления вне сети, но хотят проверять достоверность на блокчейне.
Fermah позволяет абстрагироваться от сложности генерации доказательств, чтобы вы могли сосредоточиться на своей основной деятельности.
Запуск Девнета - это только начало.
Мы активно работаем над интеграцией с различными партнерами, чтобы улучшить UX для пользователей Fermah. В ближайшие недели и месяцы вы можете ожидать анонсов о:
Поддержка дополнительных проверочных систем и zkVM: для обеспечения бесперебойной поддержки всех случаев использования ZKP.
Интеграции с крупными проектами ZK: чтобы продемонстрировать, какое влияние наш универсальный слой генерации доказательств может оказать на проекты ZK.
Новые функции: чтобы создать для вас самый современный пользовательский интерфейс.
Testnet и Mainnet: они появятся раньше, чем вы думаете. И, наконец, по пути будет несколько пасхалок 🤫.
Если вы заинтересованы, заполните эту форму, и наши сотрудники свяжутся с вами и подготовят вас к работе.
Мы создадим чат Telegram с вашей командой, чтобы у вас всегда была прямая связь с нашей командой.
А пока вы можете узнать больше, изучив нашу документацию.
Мы с нетерпением ждем возможности работать с вами!