Fermah
https://www.fermah.xyz/Fermah is the universal proof generation layer.
It functions as a marketplace, where the supply side comprises GPUs and FPGAs. On the demand side, Fermah can generate proofs for any instance in which ZK is used.
Fermah is bringing moon math to the masses.