𝐖𝐡𝐚𝐭’𝐬 𝐭𝐡𝐞 𝐟𝐢𝐫𝐬𝐭 𝐭𝐡𝐢𝐧𝐠 𝐭𝐡𝐚𝐭 𝐜𝐨𝐦𝐞𝐬 𝐭𝐨 𝐲𝐨𝐮𝐫 𝐦𝐢𝐧𝐝 𝐰𝐡𝐞𝐧 𝐲𝐨𝐮 𝐡𝐞𝐚𝐫 𝐙𝐊? Для меня это 𝐅𝐞𝐫𝐦𝐚𝐡. Потому что @fermah_xyz не пытается создать следующий ZK rollup, zkVM или новую систему доказательств. Он строит платформу, в которую могут подключаться все они. ZK доказательства мощные, но управление инфраструктурой для них — это совершенно другая задача. Вам нужно мощное оборудование (обычно GPU), высокоспециализированные программные среды и надежная оркестрация, чтобы все работало гладко. Это дорого, фрагментировано и индивидуально настроено для каждого стека. • Хотите доказать Groth16? Настраиваете одну систему. • Хотите доказать партии Scroll или блоки zkSync? Это другое. • Нужно запустить RISC Zero или Jolt zkVM? Снова другое. Это как если бы каждый стриминговый сервис требовал своего телевизора, своего пульта и своего дивана. 𝐅𝐞𝐫𝐦𝐚𝐡 𝐜𝐡𝐚𝐧𝐠𝐞𝐬 𝐭𝐡𝐚𝐭. Fermah — это 𝐮𝐧𝐢𝐯𝐞𝐫𝐬𝐚𝐥 𝐩𝐫𝐨𝐨𝐟 𝐠𝐞𝐧𝐞𝐫𝐚𝐭𝐢𝐨𝐧 𝐦𝐚𝐫𝐤𝐞𝐭𝐩𝐥𝐚𝐜𝐞. Это означает, что любой может отправить запросы на доказательства через системы доказательств, цепочки и ВМ, и Fermah сопоставит их с правильным узлом оператора для вычисления и возврата этого доказательства. Так же, как вы используете AWS для выполнения вычислений, вы будете использовать Fermah для генерации доказательств. Что решает Fermah? Он абстрагирует инфраструктуру доказательства. Больше не нужно управлять машинами, устанавливать схемы или строить Docker-окружения. Вместо этого искатели отправляют задания через RPC или SDK. Система сопоставления Fermah назначает их доступным узлам доказательства. Доказательство возвращается и, при необходимости, сохраняется. Под капотом эти узлы управляются операторами Eigenlayer. Это означает, что Fermah использует растущую экономику повторного стекинга Ethereum для предложения децентрализованной, производительной генерации доказательств. Эта модель оркестрации означает: • Более высокая загрузка провайдеров • Более низкая стоимость за доказательство • Более быстрые времена возврата • Доказательства как услуга (в масштабе) И это не теоретически. Это работает. Fermah в настоящее время поддерживает производственные нагрузки для @zksync, генерируя блоковые доказательства с сильной экономической эффективностью. Он также интегрирован в конвейер zkEVM Scroll, охватывающий этапы чанков, партий и пакетов. И это уровень доказательства для Jolt zkVM от a16z, который работает в тестовой сети Fermah. Вместо того чтобы продвигать еще одну ZK платформу, Fermah позиционирует себя как связующий слой, превращающий генерацию доказательств с нулевым знанием в программируемый, надежный примитив для всех. Так что же предлагает Fermah в реальных терминах? Единственный интерфейс для: • Генерации доказательств Groth16, zkVM, zkEVM, RISC Zero или Jolt • Делегирования доказательств узлам вне цепи, абстрагированных от вашей логики приложения • Интеграции генерации доказательств через цепочки и системы • Избежания нагрузки на devops по поддержанию внутренней инфраструктуры доказательства Так же, как разработчик не строит дата-центр для развертывания приложения, Fermah считает, что вам не нужно строить ферму провайдеров только для использования нулевого знания. TL;DR Fermah — это не просто еще один инструмент ZK. Это инфраструктурный слой, делающий универсальную генерацию ZK возможной. Когда генерация доказательств станет товаром, автоматизированной и интегрированной по всему стеку, это не будет потому, что каждое приложение построило свой собственный конвейер. Это будет потому, что Fermah упростил подключение и получение доказательств. Gfermah. @vanishree_rao