Fermah is the universal proof generation layer. It functions as a marketplace, where the supply side consists of machines such as GPUs and FPGAs. Initially, the supply side is bootstrapped by EigenLayer Operators. On the demand side, Seekers can request that Fermah generate proofs for any instance in which ZK is used—whether for zkRollups, ZK bridges, zkCoprocessors, ZKML, or anything else. The demand and supply sides are aligned with Fermah's Matchmaker. To find out more go here

Mina uses infinitely recursive zero knowledge proofs to create a 22KB blockchain for proving anything and enabling privacy-first applications. More info here