Fermah est la couche de génération de preuves universelle. Elle fonctionne comme un marché, où le côté de l'offre comprend des GPU et des FPGA. Du côté de la demande, Fermah peut générer des preuves pour n'importe quelle instance dans laquelle ZK est utilisé.