Build cloud-based backends for ZK proof systems.