fermah é a camada universal de geração de provas. Funciona como um mercado, onde o lado da oferta é composto por GPUs e FPGAs. Do lado da demanda, fermah pode gerar provas para qualquer instância em que zk seja utilizado.