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

После того как я посвятил последние 15 лет разработке и созданию доказательств с нулевым знанием (ZKP), мне стало ясно, что мы находимся в точке перелома. Технология ZKP находится на грани того, чтобы стать достаточно практичной для использования в широких современных приложениях. Тем не менее, остается последняя битва с боссом.

В этой битве наш противник - сложность генерации доказательств.

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

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

Благодаря универсальному уровню генерации доказательств Fermah решает эту задачу.

Fermah функционирует как рынок для генерации доказательств ZK.

Сторона предложения на рынке состоит из таких машин, как GPU и FPGA. Изначально сторона предложения загружается операторами EigenLayer.

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

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

Спрос и предложение выравниваются с помощью Fermah Matchmaker.

Агрегирование спроса из различных источников позволяет поставщикам использовать эффект масштаба.

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

Этот маховик делает экономику ZKP жизнеспособной в гораздо более широком диапазоне случаев использования.

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

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

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

Когда бы вам ни понадобилось создать доказательства - будь то для ZK-рулонов, ZK-мостов, ZK-сопроцессоров, ZKML-проектов, ZKFHE-проектов или любых других вариантов использования ZKP - мы готовы помочь.

Если вы были заинтригованы ZK, но считали его слишком сложным для использования, мы можем стать тем решением, которого вы так долго ждали!

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

И у нас есть правильные люди, которые поддерживают нас, чтобы выполнить нашу миссию.

Я рад сообщить, что мы привлекли 5,2 миллиона долларов от фондов уровня S, которые сформировали пространство ZK таким, каким оно является сегодня.

Фонд a16z CSX и Lemniscap внесли свой вклад в наш seed-раунд.

В раунде также приняли участие такие фонды, как Bankless Ventures, Longhash Ventures, P-OPS team, Public Works, ZK Validator, Lambda Class, Daedalus, Zero DAO, Velocity Capital, и Daemon Ventures.

Помимо фондов, в этом раунде в качестве ангелов приняли участие бирдеры S-тира. Среди них Баладжи, бывший технический директор Coinbase и A16z GP; Мустафа и Ник, генеральный директор и операционный директор Celestia; Сандип, Джайнти и Дэниел, соучредители Polygon; Зак и Клэр, генеральный директор и операционный директор Aztec; Сергей, генеральный директор Axelar; Грег, соучредитель Geometry, и некоторые другие.

Гиганты проложили путь для Fermah, и мы не можем не радоваться тому, что многие из этих гигантов в нашем углу.

Мы приступаем к амбициозным поискам, чтобы заново изобрести вычисления и доверие в Интернете. Наша этика заключается в совершенстве и доброжелательности. Мы - увлеченная команда, и мы растем. Если что-то из этого созвучно вам, я рекомендую вам заглянуть на нашу страницу «Карьера» и подать заявку! Вы также можете связаться с Пранитом, нашим CMO, или со мной.

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

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

И наконец, мы будем рады видеть вас в нашем сообществе! Сегодня мы открываем наш Discord для публики. Присоединяйтесь к скромной когорте ботаников и добрых энтузиастов ZK, полных решимости победить финального босса и донести лунную математику до широких масс.

Вперед!

‍