Сегодня был запущен Devnet Fermah (16 сентября 2024 года).
Разработчики могут запросить доступ к Fermah, заполнив эту форму.
В оставшейся части этого поста я объясню, как Fermah изменит ландшафт ZK (Zero-Knowledge, доказательства с нулевым разглашением), каким мы его знаем.
Fermah — это универсальный слой генерации доказательств. Он оптимизирован для недорогой, быстрой и надежной генерации ZK-доказательств.
Fermah функционирует как рынок, где на стороне предложения находятся машины, такие как GPU и FPGA. Изначально сторона предложения запускается операторами EigenLayer.
На стороне спроса Fermah спроектирован для поддержки всех систем доказательств. Это включает zkVM, zkEVM, Groth16 и все другие системы доказательств. Проще говоря, Fermah может генерировать доказательства для любого случая, когда используются ZK.
Стороны спроса и предложения координируются через Fermah Matchmaker.
Fermah решает ключевые задачи в генерации ZK-доказательств:
Сложность создания сети проверяющих (prover): Генерация ZK-доказательств требует наличия проверяющих с дорогим и мощным оборудованием. Поиск, развертывание и обслуживание этой инфраструктуры — сложный процесс. Fermah упрощает этот процесс для разработчиков, абстрагируя сложности создания собственной сети проверяющих.
Оптимизированный механизм дизайна: Возможно, самая сложная часть разработки эффективной сети проверяющих — это необходимый механизм дизайна. Механизм Fermah оптимизирован для потребностей наших клиентов. Fermah Matchmaker эффективно выравнивает запросы на доказательства с нашей обширной сетью операторов, что обеспечивает эффективную генерацию и проверку доказательств.
Недоиспользование ресурсов и высокие затраты: Сегодня большинство приложений, которые генерируют ZK-доказательства, используют оборудование, которое большую часть времени простаивает. Такое неэффективное распределение ресурсов увеличивает затраты для пользователей. Подход Fermah как рынка обеспечивает эффективное использование ресурсов, снижая затраты для пользователей.
Экономия за счёт масштаба: Агрегируя спрос из различных источников, Fermah позволяет поставщикам использовать экономию за счёт масштаба, что дополнительно снижает затраты и расширяет возможности для дизайна ZK-технологий.
Универсальная совместимость: Fermah нейтрален и спроектирован для поддержки всех систем доказательств, что позволяет разработчикам работать с предпочитаемой системой доказательств для их продукта.
Простота использования: Fermah чрезвычайно прост в использовании.
Fermah спроектирован для работы с любой системой доказательств, и мы запускаем поддержку самых популярных:
Очень скоро мы также предложим поддержку:
Эта начальная поддержка позволяет разработчикам быстро интегрировать эти системы и использовать возможности Fermah без дополнительной настройки. Наш план — поддерживать все основные системы доказательств.
На Devnet вы сможете легко и полностью осуществлять генерацию доказательств. Более конкретно, вы сможете:
Развернуть любую систему доказательств: Легко настроить выбранную систему доказательств, предоставив изображение проверяющего, изображение верификатора и связанные параметры настройки.
Запрашивать доказательства: Отправить запросы на доказательства на RPC-сервер Fermah. Как только доказательство сгенерировано, оно проверяется в сети и отправляется обратно запрашивающему или на другой указанный конечный пункт.
Отслеживать генерацию доказательств: Запрашивать статус вычисления доказательства на RPC-сервере Fermah. Это позволяет отслеживать, находится ли доказательство на стадии:
Принято: Запрос на доказательство получен и будет назначен проверяющему.
Назначено: Проверяющий в данный момент вычисляет запрос на доказательство.
Доказано: Доказательство сгенерировано и проверено. Как только доказательство достигает этого статуса, оно доступно для скачивания.
Если вы хотите узнать больше, вы можете изучить наш дизайн сети и ознакомиться с инструкциями по интеграции новых систем доказательств в нашей документации.
Если вы используете ZKP в любой форме и на любой цепи, вы можете использовать Fermah. Некоторые примеры использования, где Fermah может стать решающим фактором:
Rollup'ы
Мосты
ZK-сопроцессоры
ZKML-проекты
zkFHE-проекты
Поставщики Rollup-as-a-Service (RaaS)
AI-проекты, которые выполняют тяжелые вычисления вне цепи, но хотят проверять их валидность на цепи.
Fermah позволяет вам абстрагировать сложность генерации доказательств, чтобы вы могли сосредоточиться на своем основном бизнесе.
Запуск Devnet — это только начало.
Мы активно работаем над интеграциями с различными партнёрами, чтобы улучшить пользовательский опыт для пользователей Fermah. В ближайшие недели и месяцы ожидайте анонсов о:
Поддержке дополнительных систем доказательств и zkVM, чтобы обеспечить беспрепятственную поддержку всех случаев использования ZKP.
Интеграциях с крупными ZK-проектами, чтобы продемонстрировать влияние нашего универсального слоя генерации доказательств на проекты ZK.
Новых функциях, чтобы создать передовой пользовательский опыт для вас.
Тестнете и мейннете, которые появятся раньше, чем вы думаете.
И, наконец, вас ждут несколько «пасхалок» по пути 🤫
Если вы заинтересованы, заполните эту форму, и наша команда свяжется с вами и настроит всё для вас.
Мы создадим чат в Telegram с вашей командой, чтобы обеспечить прямую линию связи с нашей командой.
Тем временем вы можете узнать больше, изучив нашу документацию.
Мы с нетерпением ждём работы с вами!