Fermah is the universal proof generation layer – optimized for cheap, fast, and reliable ZK proof generation