Las pruebas de conocimiento cero (ZKP) son un cambio de juego en criptografía, lo que permite a una parte demostrar la veracidad de una declaración sin revelar la información subyacente. Sin embargo, generar ZKP es un proceso costoso y que requiere muchos recursos. Los desarrolladores enfrentan el desafío de obtener, desplegar y mantener una infraestructura costosa que a menudo queda subutilizada. Esta ineficiencia infla los costos para el usuario y ralentiza la adopción, lo que hace que las soluciones basadas en ZKP sean menos accesibles.

Fermah resuelve este problema con su capa de generación de prueba universal. Diseñado para hacer que las ZKP sean más rápidas, más baratas y más confiables, Fermah elimina cuellos de botella de infraestructura y optimiza la utilización de recursos. El aprovechamiento de la tecnología avanzada crea una experiencia perfecta tanto para los desarrolladores como para los usuarios finales. Ya sea que seas un desarrollador de blockchain, una empresa que asegura datos o un individuo que busca privacidad, Fermah hace que la generación de ZKP sea accesible y eficiente.

¿Qué es Fermah?

Fermah es una plataforma universal de generación de pruebas que transforma la forma en que se crean y utilizan las pruebas de conocimiento cero. Actúa como un puente entre los desarrolladores que necesitan ZKP y la infraestructura sólida necesaria para generarlas. En su núcleo, Fermah elimina los obstáculos técnicos y financieros que han afectado durante mucho tiempo al espacio ZKP, ofreciendo una alternativa eficiente para la generación de pruebas.

La Misión y Visión de Fermah

La misión de Fermah es democratizar la tecnología ZKP, asegurando que los desarrolladores y las empresas puedan acceder a soluciones asequibles, rápidas y confiables. Su visión es convertirse en la columna vertebral de la generación de ZKP, potenciando las aplicaciones globales en privacidad, escalabilidad y seguridad sin las limitaciones de una infraestructura que consume muchos recursos.

Tecnología detrás de Fermah

La arquitectura de Fermah se basa en tecnologías criptográficas avanzadas y una infraestructura descentralizada robusta, diseñada para optimizar la generación de Pruebas de Conocimiento Cero (ZKPs) para una variedad de aplicaciones. Esta base integra herramientas criptográficas de última generación, como el middleware EigenLayer, junto con una red de Matchmaker peer-to-peer, que asigna eficientemente recursos computacionales. La plataforma está diseñada para admitir múltiples sistemas de prueba, asegurando una compatibilidad perfecta con diversos casos de uso, desde la verificación de blockchain hasta la transmisión segura de datos.

Componentes de Fermah

En su núcleo, Fermah utiliza tres componentes esenciales: Seekers, Matchmaker y Operators. Cada uno desempeña un papel distinto en la arquitectura general, asegurando una generación de ZKP fluida, confiable y escalable. A continuación se muestra un desglose de cómo cada componente funciona y contribuye a la eficiencia del sistema:

1. Buscadores

Los Seekers son los desarrolladores o entidades que requieren la generación de Pruebas de Conocimiento Cero. Estos pueden incluir proyectos de blockchain, empresas o incluso individuos que buscan mejorar la privacidad y la seguridad. Los Seekers envían solicitudes de prueba a través de la plataforma, especificando sus necesidades computacionales y el tipo de ZKP requerido. Una vez que su solicitud es procesada, los Seekers se conectan con los Operadores apropiados que tienen los recursos necesarios para completar la generación de la prueba.

1. Casamentero

El casamentero actúa como el puente entre los Buscadores y los Operadores. Esta red peer-to-peer empareja solicitudes de prueba de los Buscadores con Operadores compatibles, optimizando la asignación de recursos computacionales en función de la disponibilidad y las especificaciones de hardware. El casamentero asegura que cada solicitud sea emparejada con un Operador que pueda manejar la tarea dentro de los límites de tiempo y costos definidos. Su papel es crucial para mantener la transparencia, confiabilidad y eficiencia en todo el proceso, ya que realiza seguimiento del estado de cada solicitud desde la presentación hasta su finalización.

1. Operadores

Los operadores son los proveedores de infraestructura que realizan los cálculos de prueba reales. Estos pueden variar desde proveedores individuales de hardware hasta centros de datos a gran escala que ofrecen recursos basados en la nube. Los operadores son responsables de ejecutar las tareas computacionales asociadas con la generación de los ZKP requeridos. Comprometen sus recursos de hardware por períodos predeterminados, y al hacerlo, contribuyen a la seguridad y confiabilidad general de la red. Este modelo descentralizado garantiza una cadena de suministro diversa y distribuida para la generación de pruebas, evitando cuellos de botella y promoviendo la redundancia.

Implementación del sistema de prueba

Fermah utiliza contenedores Docker para empaquetar sistemas de prueba, que luego se alojan en URLs de Content Delivery Network (CDN). Esta configuración permite a los Operadores acceder a los sistemas de prueba necesarios rápidamente y ejecutarlos con un retraso mínimo, asegurando que la plataforma funcione con alta eficiencia. A medida que los Solicitantes envían sus Solicitudes de Prueba, el sistema verifica estas solicitudes, las empareja con Operadores adecuados y las procesa dentro de los plazos especificados. El Matchmaker monitorea y realiza un seguimiento continuo del progreso de cada solicitud, asegurando la responsabilidad y la ejecución sin problemas.

Modelo Económico

Además, Fermah utiliza el modelo de staking descentralizado de EigenLayer, que mejora la seguridad económica de su red. Los operadores apuestan sus recursos por períodos designados, asegurando que sigan comprometidos con el sistema y su rendimiento. Este modelo de staking aumenta la confianza en la plataforma y proporciona un mecanismo de recompensa para los operadores, alineando los incentivos para ambas partes. La naturaleza descentralizada del sistema contribuye a su confiabilidad y reduce los costos operativos asociados con la generación de ZKP, lo que lo hace más accesible para desarrolladores y empresas por igual.

¿Cómo funciona Fermah?

El flujo de trabajo de Fermah está diseñado para ser eficiente, seguro y transparente, garantizando una generación perfecta de Prueba de Conocimiento Cero (ZKP, por sus siglas en inglés). La plataforma simplifica el complejo proceso de creación de ZKP a través de un sistema estructurado que involucra tres componentes principales: Buscadores, Casamenteros y Operadores. A continuación, echaremos un vistazo más de cerca a cómo se desarrolla el proceso:

Envío de solicitud de prueba

El viaje comienza cuando los buscadores, ya sean desarrolladores, proyectos de blockchain o empresas, envían sus solicitudes de prueba a través de un servidor JSON-RPC. Estas solicitudes incluyen detalles específicos de cálculo, como el tipo de ZKP requerido y los parámetros asociados con la tarea. Además, los buscadores proporcionan enlaces a los sistemas de prueba relevantes que se utilizarán para generar las pruebas. Este paso asegura que toda la información necesaria se recopile por adelantado y esté disponible para su procesamiento, lo que permite que el sistema asigne recursos de manera efectiva.

Asignación de tareas

Una vez que se envía la Solicitud de Prueba, el Intermediario se encarga. Primero verifica la elegibilidad del Solicitante, asegurándose de que cumpla con los requisitos de la plataforma para utilizar el servicio. Luego, el Intermediario asigna la tarea a un Operador adecuado. La asignación se basa en la compatibilidad de hardware y la disponibilidad de recursos. El Intermediario se asegura de que el Operador elegido tenga la potencia computacional para realizar la generación de pruebas dentro del plazo requerido. Este proceso de coincidencia inteligente ayuda a equilibrar la carga de la red y garantiza que se asignen los recursos de manera eficiente.

Generación de pruebas

Una vez que se asigna la tarea, el Operador comienza el proceso de generación de pruebas. Los Operadores descargan los sistemas de prueba necesarios desde las URL de CDN, que Fermah aloja para garantizar un acceso rápido y confiable. Con los sistemas de prueba requeridos en mano, el Operador utiliza sus recursos computacionales para generar la prueba solicitada por el Solicitante. Todo el proceso cumple con los parámetros establecidos por el Solicitante, asegurando que las pruebas cumplan con los criterios esperados de precisión y rendimiento.

Entrega de resultado

Después de que la prueba se genera con éxito, los resultados se entregan al Solicitante a través de su URL de devolución de llamada especificada. Esto garantiza que el Solicitante reciba la prueba completada directa y puntualmente. Si, por cualquier razón, la prueba no puede generarse dentro del límite de tiempo definido, la solicitud se marca como rechazada. Esta salvaguardia garantiza que la plataforma mantenga un alto estándar de servicio y confiabilidad, evitando que se acepten generaciones de pruebas incompletas o retrasadas.

Seguimiento y Confiabilidad

A lo largo de todo el proceso, el casamentero juega un papel crucial en el seguimiento del estado de cada solicitud. Los solicitantes pueden monitorear sus solicitudes en tiempo real, asegurando total transparencia y confianza en el sistema. Además, los operadores comprometen sus recursos durante un mínimo de 500 bloques, aproximadamente dos horas, asegurando que permanezcan comprometidos y dedicados a la tarea. Este compromiso proporciona estabilidad a la red y garantiza que los recursos estén disponibles de manera constante para la generación de pruebas. Al rastrear las solicitudes y garantizar la entrega oportuna de pruebas, Fermah mantiene un alto nivel de confiabilidad y responsabilidad tanto para los solicitantes como para los operadores.

Características clave de Fermah

Generación universal de pruebas

Fermah admite una amplia gama de sistemas de prueba de conocimiento cero, incluidos zkVM, zkEVM, Groth16 y muchos otros protocolos. Este soporte universal hace que Fermah sea altamente adaptable a diferentes industrias y casos de uso, asegurando la compatibilidad con varios estándares criptográficos. Esta versatilidad permite que Fermah atienda a una creciente variedad de soluciones de blockchain, privacidad y protección de datos. Esta función sirve como el pilar de la plataforma de Fermah, lo que permite a los usuarios generar pruebas en una amplia gama de sistemas de demostración con una eficiencia y confiabilidad incomparables.

Aspectos clave de la generación universal de pruebas

1. Crediblemente neutral e inclusivo: Fermah está diseñado para admitir todos los principales sistemas de prueba, incluidos zkVM, zkEVM, Groth16 y más. Esta neutralidad garantiza que los usuarios puedan elegir el sistema de prueba más adecuado para sus necesidades específicas sin quedar atrapados en una sola tecnología.

2. Modelo de mercado: La plataforma opera como un mercado, con el lado de la oferta que consiste en máquinas de alto rendimiento como GPUs y FPGAs. Estos recursos se emparejan con la demanda de usuarios que necesitan pruebas ZK para diversas aplicaciones, como zkRollups, puentes ZK y soluciones centradas en la privacidad.

3. Eficiencia de costos y rendimiento: Fermah está optimizado para generar pruebas rentables y de alto rendimiento. Los usuarios pueden ajustar parámetros para equilibrar entre el precio y el rendimiento, asegurando que la generación de pruebas cumpla con sus requerimientos financieros y operativos.

4. Abstrayendo la complejidad: Uno de los objetivos principales de Fermah es abstraer la complejidad asociada con las pruebas de conocimiento cero (ZK proofs). Al proporcionar una interfaz fácil de usar y modelos de precios predecibles, Fermah facilita a los desarrolladores y empresas la integración de pruebas de conocimiento cero (ZK proofs) en sus proyectos sin necesidad de tener un profundo conocimiento criptográfico.

5. Escalabilidad y confiabilidad: La plataforma está diseñada para manejar de manera confiable tareas de generación de pruebas a gran escala. Esta escalabilidad es crucial para aplicaciones que requieren grandes volúmenes de pruebas, asegurando que Fermah pueda satisfacer las demandas tanto de proyectos pequeños como de grandes empresas.

El ZK Bazaar: un mercado descentralizado

Fermah funciona como un mercado que conecta la oferta de recursos computacionales con la demanda de ZKPs. El lado de la oferta consiste en GPUs y FPGAs que pueden procesar solicitudes de generación de pruebas. Las aplicaciones del lado de la demanda que requieren tecnología de conocimiento cero, como transacciones que preservan la privacidad o validación escalable de blockchain, pueden enviar solicitudes de prueba. El intermediario de Fermah se asegura de que las solicitudes se emparejen con los Operadores más adecuados, optimizando costos y rendimiento.

Generación de Pruebas ZK Baratas, Rápidas y Confiables

La arquitectura de Fermah está optimizada para ofrecer una generación rápida y rentable de ZKP, lo que la hace accesible para desarrolladores y empresas que buscan una solución escalable. La capacidad de la plataforma para procesar pruebas rápidamente, manteniendo al mismo tiempo la fiabilidad, la convierte en una elección ideal para aplicaciones donde la generación de pruebas con límite de tiempo es crítica.

Precios y rendimiento personalizables

Fermah ofrece a los desarrolladores la capacidad de ajustar el equilibrio entre precio y rendimiento. Al ajustar finamente este equilibrio, los usuarios pueden optimizar sus Solicitudes de Prueba basadas en las necesidades específicas del proyecto. Esta función de personalización hace de Fermah una solución flexible tanto para proyectos a pequeña escala como para grandes empresas.

Delegación de Demostración Protegida de Datos (Próximamente)

Fermah está listo para introducir la Delegación de Prueba Protegida de Datos, una característica emocionante que mejorará la privacidad al asegurar que los datos sensibles no se expongan durante el proceso de generación de pruebas. Esta característica será valiosa para proyectos en campos como la salud, las finanzas y las comunicaciones seguras.

Casos de uso de Fermah

Verificación de blockchain y transacciones que preservan la privacidad

Fermah es perfecto para aplicaciones basadas en blockchain que requieren privacidad y escalabilidad. Al utilizar ZKPs, las redes blockchain pueden validar transacciones sin revelar información sensible. Los desarrolladores pueden confiar en Fermah para generar rápidamente las pruebas necesarias para la verificación de transacciones, lo que lo convierte en un actor clave en proyectos de finanzas descentralizadas (DeFi) y blockchain enfocados en la privacidad.

Procesamiento de Datos Confidenciales

Con la creciente demanda de intercambio seguro de datos, Fermah ofrece una forma efectiva de realizar cálculos en datos encriptados, garantizando la privacidad. Permite cálculos seguros para industrias como la atención médica y las finanzas, donde la información sensible debe permanecer privada mientras se procesa o se analiza.

Cadena de suministro y verificación de identidad

La flexibilidad de Fermah también se extiende a industrias como la gestión de la cadena de suministro y la verificación de identidad. Las Pruebas de Conocimiento Cero permiten comprobaciones de identidad seguras y eficientes o el seguimiento de productos en una cadena de suministro sin exponer datos sensibles, garantizando tanto la transparencia como la privacidad.

Devnet de Fermah

La Devnet de Fermah sirve como base para su fase de prueba y desarrollo. Es una red con permisos diseñada para conectar a los Buscadores y Operadores en un entorno controlado y seguro, permitiendo a ambas partes colaborar en la presentación de solicitudes de prueba y generación de pruebas. La Devnet ya está activa y abierta a los Operadores de EigenLayer que pueden optar por comenzar a procesar las solicitudes de prueba. Esta fase es crucial para ajustar los componentes de la plataforma y garantizar un funcionamiento fluido antes de su lanzamiento público.

Características clave de Fermah's Devnet

• Kit de desarrollo: Fermah proporciona un SDK robusto, simplificando el proceso de envío de Solicitudes de Prueba para los desarrolladores. El kit optimiza el ciclo de desarrollo y mejora la usabilidad al ofrecer herramientas preconfiguradas.
• Imágenes precompiladas de Docker: los operadores pueden acceder a imágenes de Docker precompiladas, lo que reduce la complejidad de la configuración. Estas imágenes garantizan que los operadores puedan configurar fácilmente sus sistemas para generar pruebas sin una configuración adicional.
• Acceso con permiso: Devnet opera bajo un modelo de acceso con permiso, garantizando calidad y confiabilidad durante esta fase de prueba. El control de acceso permite a Fermah administrar la red de manera eficiente y asegurarse de que solo las partes de confianza participen.

El Devnet se actualiza regularmente para incorporar la retroalimentación de los desarrolladores y mejorar la funcionalidad. A medida que el sistema evoluciona, el Devnet incluirá nuevas características para mejorar la eficiencia y la escalabilidad. Se alienta a los desarrolladores a monitorear activamente el panel de control de Devnet para mantenerse informados sobre las últimas actualizaciones y características, contribuyendo a la mejora continua de la plataforma. Este entorno de prueba colaborativo hace que Fermah sea una plataforma confiable y escalable para la generación de pruebas de conocimiento cero.

Únete a Devnetaquí.

Financiamiento Fermah

Recientemente, Fermah aseguró $5.2 millones en una ronda de financiamiento inicial el 17 de septiembre de 2024, copatrocinada por a16z CSX y Lemniscap, con la participación de inversores destacados como Bankless Ventures, Longhash Ventures, P-OPS Team y ZK Validator. Individuos de alto perfil se unieron como inversores ángeles, incluyendo a Balaji Srinivasan, Sandeep Nailwal y Mustafa Al-Bassam. Esta financiación está dirigida al desarrollo de productos y la expansión del equipo para fortalecer su mercado de generación de pruebas.

Equipo Fermah

Fermah está dirigida por Vanishree Rao, una criptógrafa con más de 15 años de experiencia en Pruebas de Conocimiento Cero (ZKPs). Anteriormente se desempeñó como Criptógrafa Principal en O(1) Labs, el equipo detrás del Protocolo Mina. La experiencia de Vanishree en criptografía es fundamental para el desarrollo de Fermah.

Para apoyarla, cuenta con Pranit Garg, el Director de Marketing (CMO), quien aporta su experiencia en marketing al equipo. Juntos, tienen como objetivo hacer que la tecnología ZK sea más accesible y escalable. La financiación actual ayudará a fortalecer la infraestructura ZKP de Fermah y respaldar una mayor expansión del equipo.

Conclusión

Fermah está transformando el panorama de la generación de pruebas de conocimiento cero haciéndola más rápida, más barata y más confiable. Su capa de generación de pruebas universal elimina barreras técnicas y financieras, permitiendo a los desarrolladores centrarse en la innovación. Ya sea que seas un desarrollador de blockchain, un defensor de la privacidad o una empresa que aprovecha herramientas criptográficas, Fermah proporciona la infraestructura necesaria para desbloquear todo el potencial de las pruebas de conocimiento cero.