𝐑𝐨𝐜𝐡𝐞𝐫 𝐭𝐨𝐮𝐭 𝐜𝐡𝐨𝐬𝐞 𝐪𝐮𝐢 𝐯𝐢𝐞𝐧𝐭 𝐚𝐮 𝐦𝐨𝐢𝐧 𝐪𝐮𝐚𝐧𝐝 𝐭𝐨𝐮𝐭 𝐜𝐨𝐦𝐦𝐞𝐧𝐜𝐞 𝐚𝐯𝐞𝐜 𝐙𝐊 ? Pour moi, c'est 𝐅𝐞𝐫𝐦𝐚𝐡. Parce que @fermah_xyz n'essaie pas de construire le prochain ZK rollup, zkVM ou un nouveau système de preuve. Il construit la plateforme dans laquelle tous peuvent se brancher. Les preuves ZK sont puissantes, mais faire fonctionner l'infrastructure pour elles est une toute autre affaire. Vous avez besoin de matériel puissant (généralement des GPU), d'environnements logiciels hautement spécialisés, et d'une orchestration fiable pour s'assurer que tout fonctionne sans accroc. C'est coûteux, fragmenté et construit sur mesure pour chaque pile. • Vous voulez prouver Groth16 ? Vous mettez en place un système. • Vous voulez prouver des lots Scroll ou des blocs zkSync ? C'est un autre. • Besoin de faire fonctionner RISC Zero ou Jolt zkVM ? Différent encore. C'est comme si chaque service de streaming nécessitait sa propre télévision, sa propre télécommande et son propre canapé. 𝐅𝐞𝐫𝐦𝐚𝐡 𝐜𝐡𝐚𝐧𝐠𝐞 𝐜𝐞𝐭𝐭𝐞 𝐬𝐢𝐭𝐮𝐚𝐭𝐢𝐨𝐧. Fermah est un 𝐦𝐚𝐫𝐜𝐡𝐞́ 𝐝𝐞 𝐠𝐞́𝐧𝐞́𝐫𝐚𝐭𝐢𝐨𝐧 𝐝𝐞 𝐩𝐫𝐨𝐨𝐟 𝐮𝐧𝐢𝐯𝐞𝐫𝐬𝐞𝐥 Cela signifie que quiconque peut soumettre des demandes de preuve à travers des systèmes de preuve, des chaînes et des VM, et Fermah les mettra en relation avec le bon nœud opérateur pour calculer et retourner cette preuve. La façon dont vous utilisez AWS pour exécuter des calculs, Vous utiliserez Fermah pour générer des preuves. Que résout Fermah ? Il abstrait l'infrastructure de preuve. Plus besoin de gérer des machines, d'installer des circuits ou de construire des environnements Docker. Au lieu de cela, les demandeurs soumettent des tâches via RPC ou SDK. Le système de mise en relation de Fermah les assigne à des nœuds de preuve disponibles. La preuve est retournée et éventuellement stockée. Sous le capot, ces nœuds sont gérés par des opérateurs Eigenlayer. Cela signifie que Fermah utilise l'économie de restaking croissante d'Ethereum pour offrir une génération de preuves décentralisée et performante. Ce modèle d'orchestration signifie : • Utilisation plus élevée des prouveurs • Coût par preuve réduit • Temps de retour plus rapide • Preuves en tant que service (à grande échelle) Et ce n'est pas théorique. Ça fonctionne. Fermah alimente actuellement des charges de travail de production pour @zksync, générant des preuves de blocs avec une forte performance économique. Il est également intégré dans le pipeline zkEVM de Scroll, couvrant les étapes de chunk, batch et bundle. Et c'est la couche de preuve pour le Jolt zkVM de a16z, qui est en direct sur le testnet de Fermah. Plutôt que de pousser encore un autre cadre ZK, Fermah se positionne comme la couche de connexion transformant la génération de preuves à connaissance nulle en un primitif programmable et fiable pour tous. Alors, que propose Fermah, en termes réels ? Une interface unique pour : • Générer des preuves Groth16, zkVM, zkEVM, RISC Zero ou Jolt • Déléguer des preuves à des nœuds hors chaîne, abstraits de votre logique d'application • Intégrer la génération de preuves à travers des chaînes et des systèmes • Éviter le fardeau devops de maintenir une infrastructure de preuve interne Tout comme un développeur ne construit pas un datacenter pour déployer une application, Fermah pense que vous ne devriez pas avoir besoin de construire une ferme de prouveurs juste pour utiliser la connaissance nulle. TL;DR Fermah n'est pas juste un autre outil ZK. C'est la couche d'infrastructure rendant possible la génération ZK universelle. Lorsque la génération de preuves devient commodifiée, automatisée et intégrée à travers la pile, ce ne sera pas parce que chaque application a construit son propre pipeline. Ce sera parce que Fermah a facilité l'intégration et la génération de preuves. Gfermah. @vanishree_rao