¿Cuál es la primera cosa que te viene a la mente cuando escuchas ZK? Para mí, es 𝐅𝐞𝐫𝐦𝐚𝐡. Porque @fermah_xyz no está tratando de construir el próximo ZK rollup, zkVM o nuevo sistema de prueba. Está construyendo la plataforma en la que todos ellos pueden conectarse. Las pruebas ZK son poderosas, pero ejecutar la infraestructura para ellas es una bestia completamente diferente. Necesitas hardware potente (generalmente GPUs), entornos de software altamente especializados, y orquestación confiable para asegurarte de que todo funcione sin problemas. Es caro, fragmentado y construido a medida para cada stack. • ¿Quieres probar Groth16? Configuras un sistema. • ¿Quieres probar lotes de Scroll o bloques de zkSync? Eso es otro. • ¿Necesitas ejecutar RISC Zero o Jolt zkVM? Diferente de nuevo. Es como si cada servicio de streaming requiriera su propia TV, su propio control remoto y su propio sofá. 𝐅𝐞𝐫𝐦𝐚𝐡 𝐜𝐡𝐚𝐧𝐠𝐞𝐬 𝐭𝐡𝐚𝐭. Fermah es un 𝐮𝐧𝐢𝐯𝐞𝐫𝐬𝐚𝐥 𝐩𝐫𝐨𝐨𝐟 𝐠𝐞𝐧𝐞𝐫𝐚𝐭𝐢𝐨𝐧 𝐦𝐚𝐫𝐤𝐞𝐭𝐩𝐥𝐚𝐜𝐞. Eso significa que cualquiera puede enviar solicitudes de prueba a través de sistemas de prueba, cadenas y VMs, y Fermah las emparejará con el nodo operador adecuado para calcular y devolver esa prueba. La forma en que usas AWS para ejecutar computación, usarás Fermah para generar pruebas. ¿Qué resuelve Fermah? Abstracta la infraestructura de prueba. No más gestionar máquinas, instalar circuitos o construir entornos de Docker. En su lugar, los buscadores envían trabajos a través de RPC o SDK. El emparejador de Fermah los asigna a nodos probadores disponibles. La prueba se devuelve y se almacena opcionalmente. Bajo el capó, esos nodos son operados por operadores de Eigenlayer. Lo que significa que Fermah utiliza la creciente economía de restaking de Ethereum para ofrecer generación de pruebas descentralizada y eficiente. Este modelo de orquestación significa: • Mayor utilización de probadores • Menor costo por prueba • Tiempos de retorno más rápidos • Pruebas como servicio (a gran escala) Y no es teórico. Está funcionando. Fermah actualmente potencia cargas de trabajo de producción para @zksync, generando pruebas de bloques con un fuerte rendimiento económico. También está integrado en la tubería zkEVM de Scroll, cubriendo etapas de chunk, batch y bundle. Y es la capa de prueba para el Jolt zkVM de a16z, que está en vivo en la testnet de Fermah. En lugar de empujar otro marco ZK, Fermah se posiciona como la capa conectiva que convierte la generación de pruebas de conocimiento cero en un primitivo programable y confiable para todos. Entonces, ¿qué ofrece Fermah, en términos reales? Una única interfaz para: • Generar pruebas Groth16, zkVM, zkEVM, RISC Zero o Jolt • Delegar pruebas a nodos fuera de la cadena, abstraídos de la lógica de tu aplicación • Integrar la generación de pruebas a través de cadenas y sistemas • Evitar la carga de devops de mantener infraestructura de prueba interna Así como un desarrollador no construye un centro de datos para desplegar una aplicación, Fermah cree que no deberías necesitar construir una granja de probadores solo para usar conocimiento cero. Resumen Fermah no es solo otra herramienta ZK. Es la capa de infraestructura que hace posible la generación ZK universal. Cuando la generación de pruebas se convierta en una mercancía, automatizada e integrada a través del stack, no será porque cada aplicación construyó su propia tubería. Será porque Fermah facilitó la conexión y la obtención de pruebas. Gfermah. @vanishree_rao