Les preuves de zéro connaissance (ZKPs) sont une avancée majeure en cryptographie, permettant à une partie de prouver la vérité d'une affirmation sans révéler les informations sous-jacentes. Cependant, générer des ZKPs est un processus coûteux et intensif en ressources. Les développeurs sont confrontés au défi de trouver, déployer et maintenir une infrastructure coûteuse qui est souvent sous-utilisée. Cette inefficacité fait grimper les coûts pour les utilisateurs et ralentit l'adoption, rendant les solutions basées sur les ZKP moins accessibles.

Fermah résout ce problème avec sa couche de génération de preuves universelle. Conçu pour rendre les ZKPs plus rapides, moins chers et plus fiables, Fermah élimine les goulots d'étranglement de l'infrastructure et optimise l'utilisation des ressources. En tirant parti de la technologie avancée, il crée une expérience transparente pour les développeurs et les utilisateurs finaux. Que vous soyez un développeur de blockchain, une entreprise sécurisant des données ou un particulier cherchant la confidentialité, Fermah rend la génération de ZKP accessible et efficace.

Qu'est-ce que Fermah?

Fermah est une plateforme universelle de génération de preuves qui transforme la façon dont les preuves de connaissance nulle sont créées et utilisées. Il sert de pont entre les développeurs ayant besoin de ZKPs et l'infrastructure robuste nécessaire pour les générer. Au cœur de Fermah, il élimine les obstacles techniques et financiers qui ont longtemps affecté l'espace ZKP, offrant une alternative efficace pour la génération de preuves.

La mission et la vision de Fermah

La mission de Fermah est de démocratiser la technologie ZKP, en veillant à ce que les développeurs et les entreprises puissent accéder à des solutions abordables, rapides et fiables. Sa vision est de devenir l’épine dorsale de la génération ZKP, en renforçant les applications mondiales en matière de confidentialité, d’évolutivité et de sécurité sans les contraintes d’une infrastructure gourmande en ressources.

La technologie derrière Fermah

L'architecture de Fermah repose sur des technologies cryptographiques avancées et une infrastructure décentralisée robuste, conçue pour optimiser la génération de preuves de connaissance nulle (ZKPs) pour une variété d'applications. Cette base intègre des outils cryptographiques de pointe, tels que le middleware EigenLayer, aux côtés d'un réseau d'agence matrimoniale pair à pair, qui alloue efficacement des ressources de calcul. La plateforme est conçue pour prendre en charge plusieurs systèmes de preuve, garantissant une compatibilité transparente avec divers cas d'utilisation, de la vérification de la blockchain à la transmission sécurisée des données.

Composants de Fermah

Au cœur de Fermah, il y a trois composants essentiels: les Chercheurs, les Entremetteurs et les Opérateurs. Chacun joue un rôle distinct dans l'architecture globale, garantissant une génération de preuves ZKP fluide, fiable et évolutive. Voici une description de la fonction et de la contribution de chaque composant à l'efficacité du système:

1. Chercheurs

Les chercheurs sont les développeurs ou entités qui nécessitent la génération de preuves de zéro connaissance. Il peut s'agir de projets blockchain, d'entreprises ou même de particuliers cherchant à améliorer la confidentialité et la sécurité. Les chercheurs soumettent des demandes de preuve via la plateforme, spécifiant leurs besoins en calcul et le type de ZKP requis. Une fois leur demande traitée, les chercheurs sont mis en relation avec les opérateurs appropriés disposant des ressources nécessaires pour compléter la génération de la preuve.

1. Entremetteur

Le marieur agit comme le pont entre les demandeurs et les opérateurs. Ce réseau pair à pair met en correspondance les demandes de preuve des demandeurs avec des opérateurs compatibles, optimisant l'allocation des ressources informatiques en fonction de la disponibilité et des spécifications matérielles. Le marieur veille à ce que chaque demande soit assortie à un opérateur capable de gérer la tâche dans les limites de temps et de coût définies. Son rôle est crucial pour maintenir la transparence, la fiabilité et l'efficacité tout au long du processus, car il suit le statut de chaque demande de soumission à la complétion.

1. Opérateurs

Les opérateurs sont les fournisseurs d'infrastructure qui effectuent les calculs de preuve réels. Ceux-ci peuvent aller des fournisseurs de matériel individuels aux centres de données à grande échelle offrant des ressources basées sur le cloud. Les opérateurs sont responsables de l'exécution des tâches de calcul associées à la génération des ZKP requises. Ils engagent leurs ressources matérielles pour des périodes prédéterminées et contribuent ainsi à la sécurité et à la fiabilité globales du réseau. Ce modèle décentralisé assure une chaîne d'approvisionnement diversifiée et distribuée pour la génération de preuves, empêchant les goulots d'étranglement et favorisant la redondance.

Déploiement du système de preuve

Fermah utilise des conteneurs Docker pour empaqueter des systèmes de preuve, qui sont ensuite hébergés à des URL de réseau de diffusion de contenu (CDN). Cette configuration permet aux opérateurs d'accéder rapidement aux systèmes de preuve nécessaires et de les exécuter avec un minimum de retard, assurant ainsi que la plate-forme fonctionne avec une grande efficacité. Au fur et à mesure que les demandes de preuve sont soumises, le système vérifie ces demandes, les associe à des opérateurs appropriés et les traite dans des délais spécifiés. Le marieur surveille et suit en permanence l'avancement de chaque demande, assurant une responsabilité et une exécution sans faille.

Modèle économique

De plus, Fermah utilise le modèle de mise en jeu décentralisé d'EigenLayer, ce qui renforce la sécurité économique de son réseau. Les opérateurs misent leurs ressources pour des périodes désignées, garantissant ainsi leur engagement envers le système et ses performances. Ce modèle de mise en jeu renforce la confiance dans la plateforme et offre un mécanisme de récompense pour les opérateurs, alignant ainsi les incitations pour les deux parties. La nature décentralisée du système contribue à sa fiabilité et réduit les coûts opérationnels associés à la génération de ZKP, le rendant ainsi plus accessible aux développeurs et aux entreprises.

Comment fonctionne Fermah?

Le flux de travail de Fermah est conçu pour être efficace, sécurisé et transparent, assurant une génération transparente de preuve de connaissance nulle (ZKP). La plate-forme simplifie le processus complexe de création de ZKP grâce à un système structuré qui implique trois composants principaux: les demandeurs, le marieur et les opérateurs. Voici un examen plus approfondi de la façon dont le processus se déroule:

Soumission de demande de preuve

Le voyage commence lorsque les Chercheurs, qu'ils soient des développeurs, des projets de blockchain ou des entreprises, soumettent leurs demandes de preuve via un serveur JSON-RPC. Ces demandes incluent des détails de calcul spécifiques, tels que le type de ZKP requis et les paramètres associés à la tâche. De plus, les Chercheurs fournissent des liens vers les systèmes de preuve pertinents qui seront utilisés pour générer les preuves. Cette étape garantit que toutes les informations nécessaires sont collectées à l'avance et sont disponibles pour le traitement, permettant au système d'allouer efficacement les ressources.

Assignation de tâche

Une fois que la demande de preuve est soumise, l'entremetteur prend le relais. Il vérifie d'abord l'éligibilité du demandeur, en s'assurant qu'il remplit les conditions requises par la plateforme pour utiliser le service. Ensuite, l'entremetteur attribue la tâche à un opérateur approprié. L'allocation est basée sur la compatibilité matérielle et la disponibilité des ressources. L'entremetteur veille à ce que l'opérateur choisi ait la puissance de calcul nécessaire pour effectuer la génération de preuve dans le délai imparti. Ce processus de correspondance intelligent contribue à équilibrer la charge du réseau et garantit une allocation efficace des ressources.

Génération de preuve

Une fois la tâche attribuée, l'opérateur commence le processus de génération de preuve. Les opérateurs téléchargent les systèmes de preuve nécessaires à partir des URL CDN, que Fermah héberge pour garantir un accès rapide et fiable. Avec les systèmes de preuve requis en main, l'opérateur utilise ses ressources informatiques pour générer la preuve demandée par le demandeur. L'ensemble du processus est conforme aux paramètres définis par le demandeur, garantissant que les preuves répondent aux critères attendus en termes d'exactitude et de performance.

Livraison des résultats

Une fois que la preuve est générée avec succès, les résultats sont envoyés au demandeur via leur URL de rappel spécifiée. Cela garantit que le demandeur reçoit la preuve complète directement et en temps opportun. Si, pour une raison quelconque, la preuve ne peut pas être générée dans le délai défini, la demande est marquée comme rejetée. Cette mesure de sécurité garantit que la plateforme maintient un niveau de service et de fiabilité élevé, empêchant l'acceptation de générations de preuves incomplètes ou retardées.

Suivi et fiabilité

Tout au long du processus, le Matchmaker joue un rôle crucial dans le suivi de l'état de chaque demande. Les demandeurs sont en mesure de suivre leurs demandes en temps réel, garantissant une transparence totale et une confiance dans le système. De plus, les opérateurs s'engagent à fournir leurs ressources pendant un minimum de 500 blocs, soit environ deux heures, garantissant ainsi leur engagement et leur dévouement à la tâche. Cet engagement assure la stabilité du réseau et garantit que les ressources sont constamment disponibles pour la génération de preuves. En suivant les demandes et en veillant à une livraison rapide des preuves, Fermah maintient un niveau élevé de fiabilité et de responsabilité tant pour les demandeurs que pour les opérateurs.

Principales caractéristiques de Fermah

Génération de preuve universelle

Fermah prend en charge une large gamme de systèmes de preuve de connaissance nulle, y compris zkVMs, zkEVMs, Groth16 et de nombreux autres protocoles. Cette prise en charge universelle rend Fermah très adaptable à différentes industries et cas d'utilisation, garantissant la compatibilité avec diverses normes cryptographiques. Cette polyvalence permet à Fermah de répondre à un large éventail de solutions blockchain, de confidentialité et de protection des données. Cette fonctionnalité sert de pilier à la plateforme de Fermah, permettant aux utilisateurs de générer des preuves à travers une large gamme de systèmes de preuve avec une efficacité et une fiabilité inégalées.

Aspects clés de la génération de preuves universelles

1. Crédibilité neutre et inclusive : Fermah est conçu pour prendre en charge tous les principaux systèmes de preuve, y compris zkVMs, zkEVMs, Groth16, et plus encore. Cette neutralité garantit que les utilisateurs peuvent choisir le système de preuve le plus adapté à leurs besoins spécifiques sans être enfermés dans une seule technologie.

2. Modèle de place de marché: La plateforme fonctionne comme une place de marché, avec le côté offre composé de machines haute performance comme les GPUs et les FPGAs. Ces ressources sont associées à la demande des utilisateurs ayant besoin de preuves ZK pour diverses applications, telles que les zkRollups, les ponts ZK et les solutions axées sur la confidentialité.

3. Efficacité des coûts et performance : Fermah est optimisé pour générer des preuves rentables et performantes. Les utilisateurs peuvent ajuster les paramètres pour équilibrer le prix et la performance, garantissant que la génération de preuves satisfait à leurs exigences financières et opérationnelles.

4. Abstraction de la complexité: l'un des principaux objectifs de Fermah est d'abstraire la complexité associée aux preuves ZK. En fournissant une interface conviviale et des modèles de tarification prévisibles, Fermah facilite l'intégration des preuves ZK dans les projets des développeurs et des entreprises sans nécessiter une expertise cryptographique approfondie.

5. Scalabilité et fiabilité : La plateforme est conçue pour gérer de manière fiable les tâches de génération de preuves à grande échelle. Cette évolutivité est cruciale pour les applications qui nécessitent des volumes élevés de preuves, garantissant que Fermah peut répondre aux exigences des petits projets et des grandes entreprises.

Le ZK Bazaar : Un marché décentralisé

Fermah fonctionne comme un marché qui connecte l'offre de ressources informatiques avec la demande de ZKPs. Le côté de l'offre est composé de GPUs et de FPGAs capables de traiter les demandes de génération de preuves. Les applications côté demande nécessitant la technologie Zero-Knowledge, telles que les transactions préservant la confidentialité ou la validation évolutive des blockchains, peuvent soumettre des demandes de preuves. Le Fermah Matchmaker veille à ce que les demandes soient associées aux opérateurs les mieux adaptés, optimisant ainsi le coût et la performance.

Génération de preuve ZK bon marché, rapide et fiable

L'architecture de Fermah est optimisée pour fournir une génération de preuves ZKP rapide et économique, la rendant accessible aux développeurs et aux entreprises à la recherche d'une solution évolutive. La capacité de la plateforme à traiter rapidement les preuves, tout en maintenant la fiabilité, en fait un choix idéal pour les applications où la génération de preuves sensible au temps est critique.

Tarification et performance personnalisables

Fermah offre aux développeurs la possibilité d'ajuster le compromis entre le prix et les performances. En affinant cet équilibre, les utilisateurs peuvent optimiser leurs demandes de preuve en fonction des besoins spécifiques du projet. Cette fonctionnalité de personnalisation fait de Fermah une solution flexible à la fois pour les projets à petite échelle et les grandes entreprises.

Délégation de preuve protégée des données (à venir)

Fermah s'apprête à introduire la Délégation de Preuve Protégée de Données, une fonctionnalité passionnante qui améliorera la confidentialité en veillant à ce que les données sensibles ne soient pas exposées pendant le processus de génération de preuve. Cette fonctionnalité sera précieuse pour les projets dans des domaines tels que la santé, la finance et les communications sécurisées.

Cas d'utilisation de Fermah

Vérification de la blockchain et transactions préservant la confidentialité

Fermah est parfait pour les applications basées sur la blockchain nécessitant confidentialité et évolutivité. En utilisant des ZKPs, les réseaux blockchain peuvent valider les transactions sans révéler d'informations sensibles. Les développeurs peuvent compter sur Fermah pour générer rapidement les preuves nécessaires à la vérification des transactions, ce qui en fait un acteur clé dans la finance décentralisée (DeFi) et les projets de blockchain axés sur la confidentialité.

Traitement confidentiel des données

Avec la demande croissante de partage sécurisé de données, Fermah offre un moyen efficace d'effectuer des calculs sur des données chiffrées, garantissant la confidentialité. Il permet des calculs sécurisés pour des industries telles que la santé et la finance, où des informations sensibles doivent rester privées tout en étant traitées ou analysées.

Chaîne d'approvisionnement et vérification d'identité

La flexibilité de Fermah s'étend également à des secteurs tels que la gestion de la chaîne d'approvisionnement et la vérification de l'identité. Les preuves de connaissance zéro permettent des vérifications d'identité sécurisées et efficaces ou le suivi des produits dans une chaîne d'approvisionnement sans exposer de données sensibles, garantissant à la fois la transparence et la confidentialité.

Le réseau de développement de Fermah

Le Devnet de Fermah sert de base à sa phase de test et de développement. Il s'agit d'un réseau autorisé conçu pour connecter les Demandeurs et les Opérateurs dans un environnement contrôlé et sécurisé, permettant aux deux parties de collaborer sur la soumission des demandes de preuve et la génération de preuves. Le Devnet est déjà en ligne et ouvert aux Opérateurs d'EigenLayer qui peuvent choisir de commencer à traiter les demandes de preuve. Cette phase est cruciale pour peaufiner les composants de la plateforme et garantir un fonctionnement fluide avant sa sortie publique.

Principales caractéristiques du Devnet de Fermah

• Boîte à outils du développeur : Fermah fournit un SDK robuste, simplifiant le processus de soumission de demandes de preuve pour les développeurs. La boîte à outils rationalise le cycle de développement et améliore l'utilisabilité en offrant des outils préconfigurés.
• Images Docker pré-construites : les opérateurs peuvent accéder à des images Docker pré-construites, réduisant la complexité de la configuration. Ces images garantissent que les opérateurs peuvent facilement configurer leurs systèmes pour générer des preuves sans configuration supplémentaire.
• Accès permissionné : Le Devnet fonctionne sous un modèle d'accès permissionné, garantissant la qualité et la fiabilité pendant cette phase de test. Le contrôle d'accès permet à Fermah de gérer efficacement le réseau et de s'assurer que seules les parties de confiance y participent.

Le Devnet est régulièrement mis à jour pour intégrer les commentaires des développeurs et améliorer les fonctionnalités. Au fur et à mesure que le système évolue, le Devnet inclura de nouvelles fonctionnalités pour améliorer l'efficacité et la scalabilité. Les développeurs sont encouragés à surveiller activement le tableau de bord du Devnet pour rester informés des dernières mises à jour et fonctionnalités, contribuant ainsi à l'amélioration continue de la plateforme. Cet environnement de test collaboratif fait de Fermah une plateforme fiable et évolutive pour la génération de preuves de connaissance nulle.

Rejoignez Devnet ici.

Financement Fermah

Récemment, Fermah a sécurisé 5,2 millions de dollars lors d'un tour de financement de démarrage le 17 septembre 2024, co-dirigé par a16z CSX et Lemniscap, avec la participation d'investisseurs notables tels que Bankless Ventures, Longhash Ventures, l'équipe P-OPS et ZK Validator. Des personnalités de haut niveau se sont jointes en tant qu'investisseurs providentiels, notamment Balaji Srinivasan, Sandeep Nailwal et Mustafa Al-Bassam. Ce financement est destiné au développement de produits et à l'expansion de l'équipe pour renforcer leur marché de génération de preuves.

Équipe Fermah

Fermah est dirigée par Vanishree Rao, une cryptographe avec plus de 15 ans d'expérience dans les preuves à divulgation nulle (ZKPs). Elle a précédemment occupé le poste de cryptographe en chef chez O(1) Labs, l'équipe derrière le protocole Mina. L'expertise de Vanishree en cryptographie est essentielle au développement de Fermah.

Pour la soutenir, Pranit Garg, le directeur marketing (CMO), apporte son expertise en marketing à l'équipe. Ensemble, ils visent à rendre la technologie ZK plus accessible et évolutive. Le financement actuel aidera à renforcer l'infrastructure ZKP de Fermah et à soutenir l'expansion supplémentaire de l'équipe.

Conclusion

Fermah transforme le paysage de la génération de preuves de connaissance nulle en la rendant plus rapide, moins chère et plus fiable. Sa couche de génération de preuves universelle élimine les barrières techniques et financières, permettant aux développeurs de se concentrer sur l'innovation. Que vous soyez un développeur de blockchain, un défenseur de la vie privée ou une entreprise exploitant des outils cryptographiques, Fermah fournit l'infrastructure nécessaire pour libérer tout le potentiel des preuves de connaissance nulle.