Доказательства нулевого знания (ZKPs) являются переломным моментом в криптографии, позволяя одной стороне доказать истинность утверждения, не раскрывая базовую информацию. Однако создание ZKPs является дорогим и ресурсоемким процессом. Разработчики сталкиваются с проблемой поиска, развертывания и поддержания дорогостоящей инфраструктуры, которая часто используется не в полной мере. Эта неэффективность увеличивает затраты пользователей и замедляет принятие, что делает решения на основе ZKP менее доступными.

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

Что такое Fermah?

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

Миссия и видение Fermah

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

Технология за Fermah

Архитектура Fermah построена на передовых криптографических технологиях и надежной децентрализованной инфраструктуре, разработанной для оптимизации генерации нулевых доказательств (ZKPs) для различных приложений. Этот фундамент интегрирует современные криптографические инструменты, такие как промежуточное программное обеспечение EigenLayer, наряду с пиринговой сетью Matchmaker, которая эффективно выделяет вычислительные ресурсы. Платформа разработана для поддержки нескольких систем доказательств, обеспечивая беспрепятственную совместимость с различными случаями использования, от проверки блокчейна до безопасной передачи данных.

Компоненты Fermah

Базовыми компонентами Fermah являются три основных элемента: Искатели, Сватовство и Операторы. Каждый из них выполняет отдельную роль в общей архитектуре, обеспечивая плавное, надежное и масштабируемое поколение ZKP. Вот разбивка того, как каждый компонент функционирует и вносит свой вклад в эффективность системы:

1. Искатели

Искатели — это разработчики или сущности, которым требуется генерация доказательств с нулевым разглашением. Это могут быть блокчейн-проекты, предприятия или даже частные лица, стремящиеся повысить конфиденциальность и безопасность. Соискатели отправляют запросы на подтверждение через платформу, указывая свои вычислительные потребности и требуемый тип ZKP. После того, как их запрос будет обработан, Искатели соединяются с соответствующими Операторами, у которых есть необходимые ресурсы для завершения генерации доказательства.

1. Сводница

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

1. Операторы

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

Развертывание системы подтверждения

Fermah использует контейнеры Docker для упаковки систем проверки, которые затем размещаются на URL-адресах сети доставки содержимого (CDN). Такая конфигурация позволяет операторам быстро получать доступ к необходимым системам проверки и выполнять их с минимальной задержкой, обеспечивая высокую эффективность работы платформы. По мере того, как Искатели отправляют свои Запросы на подтверждение, система проверяет эти запросы, сопоставляет их с подходящими Операторами и обрабатывает их в указанные сроки. Система подбора игроков постоянно контролирует и отслеживает ход выполнения каждого запроса, обеспечивая подотчетность и бесперебойное исполнение.

Экономическая модель

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

Как работает Fermah?

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

Подача запроса на подтверждение

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

Назначение задачи

После того как Запрос на доказательство отправлен, в дело вступает Сват, который сначала проверяет право Запросившего на получение услуги, удостоверяясь, что он соответствует требованиям платформы. Затем Сват назначает задачу соответствующему Оператору. Распределение основано на совместимости аппаратных средств и наличии ресурсов. Сват гарантирует, что выбранный Оператор имеет вычислительную мощность для выполнения генерации доказательства в установленные сроки. Этот интеллектуальный процесс подбора помогает балансировать нагрузку на сеть и обеспечивать эффективное распределение ресурсов.

Генерация подтверждения

Как только задача назначена, Оператор начинает процесс генерации подтверждения. Операторы загружают необходимые системы подтверждения с CDN-URL-адресов, которые Fermah хостит для обеспечения быстрого и надежного доступа. С необходимыми системами подтверждения в руках Оператор использует свои вычислительные ресурсы для генерации запрошенного Запросчиком подтверждения. Весь процесс соответствует параметрам, установленным Запросчиком, обеспечивая, что доказательства соответствуют ожидаемым критериям точности и производительности.

Доставка результата

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

Отслеживание и надежность

На протяжении всего процесса сваха играет решающую роль в отслеживании статуса каждого запроса. Заявители могут отслеживать свои запросы в реальном времени, обеспечивая полную прозрачность и уверенность в системе. Кроме того, Операторы выделяют свои ресурсы на минимум 500 блоков, примерно два часа, обеспечивая таким образом их участие и преданность выполнению задачи. Это обязательство обеспечивает стабильность сети и гарантирует постоянное наличие ресурсов для генерации доказательств. Следя за запросами и обеспечивая своевременную доставку доказательств, Fermah поддерживает высокий уровень надежности и ответственности как для Заявителей, так и для Операторов.

Основные характеристики Fermah

Генерация универсального доказательства

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

Ключевые аспекты создания универсального доказательства

1. Надежно нейтральный и всеобъемлющий: Fermah разработана для поддержки всех основных систем доказательств, включая zkVMs, zkEVMs, Groth16 и другие. Эта нейтральность обеспечивает возможность выбора пользователями наиболее подходящей системы доказательства для своих конкретных потребностей, без привязки к одной технологии.

2. Модель маркетплейса: платформа работает как маркетплейс, где сторона предложения состоит из высокопроизводительных машин, таких как GPU и FPGA. Эти ресурсы соответствуют спросу от пользователей, нуждающихся в ZK-доказательствах для различных приложений, таких как zkRollups, ZK-мосты и решения, ориентированные на конфиденциальность.

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

4. Упрощение сложности: Одной из основных целей Fermah является абстрагирование от сложности, связанной с ZK-доказательствами. Предоставляя удобный интерфейс и предсказуемые модели ценообразования, Fermah облегчает интеграцию ZK-доказательств в проекты разработчиков и бизнеса без необходимости глубоких криптографических знаний.

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

ZK Bazaar: децентрализованная торговая площадка

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

Дешевое, быстрое и надежное поколение доказательств ZK

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

Настраиваемая ценовая политика и производительность

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

Делегирование подтверждения, защищенного данными (скоро)

Fermah собирается представить Data-Protected Proving Delegation - захватывающую функцию, которая повысит конфиденциальность, обеспечивая, что чувствительные данные не будут раскрыты в процессе генерации доказательств. Эта функция будет полезна для проектов в областях, таких как здравоохранение, финансы и безопасные коммуникации.

Применение Fermah

Проверка блокчейна и сохранение конфиденциальности транзакций

Fermah идеально подходит для приложений на основе блокчейна, требующих конфиденциальности и масштабируемости. Используя ZKP, блокчейн-сети могут проверять транзакции, не раскрывая конфиденциальную информацию. Разработчики могут положиться на Fermah для быстрого создания необходимых доказательств для проверки транзакций, что делает его ключевым игроком в децентрализованных финансах (DeFi) и блокчейн-проектах, ориентированных на конфиденциальность.

Обработка конфиденциальных данных

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

Цепочка поставок и верификация личности

Гибкость Fermah также распространяется на отрасли, такие как управление цепочками поставок и проверка подлинности личности. Доказательства нулевого знания позволяют осуществлять безопасные и эффективные проверки личности или отслеживание продуктов в цепочке поставок без раскрытия конфиденциальных данных, обеспечивая прозрачность и конфиденциальность.

Тестовая сеть Fermah

Devnet Fermah служит основой для ее тестирования и фазы разработки. Это сеть с разрешениями, предназначенная для соединения Искателей и Операторов в контролируемой, безопасной среде, позволяющей двум сторонам сотрудничать при подаче запросов на подтверждение и генерации подтверждений. Devnet уже работает и открыт для Операторов EigenLayer, которые могут присоединиться к обработке запросов на подтверждение. Эта фаза критична для настройки компонентов платформы и обеспечения бесперебойной функциональности перед ее публичным релизом.

Основные особенности Fermah’s Devnet

• Набор инструментов разработчика: Fermah предоставляет надежное SDK, упрощая процесс отправки запросов на подтверждение для разработчиков. Набор инструментов упрощает цикл разработки и повышает удобство использования путем предоставления предварительно настроенных инструментов.
• Предварительно собранные образы Docker: Операторы могут получить доступ к предварительно собранным образам Docker, уменьшая сложность настройки. Эти образы гарантируют, что операторы могут легко настроить свои системы для генерации доказательств без дополнительной настройки.
• Доступ с разрешения: Devnet работает в режиме доступа по разрешению, обеспечивая качество и надежность во время этапа тестирования. Управление доступом позволяет Fermah эффективно управлять сетью и гарантировать, что только доверенные стороны участвуют.

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

Присоединяйтесь к Devnetздесь.

Финансирование Fermah

Недавно компания Fermah собрала $5,2 миллиона в первом раунде финансирования 17 сентября 2024 года. Раунд возглавили a16z CSX и Lemniscap, с участием таких известных инвесторов, как Bankless Ventures, Longhash Ventures, P-OPS Team и ZK Validator. В качестве ангельских инвесторов присоединились известные личности, включая Баладжи Сринивасана, Сандипа Наилвала и Мустафу Аль-Бассама. Это финансирование направлено на развитие продукта и расширение команды для укрепления рынка генерации доказательств.

Команда Fermah

Компания Fermah возглавляет Ванишри Рао, криптограф с более чем 15-летним опытом в нулевых доказательствах (ZKP). Ранее она работала в качестве ведущего криптографа в O(1) Labs, команде, стоящей за протоколом Mina. Экспертиза Ванишри в криптографии является основой для развития Fermah.

В ее поддержке стоит Пранит Гарг, главный маркетинговый директор (CMO), который привносит свой маркетинговый опыт в команду. Вместе они стремятся сделать технологию ZK более доступной и масштабируемой. Текущее финансирование поможет укрепить инфраструктуру ZKP Ферма и поддержать дальнейшее расширение команды.

Заключение

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