The prover generates the ZK proof by executing the transaction and running the proving algorithm.

As ZK technology matures, specialised proving hardware is being developed to reduce proof generation time and cost.