Fermah aims to tackle issues related to zero-knowledge proofs by acting as a marketplace for ZK proof generation.