Capacidade de DA gordo -> Capacidade de provas de ZK gordo