Shared provers can reduce the proof cost of zk applications and improve proof efficiency.