Operating the Aztec network requires dedicated prover entities to generate zero-knowledge proofs for transaction blocks