fermah es la capa de generación de pruebas universal. funciona como un mercado, donde el lado de la oferta está compuesto por gpus y fpgas. en el lado de la demanda, fermah puede generar pruebas para cualquier instancia en la que se utilice zk.