Fermah is shared ZK proving infrastructure, plus a Matchmaker that routes proofs to the least-bad GPU.