Camada de Geração de Provas
Fermah é a camada universal de geração de provas. Funciona como um mercado, onde o lado da oferta compreende GPUs e FPGAs. No lado da demanda, a Fermah pode gerar provas para qualquer instância em que ZK seja usado.